Теорема Геделя в простых доступных формах.

[deep_econom]

Теорема Геделя в простых доступных формах.

В.А. Успенский, Теорема Гёделя о неполноте, Популярные Лекции по Математике, 57, Наука, М., 1982 , 112 с.
https://math.ru/lib/plm/57

В. А. Успенский, “Теорема Гëделя о неполноте в элементарном изложении”, УМН, 29:1(175) (1974)
https://www.mathnet.ru/rus/rm4322

ps1 (дополнения)

https://www.mathnet.ru/php/person.phtml?personid=20219&option_lang=rus
Успенский Владимир Андреевич
(1930-2018)
профессор, доктор физико-математических наук (1964)

===
В. А. Успенский, “Теорема Гëделя о неполноте и четыре дороги, ведущие к ней”, Матем. просв., 15, Изд-во МЦНМО, М., 2011, 35-75

Теорема Гёделя - синтаксическая версия. В. А. Успенский
Летняя школа «Современная математика», 2010, 19 июля 2010 г.

В.А. Успенский, Теорема Гёделя о неполноте, Популярные Лекции по Математике, 57, Наука, М., 1982 , 112 с.
https://math.ru/lib/plm/57

В. А. Успенский, “Теорема Гëделя о неполноте в элементарном изложении”, УМН, 29:1(175) (1974)
https://www.mathnet.ru/rus/rm4322

===
2. Теорема Гёделя о неполноте и четыре дороги, ведущие к ней. Лекция третья
В. А. Успенский
Летняя школа «Современная математика», 2007
22 июля 2007 г. 11:30 Доступна видеозапись доклада

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

14. Теорема Гёделя о неполноте и четыре дороги, ведущие к ней. Лекция первая
В. А. Успенский
Летняя школа «Современная математика», 2007
20 июля 2007 г. 09:40 Доступна видеозапись доклада
==

ps2
Ликбез. Теория моделей. Теории, формальные системы.
https://deep-econom.livejournal.com/858295.html

Метаматематика. Литература.
https://deep-econom.livejournal.com/917256.html