Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

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

Данные

bibliographicCitation

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

author

Клини С. К.

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

← references · 29

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

← cites · 29

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