3 года назад

[dmm]

Радикальный был день, 17-е мая 2017-го года, в смысле одновременных событий:

https://dmm.dreamwidth.org/17328.html

Вообще, сегодня какой-то день воспоминаний получается, с такой обложкой в ленте:

https://juan-gandhi.dreamwidth.org/4759732.html

(Надо сказать, что в упомянутой там "Справочной книге по математической логике", самый лучший том, всё же, первый - теория моделей.)

Comments

[juan_gandhi]

Конечно! Теория моделей (как нынче говорят, моделей Ловира), она дает сокровенное знание - о котором до сих пор почти ни одна собака не слыхала. Я студентам впариваю - нормально. На лямбдаконфе в позапрошлом году задвигал - у людей глаза приоткрылись.

А то ведь до сих пор толпы верят, что вся математика основана на теории множеств. На теории. Которая верна. Хотя и неполна. А спросишь, на чем же теория множеств-то основана - обижаются. Ну типа она истинна же.

[dmm]

Ну, во второй главе первого тома классические теоретико-множественные модели. Но всё равно - они бывают очень интересные... Хотя со временем часто оказывается более естественно жить в топосах...