Существует две теоремы математической логики, доказанные Куртом Гёделем в 1930 году, и названные его именем. Это:
1. Теорема Гёделя о неполноте, которая утверждает «если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула».
2. Вторая теорема Гёделя утверждает, что «если формальная арифметика непротиворечива, то в ней... Читать далее
Увлекаюсь историей, публицистикой и компьютерными играми, а также понемногу всем... · 28 янв 2019
Теорем Геделя не одна, а две.
Формулировка теоремы о неполноте звучит так: для произвольной непротиворечивой формальной и вычислимой теории, в которой можно доказать базовые арифметические высказывания, может быть построено истинноеарифметическое высказывание, истинность которого не может быть доказана в рамках теории.
Формулировка теоремы о непротиворечивости... Читать далее