Матэнциклопедия Источник МатэнциклопедииПубликацияДокумент

Введение в метаматематику

http://libmeta.ru/resource/mathenc/publication/p1684

Данные

bibliographicCitation

Клини С. К., Введение в метаматематику, пер. с англ., М., 1957

автор

Клини С. К.

Входящие связи

← ссылается на · 29

Алгоритмов сочетания Алгоритмов эквивалентность Антиномия Арифметизация Арифметика формальная Вывод Вычислимая функция Генцена формальная система Гёделя теорема о неполноте Гёделя теорема о полноте Дедукции теорема Индукции аксиома ещё 17

← цитирует · 29

Алгоритмов сочетания Алгоритмов эквивалентность Антиномия Арифметизация Арифметика формальная Вывод Вычислимая функция Генцена формальная система Гёделя теорема о неполноте Гёделя теорема о полноте Дедукции теорема Индукции аксиома ещё 17