b61.png47 Кб, 398x409
Теория моделей Теория моделей 36648 В конец треда | Веб
Всем привет.
Скажите, что годного можно почитать по теме?
Сам быдлокодер ебаный, в прошлом романтик и математику любил, друг из парижа (учились вместе) посоветовал эту вещь, сказал, что очень красивая теория в логике.
Вот.
Книгу кейслера я уже нагуглил, но она платная, если кто знает сорс, скиньте плз.
Ну и вообще реквестирую любые источники/книги об этом (англ/русс).
Спасибо.
2 36656
Где живёшь?
3 36660
>>36656
СНГ
4 36662
>>36660
Город
5 36663
на libgen.io нет?
6 36675
Кейслера Чена, конечно, в интернете достать легко. Тебе правильно советуют libgen.io (хотя, честно-говоря не уверен насчет того что у них там с переводами - в случае если тебе нужен русский перевод).
Отмечу, что есть более современный учебник Вилфрида Ходжеса (но, если для тебя это критично, его не переводили на русский).

Но что мне здесь странно - на кой черт тебе абстрактно учить теорию моделей и спрашивать советов на здесь (кстати, на всякий случай, если у тебя нет/ почти нет бэкграунда в логике, то что Кейслер Чен, что Ходжес будут слишком сложными и начать стоит с общего учебника). Я бы на твоем месте, если сколь-нибудь всерьез хочешь этим заняться и живешь в месте где есть хоть какая-то вразумительная научная активность нашел бы местных математических логиков и начал ходить на их семинар(ы). Дальше можно найти кого-нибудь более-менее квалифицированного с кем можно было бы обсудить, что именно тебе делать.
7 36681
>>36675
Бэкграунд -- Дискретная математика, стандарный курс, высказывания, предикаты, грамматики, ДНФ, полиномы жегалкина, вот это все.

Спасибо, на либгене кейслера не нашел что-то, а Ходжеса сейчас поищу
8 36682
>>36675
не
я живу в месте, где годных логиков нет, именно логиков, но есть просто крутые преподы по дискретке, можно и там спросить да
Теория моделей 9 36683
А все, нашел кейслера, просто искал по Model Theory, а не по автому
10 36705
Как-то зашёл в магазин потасканных книг на Арбате и нашёл там книгу "Теория моделей в Казахстане" которая лежала в разделе технической литературы среди всяких задач теории стержней и прочего прикладного. Оказывается, в Казахстане прям какая-то школа теоретико-модельная есть. Ещё из крупных, в Израиле вроде бы этим много занимаются.
11 36707
>>36705
Ещё известный казахский академик решил задачу тысячелетия про уравнения Навье-Стокса. Рассказывал в интервью, что он намерен делать с миллионом института Клэя, когда получит
12 36736
стандартный учебник - Dave Marker

для того, чтобы понимать хайп вокруг трудов Хрущовского по Морделлу-Лэнгу над функциональным полем и Манину-Мамфорду, наверное надо почитать Pillay Geometric model theory

ещё полезная книжка Bouscaren Model Theory and Algebraic Geometry, An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture

по о-минимальности есть классическая книжка van den Dries
13 36737
да, а Ходжес и Кайслер старьё ёбаное, выкинь на помойку
14 36738
>>36705
Казахстан - круто!
15 37056
>>36648 (OP)
бамп
16 42530
>>36648 (OP)
Что такое теория моделей?
17 42542
>>36707
Вроде бы ещё не проверили.
18 61763
>>36648 (OP)
Это как-то связано с функаном?
19 61765
>>36648 (OP)
А. Робинсон. Введение в теорию моделей и метаматематику
алгебры, пер. с англ. А. Б. Волынского под редакцией А. Д. Тайманова. М.: Наука, главная редакция физико-математической
литературы, 1967. 376 с. (Серия: Математическая логика и основания математики.)
20 61766
>>42530
>>61763
Логика.
Обновить тред
« /math/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее