Кто российские логики-математики авторы книг?

[Tupiel Reuschin]

2006, Колмогоров А.Н. & Драгалин А. Г., Математическая логика

Колмогоров умер в 1987, Драгалин умер в 1998, книгу издали (3-е издание) в 2006,
с тех пор прошло 20-30 лет (четверть века). Кто сейчас рулит логикой (вероятно в МГУ? или в Новосибирске?) и является вершиной российской логической мысли? Что почитать?

[Anton_Peplov]

Tupiel Reuschin в сообщении #1695813 писал(а):

Колмогоров А.Н. & Драгалин А. Г., Математическая логика

Колмогоров умер в 1987, Драгалин умер в 1998, книгу издали (3-е издание) в 2006

Это учебник для студентов, излагающий основы предмета. Они не изменились за последние 30 лет.

Tupiel Reuschin в сообщении #1695813 писал(а):

Кто сейчас рулит логикой (вероятно в МГУ? или в Новосибирске?) и является вершиной российской логической мысли? Что почитать?

Каков Ваш уровень? Если Вам нужен учебник по основам, то совершенно не важно, кто сейчас чем рулит. Усвоить продвинутую литературу без знания основ все равно невозможно. И тогда вопрос должен быть другим: с какого учебника начать знакомство с предметом.

Если основы уже усвоены и хотите углубиться, то странно, что Вы приводите в пример учебник для студентов, а не какую-нибудь монографию.

[Booker48]

Упомянутая книжка Колмогорова и Драгалина - вроде учебник "для начинающих математиков".
Три известных книжки Верещагина и Шеня написаны на базе лекций для "младших курсов мехмата".
Кафедрой матлогики на мехмате "рулит" А.Л.Семёнов. Там же вроде преподает академик Лев Беклемишев, который "рулит" матлогикой в МИАНе.
А так - логика большая. Там и алгоритмы, и множества, и доказательства, и модели. Много российских математиков публикуются по этим направлениям, вопрос хорошо бы конкретизировать.

[Tupiel Reuschin]

Anton_Peplov в сообщении #1695843 писал(а):

основы предмета ... не изменились за последние 30 лет.

У меня гипотеза. Изменение должно быть и этому есть объективные причины:
- проникновение компьютерной техники в массы;
- резкое увеличение доступной вычислительной мощности;
- развитие интереса философии, философии математики и логике.

Осталось только подтвердить наличие этого изменения по источникам.

Booker48 в сообщении #1695845 писал(а):

Семёнов, Алексей Львович

Поискал его в РГБ:
2012, Семёнов А.Л., Математика текстов, 2-е издание

Booker48 в сообщении #1695845 писал(а):

Беклемишев, Лев Дмитриевич

1992, Беклемишев, Л.Д., Классификация пропозициональных логик доказуемости
у него есть видеоролики на ютубе, но книжек я особо не вижу, может надо не в РГБ, а в библиотеке МГУ искать?

Booker48 в сообщении #1695845 писал(а):

Три известных книжки Верещагина и Шеня

Я не понял, про что речь.

Верещагин, Николай Константинович
Шень, Александр
2024, Верещагин Н.К. & Шень А., Лекции по математической логике и теории алгоритмов, 7-е издание, часть 1. Начала теории множеств.
2025, Верещагин Н.К. & Шень А., Лекции по математической логике и теории алгоритмов, 7-е издание, часть 2. Языки и исчисления
2024, Верещагин Н.К. & Шень А., Лекции по математической логике и теории алгоритмов : Математическая логика и теория алгоритмов, 8-е издание

Это, наверное, хорошо. По крайней мере оно свежее.

Anton_Peplov в сообщении #1695843 писал(а):

Каков Ваш уровень?

Переход на личности явный признак чего-то нехорошего.
Я не обязан мыслить по вашим рельсам, и мне не хочется изучать большое количество лишнего материала, который не относится к области моих интересов. И уж конечно я не математик, и не хочу им быть. Если бы я мог сформулировать вопрос, я бы это сделал. А так мне нужна помощь психолога в выяснении причин моего интереса. Нет же сомнения, что интерес есть? Что-то же его мотивирует? Раз пришел я сюда, а не куда-нибудь ещё. Был бы в вас педагогический талант, вы бы справились. Но вы не учитель, так, максимум преподаватель (и то, это никак не проявляется, кроме профессиональной деформации выражающейся в привычке давать указания).

