Теорема UTM

• Теорема UTM в теории вычислимости

  • Теорема утверждает существование универсальной функции, которая может вычислить любую другую вычислимую функцию. 
  • Универсальная функция является абстрактной версией универсальной машины Тьюринга. 

• Теорема Роджера

  • Теорема описывает нумерацию вычислимых функций Геделя через теорему UTM и теорему smn. 
  • Для каждой вычислимой функции существует функция, которая ее аппроксимирует. 

• Универсальная функция u

  • Функция u в формулировке теоремы является универсальной функцией. 

• Рекомендации по форматированию

  • Статья содержит инструкции по форматированию для википедии. 

• Заметка о статье

  • Статья является заглушкой и нуждается в расширении.