Пес Ебленский - Планы по матлогике [entries|archive|friends|userinfo]
rex_weblen

[ website | Наши рисуночки ]
[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Links
[Links:| update journal edit friends fif tiphareth recent comments ]

Планы по матлогике [Dec. 16th, 2022|10:12 pm]
Previous Entry Add to Memories Tell A Friend Next Entry
[Tags|, , ]
[Current Mood | sleepy]
[Current Music |H̤a̤w̤k̤wind-- Dor̤e̤m̤i̤ Fasol Latido 1972]

Матлогика это довольно стандартный предмет. Поэтому учебников по этому предмету очень много.

Пространство-время учебников матлогики можно разделить на три эпохи по их отношению к теореме Гёделя о неполноте. Первая категория, архаичная ее игнорирует. Сюда, можно отнести, например учебник О. В. В. Квайна. Обычно книги этой категории сосредотачиваются на конструировании логического языка. Кинги этой категории изучать не надо.

Книги второй категории я бы назвал модернистскими. Там в центр всего ставится теорема Геделя о неполноте. Эта категория, кажется началась с "метаматематики" Клини и "Математической Логики" А. Черча. А потом много современных учебников это просто попытка обрастить новым мясом эти старые скелеты, где-то что-то подкрутить и нарастить. Эти книги уже вполне можно и нужно читать. Но в теории можно сосредоточиться на чтением Клини и Черча. Язык Черча, мне кажется, устарел, но я слышал там хорошее общефилософское введение в проблематику. Потом, конечно еще читать всякое дополнительное по современной теории множеств или моделей, но это уже зависит от конкретных интересов.

Третьей категория тогда становится математическая логика-постмодернистская. Ей теорема Геделя о неполноте вполне известна, но она заметается куда-то под ковер. Дело в том, что теорема Гёделя о неполноте была органом геноцида бесконечно плодящихся логических языков, претендующих на полноту и непротиворечивость. Но пост-модернистской матлогике похуй на эту проблему, ведь для нее она уже давно решена. Обычно тут в центре ставится задача сведения матлогики к каким-то другим разделам математики. Вот, например, труд поляков Сикорского и Расёвы "Математика Метаматематика", где все выводится из топологии, булевой алгебры и теории решёток. Читать такое может быть интересно, но, возможно, не очень нужно.

Самым полным, и возможно лучшим, учебником матлогики является книга Манина "Математическая логика для математиков". Эту книгу я отношу к категории модернистских, хотя из них она, наверное, самая мускулистая. Думаю эта мутация была вызвана недостаточной доступности информации в совке. Недостатком Манина считается слабая глава про теорию моделей, написанная другим автором, которая есть в некоторых изданиях, а в других ее просто нет. Познакомиться с теорией моделей конечно стоит. Но я не уверен, стоит ли ее специально изучать. Вроде бы про нее есть отдельный стандартный большой учебник Чанг-Кейслер.

Однако, я пока склоняюсь к тому, чтобы заниматься по книге Джона Белла И Моше Маховера. Дело в том, что я хотел бы освоить другую книгу Джона Белла "Булево-значные модели теории множеств", потому что там есть глава про алгебры меры и интересный переход к топосам. Но она считается сложной, и я решил прочитать более вводную книгу Белла в качестве подготовки. Эта ближе к пост-модернизму и делает больший упор на связь логики с булевой алгеброй и использует некоторые топологические идеи в духе Сикорского и Расёвы. Поэтому после работы с булевыми алгебрами в контексте анализа я поработаю с ними в контексте логики и укреплю ассоциативные связи у себя в черепушке.

Параллельно можно читать Клейна, Манина, Сикорского, Черча и Квайна. Наверное в таком приоритете в зависимости от времени и сил. Но это все в рамках знакомства с классикой. Но я предпочитаю держать свой взгляд обращенным не в прошлое, а в прошлое. Из новейших изданий мне запомнился "Математическое Введение в математическую логику" Джозефа Милети. А запомнилось оно тем, что там есть целая глава про случайные графы в контексте логики. Такого от книги по матлогике я не ожидал! Поэтому туда тоже постараюсь поглядывать.
LinkLeave a comment

Comments:
From:(Anonymous)
Date:December 16th, 2022 - 09:35 pm
(Link)
Ты это всё изучаешь со стандартным мат курсом за плечами? Можно вкатится в такую математику, если я рабочий Иван с завода и не пидорас, не фурри, только лайтовое бдсм практикую? Извращенные сексуальные практики помогают усваивать материал?
[User Picture]
From:[info]ivanmakovetskiy
Date:December 16th, 2022 - 09:49 pm
(Link)
Никак: если вы в состоянии чем-либо заниматься беспорядочно, математических способностей у вас все равно нет.
From:(Anonymous)
Date:December 16th, 2022 - 10:59 pm
(Link)
чо ты сказал пидор тупой сам то понял?
[User Picture]
From:[info]rex_weblen
Date:December 17th, 2022 - 01:00 pm
(Link)
Конечно, можно!

Просто нужно изучать, то что интересно и на доступном уровне.
[User Picture]
From:[info]ivanmakovetskiy
Date:December 16th, 2022 - 09:51 pm
(Link)
A «Топосы» Голдблатта сильно плохие?
[User Picture]
From:[info]rex_weblen
Date:December 17th, 2022 - 12:58 pm
(Link)
Это очень хорошая книга. Я ее начинал читал, но мне не хватило мотивации, чтобы закончить.

Но там подход к логике не совсем классически, поэтому это не совсем то, что мне нужно. Но у Белла есть отсылки к топосам, поэтому может быть я найду мотивацию продолжать.
[User Picture]
From:[info]mcm
Date:December 17th, 2022 - 11:36 am
(Link)
Манин "Математическая логика для математиков" не гуглится, м.б. "Лекции по математической логике"?

заранее спасибо!
[User Picture]
From:[info]rex_weblen
Date:December 17th, 2022 - 12:55 pm
(Link)
Я имел в виду англоязычное издание 2010 года A Course in Mathematical Logic for Mathematician

Там ядро вроде бы соответствует "Лекциям по математической логике".

Но я вообще рекомендую знакомится с переизданиями советской математической классики через современные англоязычные издания. Из преимуществ:

1) Лучшее качество печати
2) Редактором и переводчиком обычно выступают математики, поэтому происходит правка опечаток
3) Иногда добавляется материал, но как в случае с Манином и теорией моделей, он может не всем нравиться.
[User Picture]
From:[info]mcm
Date:December 17th, 2022 - 01:09 pm
(Link)
спасибо!!!
From:[info]phantom
Date:December 17th, 2022 - 11:49 am
(Link)