47 Кб, 398x409
Всем привет.
Скажите, что годного можно почитать по теме?
Сам быдлокодер ебаный, в прошлом романтик и математику любил, друг из парижа (учились вместе) посоветовал эту вещь, сказал, что очень красивая теория в логике.
Вот.
Книгу кейслера я уже нагуглил, но она платная, если кто знает сорс, скиньте плз.
Ну и вообще реквестирую любые источники/книги об этом (англ/русс).
Спасибо.
Скажите, что годного можно почитать по теме?
Сам быдлокодер ебаный, в прошлом романтик и математику любил, друг из парижа (учились вместе) посоветовал эту вещь, сказал, что очень красивая теория в логике.
Вот.
Книгу кейслера я уже нагуглил, но она платная, если кто знает сорс, скиньте плз.
Ну и вообще реквестирую любые источники/книги об этом (англ/русс).
Спасибо.
>>36660
Город
Город
на libgen.io нет?
Кейслера Чена, конечно, в интернете достать легко. Тебе правильно советуют libgen.io (хотя, честно-говоря не уверен насчет того что у них там с переводами - в случае если тебе нужен русский перевод).
Отмечу, что есть более современный учебник Вилфрида Ходжеса (но, если для тебя это критично, его не переводили на русский).
Но что мне здесь странно - на кой черт тебе абстрактно учить теорию моделей и спрашивать советов на здесь (кстати, на всякий случай, если у тебя нет/ почти нет бэкграунда в логике, то что Кейслер Чен, что Ходжес будут слишком сложными и начать стоит с общего учебника). Я бы на твоем месте, если сколь-нибудь всерьез хочешь этим заняться и живешь в месте где есть хоть какая-то вразумительная научная активность нашел бы местных математических логиков и начал ходить на их семинар(ы). Дальше можно найти кого-нибудь более-менее квалифицированного с кем можно было бы обсудить, что именно тебе делать.
Отмечу, что есть более современный учебник Вилфрида Ходжеса (но, если для тебя это критично, его не переводили на русский).
Но что мне здесь странно - на кой черт тебе абстрактно учить теорию моделей и спрашивать советов на здесь (кстати, на всякий случай, если у тебя нет/ почти нет бэкграунда в логике, то что Кейслер Чен, что Ходжес будут слишком сложными и начать стоит с общего учебника). Я бы на твоем месте, если сколь-нибудь всерьез хочешь этим заняться и живешь в месте где есть хоть какая-то вразумительная научная активность нашел бы местных математических логиков и начал ходить на их семинар(ы). Дальше можно найти кого-нибудь более-менее квалифицированного с кем можно было бы обсудить, что именно тебе делать.
>>36675
Бэкграунд -- Дискретная математика, стандарный курс, высказывания, предикаты, грамматики, ДНФ, полиномы жегалкина, вот это все.
Спасибо, на либгене кейслера не нашел что-то, а Ходжеса сейчас поищу
Бэкграунд -- Дискретная математика, стандарный курс, высказывания, предикаты, грамматики, ДНФ, полиномы жегалкина, вот это все.
Спасибо, на либгене кейслера не нашел что-то, а Ходжеса сейчас поищу
>>36675
не
я живу в месте, где годных логиков нет, именно логиков, но есть просто крутые преподы по дискретке, можно и там спросить да
не
я живу в месте, где годных логиков нет, именно логиков, но есть просто крутые преподы по дискретке, можно и там спросить да
А все, нашел кейслера, просто искал по Model Theory, а не по автому
Как-то зашёл в магазин потасканных книг на Арбате и нашёл там книгу "Теория моделей в Казахстане" которая лежала в разделе технической литературы среди всяких задач теории стержней и прочего прикладного. Оказывается, в Казахстане прям какая-то школа теоретико-модельная есть. Ещё из крупных, в Израиле вроде бы этим много занимаются.
>>36705
Ещё известный казахский академик решил задачу тысячелетия про уравнения Навье-Стокса. Рассказывал в интервью, что он намерен делать с миллионом института Клэя, когда получит
Ещё известный казахский академик решил задачу тысячелетия про уравнения Навье-Стокса. Рассказывал в интервью, что он намерен делать с миллионом института Клэя, когда получит
стандартный учебник - 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
для того, чтобы понимать хайп вокруг трудов Хрущовского по Морделлу-Лэнгу над функциональным полем и Манину-Мамфорду, наверное надо почитать 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
да, а Ходжес и Кайслер старьё ёбаное, выкинь на помойку
>>36705
Казахстан - круто!
Казахстан - круто!
>>36648 (OP)
бамп
бамп
>>36648 (OP)
Что такое теория моделей?
Что такое теория моделей?
>>36707
Вроде бы ещё не проверили.
Вроде бы ещё не проверили.
>>36648 (OP)
Это как-то связано с функаном?
Это как-то связано с функаном?
>>36648 (OP)
А. Робинсон. Введение в теорию моделей и метаматематику
алгебры, пер. с англ. А. Б. Волынского под редакцией А. Д. Тайманова. М.: Наука, главная редакция физико-математической
литературы, 1967. 376 с. (Серия: Математическая логика и основания математики.)
А. Робинсон. Введение в теорию моделей и метаматематику
алгебры, пер. с англ. А. Б. Волынского под редакцией А. Д. Тайманова. М.: Наука, главная редакция физико-математической
литературы, 1967. 376 с. (Серия: Математическая логика и основания математики.)