Как минимум был А. Дюма (вроде старший): "Все обобщения опасны, и данное тоже".
Был кто-то до Дюмы, но тут частичный склероз. Там что-то изоморфное.
Вообще в древности были древние греки: "Я - лжец".
А скорее всего где +- 3..4*(10^3) лет были древние скандинавы/китайцы, с мифическим Уроборосом.
Везде самоприменение и отрицание. Гедёль крут (от конечно Курт, но и крут) в том, что смог выразить в терминах разрешимости/перечислимости. Но явно не был первым. Не смотри выше :) .
Подписаться на:
Комментарии к сообщению (Atom)
Сообщения
3 комментария:
- Неужели, вы верите в том, что существует единственный бог?
- Конечно нет. Но все боги изоморфны.
А вообще, рекомендую, аксиоматики теории множеств Колмогорова на досуге почитать. Правда, если вы уже знакомы с теорией мер, то это не впечатлить. А по теме, Кантор круче Гёделя. :-)
Не люблю вводить отношение (линейного) порядка на объектах, они часто просто не сравнимы.
Из Колмогорова хочется узнать про другой подход к терВеру, но как-то не дошел еще. Правда, непрерывная математика как-то далека от меня. Точнее я от нее.
Мне именно так это преподавали. При чём без теории мер предварительно. :-) Было очень абстрактно и непонятно. :-)
Отправить комментарий