3 года назад

[dmm]

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

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

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

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

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

Comments

[juan_gandhi]

Да блин, вот эта книжка. Страница 278. Но я к тому времени по-русски уже почти ничего не читал; просто не совсем даже понимаю русский математический язык.

[dmm]

Я ещё тогда мальчишкой был, в институте. Вот как она вышла (1983-й год), так я её и купил, как в магазине увидел. Волшебный там первый том, особенно, вторая глава, собственно объясняющая, что такое модель (ну и ещё кое-что)...

Надо сказать, тогда по-русски было легче читать, чем по-английски. Сейчас, я бы сказал, в одну цену.

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

[juan_gandhi]

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

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

[dmm]

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