Due Due
1033
BLOG

moja przygoda na blogu "autodafe"

Due Due Nauka Obserwuj temat Obserwuj notkę 124

Miłośnikom Przyrody, NAUKI, fizyki i metafizyki gorąco polecam blog: 

 

autodafe   Eine

fizyk

 

W tym wątku moja przygoda na blogu "autodafe"  zamieszczam kopie moich polemik z tego bloga w celach archiwalnych. 

- jest więc ten wątek okrojoną wersją większej całości link: http://autodafe.salon24.pl/

 

Przyjemnej i pouczającej lektury :-)

 

Edward Robak* z Nowej Huty


 

 

@EINE - GRANICE MATEMATYKI-GRANICĄ POZNANIA ?

...odkryciem w roku 1930 przez Kurta Gödla [1] nieusuwalnej ograniczoności umysłu ludzkiego , którą popularnie można przedstawić[...] w żargonie logiki i matematyki :

W każdym niesprzecznym systemie formalnym obejmującym arytmetykę , istnieją arytmetyczne prawdy ,których nie można udowodnić w ramach tego sytemu.


Warto zauważyć, że powyższe Twierdzenie Gödla dotyczy arytmetyki teoriomnogościowej z aksjomatyką Peano - a w tym głównie chodzi o aksjomat zakładający, że każda liczba naturalna powinna mieć swój następnik będący liczbą naturalną.
Są inne arytmetyki wolne od tego DEFEKTU i ich Twierdzenie Gödla nie dotyczy.

Edward Robak* z Nowej Huty   ۞   Technik Elektronik :)

 

Due
O mnie Due

taki sam jak Robakks - to tylko NICK - wirtualna literacka postać... :)

Nowości od blogera

Komentarze

Inne tematy w dziale Technologie