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

 

Тезисы:

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

 

 

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

Еще похожие работы

Предметы

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

 

 

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