Тезис Гьоделя. Теорема Черча - реферат по математике

 

Тезисы:

  • Один из первых результатов такого типа получен Черчем в 1936 году.
  • Черчем эта проблема была решена отрицательно.
  • Теорема Геделя о неполноте.
  • Теперь мы можем определить три формулировки теоремы Гёделя о неполноте следующим образом.
  • Виконав студент 3-го курсу 36 групи Левицький Е.Г.
  • Проблема распознавания выводимости алгоритмически неразрешима.
  • Проблема распознавания самоприменимости.
  • Это вторая проблема, положительное решение которой не найдено до сих пор.
  • Ее суть заключается в следующем.
  • Программу машины Тьюринга можно закодировать каким-либо определенным шифром.

 

 

Похожие работы:

Предметы

Все предметы »

 

 

Актуальные рефераты по математике