Лекции о теореме Гёделя и другие материалы на эту тему.
1. Лекции летней школы «Современная математика», г.Дубна (В.А.Успенский, А.Б.Сосинский, А.Л.Семёнов).
2. Тахтаджян Л. Математика как форма существования мира идей в нашем сознании.
3. Башаров А.М. Об аксиоматическом методе для учеников 6-7 классов.
4. Беклемишев Л.Д. Позитивная логика для схем рефлексии в арифметике.
Доказательность - главнейшая особенность математики, науки, представляющей образцы точности рассуждений. Но понятие доказательства долгое время не имело точного математического определения. О парадоксах в теории множеств и основаниях математики, о теореме Геделя - академик РАН Ю.Л.Ершов.
Шифман Михаил Аркадьевич, доктор физико-математических наук, профессор факультета физики и астрономии Университета штата Миннесота (США), эксперт в физике высоких энергий. Лауреат премии Гумбольдта (1993), премии Сакураи (1999), Лилиенфельда (2006). 19 сентября 2013 г. в ИТЭФ ему будет вручена премия Померанчука 2013 года.
Тема: "Физика высоких энергий: настоящее и будущее".
Леон Арменович Тахтаджян -- доктор физико-математических наук, профессор математического факультета университета Стони Брук штата Нью-Йорк, США, ведущий научный сотрудник Международного математического института им. Л. Эйлера в Санкт-Петербурге. Декан математического факультета университета Стони Брук (2009-2013), председатель комитета Отделения математических наук РАН по реорганизации института им. Л. Эйлера. .
Математик, профессор Независимого московского университета,
офицер Ордена академических пальм Французской Республики, лауреат премии Правительства РФ в области образования
Тема: "Теорема Геделя о неполноте"