
http://www.mathnet.ru/conf664
1. λ-термы. Бестиповое λ-исчисление. α-конверсия и β-редукция.
Читать далее Лямбда-исчисление, или вычислительная теория доказательств
Лекции о теореме Гёделя и другие материалы на эту тему.
1. Лекции летней школы «Современная математика», г.Дубна (В.А.Успенский, А.Б.Сосинский, А.Л.Семёнов).
2. Тахтаджян Л. Математика как форма существования мира идей в нашем сознании.
3. Башаров А.М. Об аксиоматическом методе для учеников 6-7 классов.
4. Беклемишев Л.Д. Позитивная логика для схем рефлексии в арифметике.
Математик, профессор Независимого московского университета,
офицер Ордена академических пальм Французской Республики, лауреат премии Правительства РФ в области образования
Тема: "Теорема Геделя о неполноте"