Архив рубрики: Математическая логика

Лямбда-исчисление, или вычислительная теория доказательств

Лямбда-исчисление, или вычислительная теория доказательств
Спецкурс МИАН, 2015 Лектор: Кузнецов Степан Львович
http://www.mathnet.ru/conf664
1. λ-термы. Бестиповое λ-исчисление. α-конверсия и β-редукция.


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

О тереме Гёделя популярно

О тереме Гёделя популярно

Лекции о теореме Гёделя и другие материалы на эту тему.
1. Лекции летней школы «Современная математика», г.Дубна (В.А.Успенский, А.Б.Сосинский, А.Л.Семёнов).
2. Тахтаджян Л. Математика как форма существования мира идей в нашем сознании.
3. Башаров А.М. Об аксиоматическом методе для учеников 6-7 классов.
4. Беклемишев Л.Д. Позитивная логика для схем рефлексии в арифметике.

Успенский В.А. Теорема Гёделя о неполноте и четыре дороги, ведущие к ней. Лекции летней школы «Современная математика», г. Дубна, 2007.



Читать далее О тереме Гёделя популярно

Теорема Геделя о неполноте

Математик, профессор Независимого московского университета,
офицер Ордена академических пальм Французской Республики, лауреат премии Правительства РФ в области образования

Тема: "Теорема Геделя о неполноте"