Anton_Peplov в сообщении #1695843 писал(а):

вопрос должен быть другим

Человечество развивается, сначала была метафизика, потом стала диалектика. Колмогоров учёл это и сделал российский вариант изложения интуиционистской логики (вместо теории множеств). И это хорошо, но мало. Потому что раньше ещё был Эйнштейн, и он спутал пространство со временем. Сейчас мы знаем, что есть временные логики (минимум двух разных типов - модальные и интервальные), а хочется найти доступный и простой учебник по пространственно-временным. Такая вот фантазия.

-- 30.07.2025, 21:56 --

Anton_Peplov в сообщении #1695843 писал(а):

Усвоить продвинутую литературу без знания основ все равно невозможно.

Плохо быть трусливым человеком.

Вы сказали очевидную истину. И я тоже.
Вы пытаетесь утверждаться на форуме за счёт других, необоснованно обвиняете в том, что люди не хотят развиваться следуя именно вашим неправильным указаниям. А всё из-за того, что боитесь потерять своё место (на которое, к слову, никто не претендует, кому вы нужны? Не было бы вашего ответа, тема бы не пострадала).

Я крайне раздражен и расстроен. Испытываю душевную боль, нанесённую вами.

[Booker48]

Прочитал, что вы выше в адрес уважаемого Anton_Peplov написали, и решил - выйду-ка я из чата.

[Ende]

Tupiel Reuschin в сообщении #1695908 писал(а):

Переход на личности явный признак чего-то нехорошего.

Совершенно согласен. В частности, переходом на личности является вот это:

Tupiel Reuschin в сообщении #1695908 писал(а):

Был бы в вас педагогический талант, вы бы справились. Но вы не учитель, так, максимум преподаватель (и то, это никак не проявляется, кроме профессиональной деформации выражающейся в привычке давать указания).

И вот это:

Tupiel Reuschin в сообщении #1695908 писал(а):

А всё из-за того, что боитесь потерять своё место (на которое, к слову, никто не претендует, кому вы нужны?

А вот это как раз не является:

Anton_Peplov в сообщении #1695843 писал(а):

Каков Ваш уровень?

Это просто вопрос об уровне знаний.

Tupiel Reuschin в сообщении #1695908 писал(а):

Я крайне раздражен и расстроен. Испытываю душевную боль

Что ж, по-видимому, Вам стоит отдохнуть и успокоиться.

Tupiel Reuschin
Недельный бан за переход на личности и хамство.

А вот за такое

Tupiel Reuschin в сообщении #1695908 писал(а):

Потому что раньше ещё был Эйнштейн, и он спутал пространство со временем.

еще и бан за лженауку схлопотать можно.

[mihaild]

Tupiel Reuschin в сообщении #1695908 писал(а):

- проникновение компьютерной техники в массы;
- резкое увеличение доступной вычислительной мощности;

Это не к логике, а к теории алгоритмов и Computer Science.
И, опять же, не на начальном уровне. Основы не поменялись.

Tupiel Reuschin в сообщении #1695908 писал(а):

развитие интереса философии, философии математики и логике

Что такое "интерес философии", и почему он должен как-то влиять на матлогику?

Tupiel Reuschin в сообщении #1695908 писал(а):

По крайней мере оно свежее

И там примерно всё то же самое, что в первом издании.

Tupiel Reuschin в сообщении #1695908 писал(а):

Переход на личности явный признак чего-то нехорошего

Это не переход на личности. Ваш уровень нужно понимать, чтобы дать подходящие рекомендации. Потому что для почти любого человека есть как слишком простые, так и слишком сложные источники.

Tupiel Reuschin в сообщении #1695908 писал(а):

А так мне нужна помощь психолога в выяснении причин моего интереса

Тогда это не в математический раздел.

Tupiel Reuschin в сообщении #1695908 писал(а):

Человечество развивается, сначала была метафизика, потом стала диалектика

Да много мусора было, и сейчас тоже много (становится со временем больше или меньше - не знаю, это не очень важно). Часть время от времени выкидывает, часть может лежать очень долго. К математике это отношения не имеет.