История изменений
Исправление dimgel, (текущая версия) :
сначала попробуй доказать что классическая мат. логика полна и непротиворечива, без этого доказывать что-то через теорию множеств бессмысленно
НЯЗ, Гильберт, впервые услыхав про теорему телеграфиста и по совместительству математика-любителя Гёделя о неполноте, не поверил. И никто на его месте не поверил бы: какой-то подзаборный хер взял и грохнул всю картину мира и смысл жизни величайшему математику своего времени.
Предложение доказать теорему Ферма было честнее. ;)
Исправление dimgel, :
сначала попробуй доказать что классическая мат. логика полна и непротиворечива, без этого доказывать что-то через теорию множеств бессмысленно
НЯЗ, Гильберт, впервые услыхав про теорему телеграфиста и по совместительству математика-любителя Гёделя о неполноте, не поверил. И никто на его месте не поверил бы: какой-то подзаборный хер взял и грохнул всю картину мира и смысл жизни величайшему математику своего времени.
Предложение доказать теорему Ферма было честнее. ;)
Исходная версия dimgel, :
сначала попробуй доказать что классическая мат. логика полна и непротиворечива, без этого доказывать что-то через теорию множеств бессмысленно
НЯЗ, Гильберт, впервые услыхав про теорему телеграфиста и по совместительству математика-любителя Гёделя о неполноте, не поверил. И никто на его месте не поверил бы: какой-то подзаборный хер взял и грохнул всю картину мира и смысл жизни величайшему математеку своего времени.
Предложение доказать теорему Ферма было честнее. ;)