Л.Д. Беклемишев. Доказуемо рекурсивные функции

(1:47:)

Л.Д. Беклемишев. Элементарная геометрия с точки зрения логики

(1:14:)

Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 1

(1:32:20)

Топологическая интерпретация логики доказуемости, Лев Дмитриевич Беклемишев, Семинар «Глобус»

(2:6:14)

Л.Д. Беклемишев. Об открытых вопросах теории доказательств

(2:27:36)

Л.Д.Беклемишев. Модели и интерпретации (ЛШСМ-2021)

(1:19:56)

Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление...

(1:36:2)

Л.Д. Беклемишев. Логика и топология: родственные связи. Семинар 1

(1:18:50)

Как распознать талантливого математика

(3:30)

Воспоминания И.Р. Шафаревича

(41:6)

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

(38:38)

Беседы о логике: часть 2 – беседуют математики Николай Андреев и Лев Беклемишев | Научпоп

(1:4:17)

Лекция 1 | Компьютерная алгебра | Николай Вавилов | Лекториум

(1:27:25)

А.В. Савватеев. Основные теоремы теории игр

(1:48:49)

Логика и эпистемология. Лекция 1. Логика Аристотеля Александр Пустовит. Что такое логика?

(1:22)

Лев Беклемишев | «Элементарная геометрия с точки зрения логики»

(1:17:1econd)

Беседы о логике. Часть 1 – беседуют математики Николай Андреев и Лев Беклемишев | Научпоп

(52:51)

Л.Д.Беклемишев. Логика и топология: родственные связи (ЛШСМ-2024)

(1:19:50)

Л.Д. Беклемишев. Лекция 1. Программа Гильберта и основания математики. Элементарные по Кальмару...

(1:48:17)

Лекция 21. Л.Д. Беклемишев. Применения функциональной интерпретации...

(1:46:42)

Л.Д. Беклемишев. Модели и интерпретации. Лекция

(1:15:8)

Л.Д. Беклемишев. Доказуемость и модальная логика. Занятие 1

(1:13:32)

Л.Д. Беклемишев. Модели и интерпретации. Семинар

(1:31:28)

Л.Д. Беклемишев. Позитивная логика для схем рефлексии в арифметике

(1:20:15)