Тёмный

АКАДЕМИК ЛЕВ БЕКЛЕМИШЕВ: МАТЕМАТИЧЕСКАЯ ЛОГИКА ― ЭТО МОСТ МЕЖДУ МАТЕМАТИКОЙ И ГУМАНИТАРНЫМ ЗНАНИЕМ 

Научная Россия
Подписаться 54 тыс.
Просмотров 4,2 тыс.
50% 1

Что такое математическая логика и как она связана с языками программирования? Почему она находится на стыке математики и гуманитарного знания и какие прикладные возможности открывает? Об этом наш разговор с главным научным сотрудником математического института им. В.А. Стеклова РАН, руководителем отдела математической логики академиком Львом Дмитриевичем Беклемишевым.

Опубликовано:

 

12 сен 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 41   
@Omnes1
@Omnes1 Год назад
Круто, всегда с удовольствием смотрю Льва Беклемишева.Спасибо!
@bluzrok-Oleg
@bluzrok-Oleg Год назад
Мне было интересно,- хотя я и тупой маргинал.
@Syllogist
@Syllogist 10 дней назад
В своём видео ( 10-07. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ -7 / Fundamentals of Intelligent Systems Logic - 7: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-MC1-yYoS8sc.html ) я использовал фрагменты Вашего видеоролика. Спасибо!
@user-dh6ih7yq9x
@user-dh6ih7yq9x 8 дней назад
Отлично! Спасибо!
@user-dd9jt3cf6t
@user-dd9jt3cf6t Год назад
Визуализация проблемы использования математической логики сводится к созданию узких мест (исходя из теории неполноты), что может привести к ступору всей системы, что и происходит в реалиях внедрения повальной цифровизации. Как минимум, в пределе глупо заставлять людей идти одной тропой из точки А в точку В, лишая их права на субъектность (разумную деятельность).
@SergeyGribachev
@SergeyGribachev Год назад
Отличный академик! :) Очень интересно, хоть и понятно не всё (больше не интуитивном уровне). Спасибо за интервью!!
@Mr.Not_Sure
@Mr.Not_Sure Год назад
Так и не раскололся, что же это за пример утверждения, недоказуемого с помощью арифметики. Пришлось самому искать.
@Mr.Not_Sure
@Mr.Not_Sure Год назад
@ABC-XYZ Спасибо. Но тогда я нашел другое: "Червь Беклемишева"
@Syllogist
@Syllogist 7 месяцев назад
А когда наши великолепные математические логики обратят внимание на содержащиеся в их книжках ошибки силлогистики? Например, в учебниках наших авторитетных СПбГУ и МГУ: 02-06. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Кириллова В.И. - Старченко А.А. (2018 г.) ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-ZM07qG3v0Vg.html 02-07. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И СБОРНИК СПбГУ «УПРАЖНЕНИЯ ПО ЛОГИКЕ» Тоноян Л.Г. (2018 г.): ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-qUI1wHd5aMs.html 02-08. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И ПОСОБИЕ МГУ «ЛОГИКА. КРАТКИЙ КУРС» Ивлева Ю.В. (2018 г.) ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-kEfB-TOw2hg.html 02-09. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК МГУ «ЛОГИКА ДЛЯ ЮРИСТОВ» Ивлева Ю.В. (2019 г.) ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-VeAC-DiA5eQ.html 02-10. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК МГУ «ПРАКТИКУМ ПО ЛОГИКЕ» Ивлева Ю.В. (2019 г.) ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-9Q7GoQNOSX8.html Почему наши логические академики испуганно уходят от признания своих ошибок, которым продолжают и продолжают обучать несчастных студентов... И что бы это значило? :-)
@GorSveta26
@GorSveta26 Год назад
👍🔥
@nikolayburbaki1356
@nikolayburbaki1356 Год назад
А у нас в МАИ курс "Линейной алгебры" читал Беклемишев. Говорили, что он сын автора учебника по "Линейной алгебре и аналитической геометрии" Беклемишева. Правда, что-то он совсем не был похож на этого Беклемишева, да и по возрасту явно не подходил в 70-х.
@semeonivanov
@semeonivanov Год назад
да я бы не сказал, что эскуэль так сильно связан с логикой 1п. вроде вообще никак не связан. хотя тема реально фундаментальная. я тоже думаю гдето здесь самое интересное.
@user-dd9jt3cf6t
@user-dd9jt3cf6t Год назад
А насколько "эффективность" алгоритма "на практике" обеспечена неповрежденностью идеального целого (среда практики), если, учитывая его (алгоритма) неполноту, и насколько формальное злоупотребление им (с позиции полноты, теоретически имеющей другие способы разрешения для аналогичной ситуации, компенсирующие поддержание целостности (сохранение баланса?) идеального) будет трансформировать это идеальное с тех же позиций?
@Mr.Not_Sure
@Mr.Not_Sure Год назад
Определение _идеального целого_ в студию, плз.
@user-dd9jt3cf6t
@user-dd9jt3cf6t Год назад
@@Mr.Not_Sure, идеально целое - это... живое)). Для него определение будет звучать, как предельно сложная самовоспроизводящаяся система безусловных связей, реализующая свой потенциал развития)
@Mr.Not_Sure
@Mr.Not_Sure Год назад
@@user-dd9jt3cf6t а научный мир о вашем определении живого осведомлён? 🤣🤣🤣
@user-dd9jt3cf6t
@user-dd9jt3cf6t Год назад
@@Mr.Not_Sure, думаю, что частично "да", так как то, что живое целое не тождественно сумме частных ("сшитой" расчлененке), он уже почти усвоил)))
@vladymyrnayborodenko4871
@vladymyrnayborodenko4871 Год назад
А как староанглийский язык?
@user-bj5ln3ee4f
@user-bj5ln3ee4f Год назад
Вы о чем? Да ни о чем . Просто попросили поговорить!
@vprokh
@vprokh Год назад
Кстати, очень ясная и, при том, живая речь. Наверное это совершенно необходимо, чтобы заниматься такими вещами. Или, наоборот, является прямым следствием?
@user-or5bo5dz6l
@user-or5bo5dz6l 2 месяца назад
Связь конечно есть, но не такая прямая. Далеко не все учёные умеют ясно говорить. Но есть прямая связь с тем, кого приглашают на интервью Ни в коем случае не в обиду математикам. Всё-таки это не основная их деятельность. Некоторые гениальные математики писали настолько непонятно, что даже другие математики их не понимали, однако теперь их труды общепризнаны. Связь определённо есть между математикой (и логикой в частности) и образом мышления, что в свою очередь влияет на речь.
@Syllogist
@Syllogist 8 месяцев назад
УЖЕ ДАВНО ИЗВЕСТНО, ЧТО ЛЮБОЕ УМОЗАКЛЮЧЕНИЕ ЛЮБОГО СИЛЛОГИЗМА ЛЕГКО РАССЧИТЫВАЕТСЯ АЛГЕБРАИЧЕСКИ, А НЕ ВЫСАСЫВАЕТСЯ ИЗ ФИЛОСОФСКОГО ИЛИ НАУЧНОСАМОЗВАННОГО ПАЛЬЦА! См., например: - 08-04.ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ-1 / Valid syllogisms for children and academics-1: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-Q0S3xI7f0so.html - 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-w1Lm4OCoMdU.html - 06-09. АЛГЕБРАИЧЕСКИЙ РАСЧЁТ СИЛЛОГИЗМОВ - ЭТО ПРОСТО! (суждения, кванторы, модусы): ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-a8A3DI9qUYY.html СИСТЕМА ОБРАЗОВАНИЯ ДОЛЖНА УЧИТЬ ПРАВИЛЬНОЙ ЛОГИКЕ, А НЕ ИЗ ВЕКА В ВЕК ТУПО ЗАДАЛБЛИВАЕМЫМ ДРЕВНИМ (а иногда откровенно дебильным!) ФАНТАЗМАМ. Как смогут люди, получившие ЛОГИЧЕСКИ ИСКАЖЁННОЕ ОБРАЗОВАНИЕ, создать что-то интеллектуально и принципиально новое? НИКАК И НИ-КОГ-ДА.
@TheBotNope
@TheBotNope Год назад
Есть ссылка на алгоритм 2006 года по простоте чисел?
@daniilivanik5021
@daniilivanik5021 10 месяцев назад
Привет. Есть ссылка на лекцию Райгородского в МФТИ про это: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-tuIUdauc6vA.htmlsi=VMG-bWoePBVHqhBo
@daniilivanik5021
@daniilivanik5021 10 месяцев назад
И вторая часть: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-4DQUsuR1Lpg.htmlsi=191XDuM5X31TKQZC
@igor-sukharev
@igor-sukharev 4 месяца назад
Я как будто смотрю видео про куннилингус, почему он постоянно чавкает?
@Covid_19_23
@Covid_19_23 Год назад
Академиком стал благодаря папе. Академик в разграбленной, разведенной стране.
@user-yr7ec7hu8o
@user-yr7ec7hu8o Год назад
Неужели! Некому академику подсказать! Что причмокивание раздражает! Очень!
@user-yr7ec7hu8o
@user-yr7ec7hu8o Год назад
В этом состоит главная проблема: здесь не работает обратная связь Норберта Винера. Основа существования любого общества.
@user-de3wg4wz4j
@user-de3wg4wz4j 11 месяцев назад
Нехватка витамина-Д, частая проблема у научных работников. И показатель того, что "Думать - Вредно".
@Alexander_Kubanov_V
@Alexander_Kubanov_V Год назад
Да, заблудилась математика весьма конкретно, оттого и наука топчется на месте из-за своей слепоты. "Будущее уже наступило" - чушь собачья, большая часть теорий недоказанные и не более чем гипотетическая фантазия "лауреатов". Один философ говорил, что прямая не может быть из "бесконечного количества точек", так как точка не имеет объема, диаметра, ширины и т.д. Шарлатаны, выдумавшие религию для малограмотного обывателя!
@Жэк
@Жэк Год назад
Пнх, иплан.
@Mr.Not_Sure
@Mr.Not_Sure Год назад
На счастье вы появились, светоч в тёмном царстве, и сейчас просветите неразумных учёных.
@Alexander_Kubanov_V
@Alexander_Kubanov_V Год назад
@@Mr.Not_Sure Задорнов гениально заметил: "ученый- в говне моченый", таким просвещение противопоказано. Иначе снова придумают минус единицу, возникшую из возведения в квадрат. Чушехинея!
@vprokh
@vprokh Год назад
На вашем ютуб-канале вместе с политическими есть видео про производную. При желании можете найти хорошие ютуб объяснения, что такое корень из -1 и убедиться, что это не чушехинея. И поубавить спесь.
@Qweqwe-ev1ft
@Qweqwe-ev1ft 9 месяцев назад
Еще бы без тупых комментариев от корреспондента, которые каждый раз сбивают академика с раскрытия вопроса. Зачем мычать как будто понимаешь что-то?
@user-os7oi1zg1w
@user-os7oi1zg1w Год назад
Это тот случай, когда чувак до сих пор не может понять- *кто же он такой и чем занимается!* Сидит чмокает и несёт всякую ахинею, в надежде, что от этой херни у нас возникнет ощущение его "учёности и научности"... Если это - АКАДЕМИК, то какое же у нас говно среди "профессоров и дОцентов"...Ужасть!!!
@Omnes1
@Omnes1 Год назад
А что конкретно вам не понравилось?
@vprokh
@vprokh Год назад
Не разобрались, а хамите. Нехорошо.
@semeonivanov
@semeonivanov Год назад
хахааха.. сжечь их всех на кострах, я думаю они все или евреи или рептилоиды, какието непонятные слова у них - это всё КОЛДОВСТВО!!!! В ПРАВОСЛАВНОЙ СТРАНЕ!!! ПОЗОР!!!
@user-cl7gx7sb2i
@user-cl7gx7sb2i Год назад
хахааха!!!
Далее
Что есть математика
51:33
Просмотров 49 тыс.
iPhone 16 для НИЩЕБРОДОВ!
00:51
Просмотров 1,7 млн
Живое вещество в литосфере
29:41