АКАДЕМИК ЛЕВ БЕКЛЕМИШЕВ: МАТЕМАТИЧЕСКАЯ ЛОГИКА ― ЭТО МОСТ МЕЖДУ МАТЕМАТИКОЙ И ГУМАНИТАРНЫМ ЗНАНИЕМ
HTML-код
- Опубликовано: 12 сен 2024
- Что такое математическая логика и как она связана с языками программирования? Почему она находится на стыке математики и гуманитарного знания и какие прикладные возможности открывает? Об этом наш разговор с главным научным сотрудником математического института им. В.А. Стеклова РАН, руководителем отдела математической логики академиком Львом Дмитриевичем Беклемишевым.
Круто, всегда с удовольствием смотрю Льва Беклемишева.Спасибо!
Мне было интересно,- хотя я и тупой маргинал.
В своём видео ( 10-07. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ -7 / Fundamentals of Intelligent Systems Logic - 7: ruclips.net/video/MC1-yYoS8sc/видео.html ) я использовал фрагменты Вашего видеоролика. Спасибо!
Отлично! Спасибо!
Так и не раскололся, что же это за пример утверждения, недоказуемого с помощью арифметики. Пришлось самому искать.
@ABC-XYZ Спасибо. Но тогда я нашел другое: "Червь Беклемишева"
Отличный академик! :)
Очень интересно, хоть и понятно не всё (больше не интуитивном уровне).
Спасибо за интервью!!
Визуализация проблемы использования математической логики сводится к созданию узких мест (исходя из теории неполноты), что может привести к ступору всей системы, что и происходит в реалиях внедрения повальной цифровизации. Как минимум, в пределе глупо заставлять людей идти одной тропой из точки А в точку В, лишая их права на субъектность (разумную деятельность).
А у нас в МАИ курс "Линейной алгебры" читал Беклемишев. Говорили, что он сын автора учебника по "Линейной алгебре и аналитической геометрии" Беклемишева. Правда, что-то он совсем не был похож на этого Беклемишева, да и по возрасту явно не подходил в 70-х.
👍🔥
А когда наши великолепные математические логики обратят внимание на содержащиеся в их книжках ошибки силлогистики? Например, в учебниках наших авторитетных СПбГУ и МГУ:
02-06. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Кириллова В.И. - Старченко А.А. (2018 г.) ruclips.net/video/ZM07qG3v0Vg/видео.html
02-07. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И СБОРНИК СПбГУ «УПРАЖНЕНИЯ ПО ЛОГИКЕ» Тоноян Л.Г. (2018 г.): ruclips.net/video/qUI1wHd5aMs/видео.html
02-08. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И ПОСОБИЕ МГУ «ЛОГИКА. КРАТКИЙ КУРС» Ивлева Ю.В. (2018 г.) ruclips.net/video/kEfB-TOw2hg/видео.html
02-09. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК МГУ «ЛОГИКА ДЛЯ ЮРИСТОВ» Ивлева Ю.В. (2019 г.) ruclips.net/video/VeAC-DiA5eQ/видео.html
02-10. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК МГУ «ПРАКТИКУМ ПО ЛОГИКЕ» Ивлева Ю.В. (2019 г.) ruclips.net/video/9Q7GoQNOSX8/видео.html
Почему наши логические академики испуганно уходят от признания своих ошибок, которым продолжают и продолжают обучать несчастных студентов... И что бы это значило? :-)
УЖЕ ДАВНО ИЗВЕСТНО, ЧТО ЛЮБОЕ УМОЗАКЛЮЧЕНИЕ ЛЮБОГО СИЛЛОГИЗМА ЛЕГКО РАССЧИТЫВАЕТСЯ АЛГЕБРАИЧЕСКИ, А НЕ ВЫСАСЫВАЕТСЯ ИЗ ФИЛОСОФСКОГО ИЛИ НАУЧНОСАМОЗВАННОГО ПАЛЬЦА! См., например:
- 08-04.ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ-1 / Valid syllogisms for children and academics-1: ruclips.net/video/Q0S3xI7f0so/видео.html
- 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html
- 06-09. АЛГЕБРАИЧЕСКИЙ РАСЧЁТ СИЛЛОГИЗМОВ - ЭТО ПРОСТО! (суждения, кванторы, модусы): ruclips.net/video/a8A3DI9qUYY/видео.html
СИСТЕМА ОБРАЗОВАНИЯ ДОЛЖНА УЧИТЬ ПРАВИЛЬНОЙ ЛОГИКЕ, А НЕ ИЗ ВЕКА В ВЕК ТУПО ЗАДАЛБЛИВАЕМЫМ ДРЕВНИМ (а иногда откровенно дебильным!) ФАНТАЗМАМ. Как смогут люди, получившие ЛОГИЧЕСКИ ИСКАЖЁННОЕ ОБРАЗОВАНИЕ, создать что-то интеллектуально и принципиально новое? НИКАК И НИ-КОГ-ДА.
да я бы не сказал, что эскуэль так сильно связан с логикой 1п. вроде вообще никак не связан. хотя тема реально фундаментальная. я тоже думаю гдето здесь самое интересное.
Кстати, очень ясная и, при том, живая речь. Наверное это совершенно необходимо, чтобы заниматься такими вещами. Или, наоборот, является прямым следствием?
Связь конечно есть, но не такая прямая. Далеко не все учёные умеют ясно говорить. Но есть прямая связь с тем, кого приглашают на интервью
Ни в коем случае не в обиду математикам. Всё-таки это не основная их деятельность. Некоторые гениальные математики писали настолько непонятно, что даже другие математики их не понимали, однако теперь их труды общепризнаны.
Связь определённо есть между математикой (и логикой в частности) и образом мышления, что в свою очередь влияет на речь.
А насколько "эффективность" алгоритма "на практике" обеспечена неповрежденностью идеального целого (среда практики), если, учитывая его (алгоритма) неполноту, и насколько формальное злоупотребление им (с позиции полноты, теоретически имеющей другие способы разрешения для аналогичной ситуации, компенсирующие поддержание целостности (сохранение баланса?) идеального) будет трансформировать это идеальное с тех же позиций?
Определение _идеального целого_ в студию, плз.
@@Mr.Not_Sure, идеально целое - это... живое)). Для него определение будет звучать, как предельно сложная самовоспроизводящаяся система безусловных связей, реализующая свой потенциал развития)
@@user-dd9jt3cf6t а научный мир о вашем определении живого осведомлён? 🤣🤣🤣
@@Mr.Not_Sure, думаю, что частично "да", так как то, что живое целое не тождественно сумме частных ("сшитой" расчлененке), он уже почти усвоил)))
А как староанглийский язык?
Вы о чем? Да ни о чем . Просто попросили поговорить!
Есть ссылка на алгоритм 2006 года по простоте чисел?
Привет. Есть ссылка на лекцию Райгородского в МФТИ про это:
ruclips.net/video/tuIUdauc6vA/видео.htmlsi=VMG-bWoePBVHqhBo
И вторая часть:
ruclips.net/video/4DQUsuR1Lpg/видео.htmlsi=191XDuM5X31TKQZC
Я как будто смотрю видео про куннилингус, почему он постоянно чавкает?
Академиком стал благодаря папе. Академик в разграбленной, разведенной стране.
Неужели! Некому академику подсказать! Что причмокивание раздражает! Очень!
В этом состоит главная проблема: здесь не работает обратная связь Норберта Винера. Основа существования любого общества.
Нехватка витамина-Д, частая проблема у научных работников. И показатель того, что "Думать - Вредно".
Да, заблудилась математика весьма конкретно, оттого и наука топчется на месте из-за своей слепоты. "Будущее уже наступило" - чушь собачья, большая часть теорий недоказанные и не более чем гипотетическая фантазия "лауреатов". Один философ говорил, что прямая не может быть из "бесконечного количества точек", так как точка не имеет объема, диаметра, ширины и т.д. Шарлатаны, выдумавшие религию для малограмотного обывателя!
Пнх, иплан.
На счастье вы появились, светоч в тёмном царстве, и сейчас просветите неразумных учёных.
@@Mr.Not_Sure Задорнов гениально заметил: "ученый- в говне моченый", таким просвещение противопоказано. Иначе снова придумают минус единицу, возникшую из возведения в квадрат. Чушехинея!
На вашем ютуб-канале вместе с политическими есть видео про производную. При желании можете найти хорошие ютуб объяснения, что такое корень из -1 и убедиться, что это не чушехинея. И поубавить спесь.
Еще бы без тупых комментариев от корреспондента, которые каждый раз сбивают академика с раскрытия вопроса.
Зачем мычать как будто понимаешь что-то?
Это тот случай, когда чувак до сих пор не может понять- *кто же он такой и чем занимается!* Сидит чмокает и несёт всякую ахинею, в надежде, что от этой херни у нас возникнет ощущение его "учёности и научности"... Если это - АКАДЕМИК, то какое же у нас говно среди "профессоров и дОцентов"...Ужасть!!!
А что конкретно вам не понравилось?
Не разобрались, а хамите. Нехорошо.
хахааха.. сжечь их всех на кострах, я думаю они все или евреи или рептилоиды, какието непонятные слова у них - это всё КОЛДОВСТВО!!!! В ПРАВОСЛАВНОЙ СТРАНЕ!!! ПОЗОР!!!
хахааха!!!