June 11th, 2019

rhino

Он что-то знал, но откуда?

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

Все хорошо, но это примечание редактора (И.М.Яглома) к советскому изданию книги «Числа и фигуры», подписанному к печати 17 марта 1962 г. Первые анонсы Коэна — конец 1963 и начало 1964. Или разговоры ходили уже в 1962? После Гёделя, но до Коэна можно было бы разве что считать, что континуум-гипотеза верна, нет?