Карта словосочетания «нумерация гёделя»

Ассоциации со словом «нумерация гёделя»:

НЕТ АССОЦИАЦИЙ

Синонимы к слову «нумерация гёделя»:

НЕТ СИНОНИМОВ

Предложения со словом «нумерация гёделя»:

НЕТ ПРЕДЛОЖЕНИЙ

Понятия со словосочетанием «нумерация гёделя»

  • Нумерация Гёделя — это функция g, сопоставляющая каждому объекту некоторого формального языка её номер. С её помощью можно явно пронумеровать следующие объекты языка: переменные, предметные константы, функциональные символы, предикатные символы и формулы, построенные из них. Построение нумерации Гёделя для объектов теории называется арифметизацией теории — оно позволяет переводить высказывания, аксиомы, теоремы, теории в объекты арифметики. При этом требуется, чтобы нумерация g была эффективно вычислимой...
  • (все понятия)
а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я