Что касается Гёделя, то я бы порекомендовал почитать матчасть на предмет различий между логикой первого и второго порядка. А отсутствие возможности доказать непротиворечивость аксиом не отменяет того, что в случае обнаружения противоречия мы должны пересмотреть валидность предпосылок.
Бедный Гёдель. Как ему в гробу только крутиться не надоело каждый раз, когда всуе поминают его имя без глубокого понимания того, что следует из его теорем.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
branchandroot
no subject
Date: 2010-07-22 10:18 am (UTC)Бедный Гёдель. Как ему в гробу только крутиться не надоело каждый раз, когда всуе поминают его имя без глубокого понимания того, что следует из его теорем.