Теоремы Гёделя о неполноте

[as_merlin]

http://psilogic.livejournal.com/307089.html

Миф: Гёдель доказал, что нельзя доказать всеМиф состоит в том, что теоремы Гёделя применяют там, где их применять нельзя. Что именно доказал Гёдель (и его последователи)? Они доказали, что в аксиоматической системе, основанной на классическом

Comments

[twilight_sun]

ага. псилоджик - прикольный жжурнал, перечитал многое свое время