|
|
Теорема Гёделя о неполноте |
| Успенский В. А. |
| год издания — 1982, кол-во страниц — 112, тираж — 100000, язык — русский, тип обложки — мягк., масса книги — 80 гр., издательство — Физматлит |
| серия — Популярные лекции по математике |
|
Сохранность книги — хорошая
Формат 84x108 1/32. Бумага типографская №3. Печать высокая |
| ключевые слова — логик, гёдел, неполнот, алгоритмов |
Брошюра посвящена одному из наиболее замечательных достижений математической логики — теореме Гёделя о неполноте формальной арифметики. В ней излагается доказательство теоремы Гёделя, опирающееся на теорию алгоритмов. Брошюра рассчитана на школьников старших классов, студентов младших курсов и на всех интересующихся логическими проблемами математики.
|
Книги на ту же тему- Математическая логика, Клини С. К., 1973
- Алгебра логики в задачах, Гиндикин С. Г., 1972
- Теория алгоритмов: основные открытия н приложения, Успенский В. А., Семёнов А. Л., 1987
- Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975
|
|
|
