КвантоФорум :: Recent Posts Голосов: 1 Адрес блога: http://quantoforum.ru Добавлен: 2013-05-02 14:40:55

В каком месте математика "отошла" от физики? №3

2017-01-13 02:28:24 (читать в оригинале)

шахматы (как и любая другая игра "за столом") суть формальная система без какой-либо содержательной интерпретации.

в то время как точная исходная формализация позволила Гёделю исследовать такие особые метавопросы как полноту и непротиворечивость арифметики, то путь им выдуманный (перекодировка формальной арифметики в ... саму себя ) отдаёт уникальным и как-будто не применяли (даже сам Гёдель) где-либо ещё. Всякие последующие доказательства независимости/недоказуемости отдельных аксиом (преимущественно о мощностях "больших" множеств) безусловно потребовали точной спецификации остальных аксиом и соответствующей мат. теории, но я полагаю, что рассуждения велись в обычном абстрактном, полуинтуитивном режиме, где (формальная по определению) нотация записи на бумаге или чёрной доске играет далеко не первую роль