Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя

О каких результатах в математике за последние двадцать лет вам было бы интересно рассказать?

Вопрос задан в рамках коллективной активности тут, в качестве результата мы соберем ответы экспертов в небольшую статью с упоминанием всех причастных
ФизикаПрограммированиеМатематика
  · 3,6 K
На Кью задали 1 похожий вопрос
доктор физико-математических наук. Научные интересы: логика, математика, искусственный...  · 9 июн 2022
Хотел бы рассказать о результатах, направленных на то, чтобы сделать более понятной и в то же время более строгой логику вообще и математическую логику, в частности. Практическая польза от этого несомненна, так как население, которое не понимает логики, можно легко оболванить. Эти результаты опубликованы в моей книге «Логика и математика: просто о сложных методах логического анализа» (http://logic-cor.narod.ru/index/knigi/0-9 ) и в статье «Почему в учебниках логики содержатся логические ошибки?» (https://vestnik-muiv.ru/article/pochemu-v-uchebnikakh-logiki-soderzhatsya-logicheskie/ )
То, что уже найдено, можно сделать более понятным и более увлекательным. А для этого хорошо бы расширить аудиторию – в ней несомненно найдутся люди, у которых проявится интерес к продолжению этой работы.
Не загружаются файлы (оба). Желательно пару слов о содержании. Чем автора ответа господина Кулика не удовлетворяет... Читать дальше
@Леонид Коганов, непонятно, почему у Вас не загружаются. У меня загружаются (только что проверил), и мне никто не сообщал о такой проблеме. Может быть, у Вас получится с этой ссылкой?
Что касается моей неудовлетворенности современной мат. логикой, то выразить причины этого без строгих обоснований, которые содержатся в файлах, весьма затруднительно. И поэтому то, что будет написано ниже, можно воспринять как беспочвенные декларации. Но раз уж Вы просите…
1) Мат. логика сложна для понимания. Использование предложенной интерпретации на основе алгебры множеств, позволяет сделать логический анализ более доступным.
2) В плане практических приложений мат. логику можно использовать только для дедуктивного анализа, да и то, главным образом, в случаях, когда предполагаемое следствие известно. Предлагаемый подход позволяет расширить дедуктивный анализ, в частности вычислять следствия с заранее заданными свойствами и, кроме того, использовать такие «не дедуктивные» методы логического анализа, как формулирование и проверка гипотез, распознавание и анализ ошибок и некорректностей в рассуждениях, анализ неопределенностей, поиск абдуктивных заключений и т.д.
Спасибо за вопрос.
@Борис Кулик, спасибо за развёрнутый ответ и связанные с ним труды и хлопоты.
Из Вашего последнего пункта 1) я так понял, что Вы системно интерпретируете / представляете алгебраически алгебру логики в рамках алгебры множеств в подходящем "универсуме", так? Или нечто иное?
По пункту 2) , имхо, надо говорить со спецами, пишущий увы к ним себя отдалённо не относит.
Что-то в стиле покойного Шестакова, многочленов проф. Жегалкина и прочего, нет? Може быть, так же уже ушедшего Клода Элвуда Шеннона из МТИ (массачусеттской техноложки типа)? Не могу покуда знать.
Л.К.
Трудности с Вашей раззиповкой, не факт, что удастся.
Кстати, не Ваша ли стр.? - категорически прошу читающих даже отдалённо не считать рекламой! - Л.К. - если Ваша, то постараюсь с Вашей помощью и, главное, с Вашими привязками скачать отсюда:
http://logic-cor.narod.ru/kulik.htm
К.
@Леонид Коганов, если (по п. 1) говорить об интерпретации, то это, более точно, модифицированный вариант интерпретации языка первого порядка, предложенный известным автором «Введения в математическую логику» Э. Мендельсоном. Этот вариант изоморфен алгебре множеств и называется Алгебра кортежей.
По п.2 - это точно не в стиле авторов, которых Вы упоминаете.
Страница в Интернете, которую Вы упомянули, моя. Но она сильно устарела, и у меня нет времени и возможностей ее обновить.
Если у Вас трудности с раззиповкой, то можете воспользоваться этими ссылками:
@Борис Кулик, предварительно, ещё раз большое спасибо.
Скачал и книгу, и статью / доклад. Буду смотреть.
Л.К.
Простите, Вы - по первому образованию инженер-горняк (я - так до окончания очной матем. аспирантуры - формально просто учитель математики)? Не с кафедры, случаем, в питерском Горном знаменитого и совершенно замечательного давно ушедшего проф. Журавского Андрея Митрофановича (книжка есть о нём в академич. биографич. серии)?
Оченно суровая и, считаю, тяжёлая, почти страшная судьба.
К.
@Леонид Коганов, нет, я с кафедры разведочного бурения. А математику нам читал не Журавский, а Вержбицкий. Журавский преподавал у геофизиков.
@Борис Кулик, но А.М. заведовал "высшей математикой", не так ли?
Как до "посадки" в самом начале сороковых прошлого 20 столетия заведовал всей питерской Стекловкой (ныне Фонтанка, 27, Вам хорошо известный адрес).
Вот наверняка пересечение - АЛФ = Александр Львович Фрадков, проф. из Вашей нынешней конторы типа. Знаю шапочно по скоротечной переписке.
И, думаю, Большой Юра (Ю.В. Матиясевич, мельком знакомы эпизодически с 1975 года с большими перерывами в бессистемном общении - Л.К.- ссылался на его, считаю, хорошую работу по графам образца 1977 года в "Дискр. анализе в теории упр. систем", вып. 31, Новосиб., ныне ДАИО, там Ю.В. по делу обобщил формулу физика Нэйгля для хроматич. многочлена графа и установил связь - прямую - с потоковым многочленом; мне удалось использовать в прямой специализации для простого несамопересекающегося цикла произвольной, но фиксированной длины.
Дело было в 2007 году, 30 лет спустя.
Л.К.
Говорят, А.М. Журавский был блестящим лектором (в 1969 году попал под наезд мотоцикла, быстро после полученных травм ушёл из жизни, очень жаль!).
К.
@Леонид Коганов, Да, Журавский заведовал кафедрой высшей математики, но на его лекциях, я, к сожалению, не присутствовал – он их читал не у нас. А.Л. Фрадкова я, конечно, знаю. К Ю.В. Матиясевичу я недавно обратился с предложением провести семинар в лаборатории Математической логики. Он мне ответил, что он сейчас не заведует этой лабораторией.
Мне кажется, наш разговор выходит за рамки темы. Если есть желание пообщаться, пишите мне на почту. Адрес найдете в презентации моего доклада.
БК.
Грядущий царь, открыт к диалогу  · 18 апр 2022
Интересно было б рассказать о своем открытии, правда, математики утверждают, что мое открытие не является математикой, скорее физикой. Физики, напротив, утверждают, что это математика и не хотят иметь дело со мной. Единый принцип как система отношений сверхвеличин с образованием упорядоченного множества в рациональной структуре, имеющей условие для начала взаимодействий... Читать далее
Это, господин хороший, имхо, дурацкий стёб и / или сверхценный бред (сив кэйбл = сивой кобылы). Л.К. Ни к... Читать дальше
Ответы на похожие вопросы
О каких результатах в математике за последние двадцать лет вам было бы интересно прочитать? — 7 ответов, задан 
Я, Саускан Андрей пишу для детских математических журналов Квантик,Математика в...  · 11 мар 2022
Мне интересно было бы прочитать про построения полумагических,
центросимметричных или ассоциативных числовых прямоугольников,
там тема довольно обширная,есть квазимагические прямоугольники,
есть числовые лестницы, есть построения числовых, ассоциативных
параллелепипедов,насколько я в курсе,лет 10 назад еще были
открытые вопросы.
О каких результатах в математике за последние двадцать лет вам было бы интересно прочитать? — 7 ответов, задан 
ученый, турист  · 18 июл 2022
О продвижении в понимании гипотезы Римана. 
Новые идеи и результаты в теории чисел
Линеные неравенства
Аппроксимации
Симметрия, теория двойственности