Тезис Гьоделя. Теорема Черча

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