?

Log in

No account? Create an account
Serge's journal

jūnijs 11., 2019

jūnijs 11., 2019
09:22 am
[User Picture]

[Saite]

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

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

Tags: ,

(12 komentāri | Ierakstīt komentāru)

TimeEvent
02:48 pm
[User Picture]

[Saite]

Дорогие покойники
Сегодня на одной доске объявлений.

Tags:

(Ierakstīt komentāru)

Iepriekšējā diena 2019/06/11
[Arhīvs]
Nākošā diena
Lapu uztur LiveJournal.com