Статья хорошая, но вот с математикой автор передёрнул. Во-первых, о том, что "в геометрии пять аксиом", почему-то говорится в настоящем времени. Сейчас их далеко не пять. В аксиоматике Гильберта, которая является развитием евклидовой, их 20, а есть ведь и другие аксиоматики, через движения, векторы и др. (хотя описывают они ту же геометрию).
И во-вторых, с каких это пор теорема Гёделя о неполноте не доказана? Её доказательство можно найти в любом учебнике по математической логике, а недоказанная теорема вообще не может называться теоремой, только гипотезой (хотя великая теорема Ферма была исключением, да и то потому, что считалось, что её доказал сам Ферма). К тому же эта теорема говорит только об аксиоматически заданных теориях, и притом не слишком тривиальных.

__________________
You have a real attitude problem, Mr. Anderson. You're a slacker.

А вот и да. (Аргументация и доводы оригинала сохранены). © Airgas[pvt.Suhov]
сбой в Персефоне © Easter
[Член клуба принципиально не вступающих в клубы]

Адрес поста | Один пост | Сообщить модератору | IP: Logged