Тезис на Чърч: Разлика между версии

'''Тезисът на Чърч''' (също като '''Тезис на Чърч-Тюринг''' <ref>[http://www.fmi.uni-sofia.bg/education/bachelors/Opisanie_na_zad_kursove_po_razpisa/41a43e43c43f44e44244a44043d438-43d43044343a438-43e43f43844143043d43844f-2008-2009-433/KN-EAI.pdf Курсове], ФМИ, [[Софийски университет]], линк от 16-01-2010</ref> или '''Теза на Чърч-Тюринг''' <ref>[http://fa.tu-sofia.bg/DPD/courses/SIP/SIP_L01_07.pdf Курс по Изкуствен Интелект], [[Технически университет - София]], линк от 16-01-2010</ref>), по името на американскиятамериканския логик [[Алонсо Чърч]] и [[Тюринг]], в теория на [[Изчислимост|изчислимосттаизчислимост]]та е комбинирана [[хипотеза]] („тезис“) за природата на ефективно изчислимите функции чрез [[рекурсия]] (тезис на Чърч), чрез механичен способ, еквивалентен на [[машина на Тюринг]] (тезис на Тюринг) или чрез употреба на ламбда-изчисление на Чърч.

Тезисът на Чърч по-конкретно твърди, че всички дефиниции на понятието формален метод (алгоритъм, ефективна процедура) са еквивалентни.

Нарича се тезис, защото не е [[аксиома]], не е и математическа [[теорема]], а подобно на физическите закони изразява [[Експеримент|експерименталенексперимент]]ален опит – всяка нова конструкция на изчисляващо устройство се оказва еквивалентна на коя да е от известните схеми за изчисление (например на машина на Тюринг).