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
...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 :)