Тезис на Чърч
Тезисът на Чърч (също като Тезис на Чърч-Тюринг [1] или Теза на Чърч-Тюринг [2]), по името на американския логик Алонсо Чърч и Тюринг, в теория на изчислимостта е комбинирана хипотеза („тезис“) за природата на ефективно изчислимите функции чрез рекурсия (тезис на Чърч), чрез механичен способ, еквивалентен на машина на Тюринг (тезис на Тюринг) или чрез употреба на ламбда-изчисление на Чърч.
Тезисът на Чърч по-конкретно твърди, че всички дефиниции на понятието формален метод (алгоритъм, ефективна процедура) са еквивалентни.
Нарича се тезис, защото не е аксиома, не е и математическа теорема, а подобно на физическите закони изразява експериментален опит – всяка нова конструкция на изчисляващо устройство се оказва еквивалентна на коя да е от известните схеми за изчисление (например на машина на Тюринг).
Източници редактиране
- ↑ Курсове Архив на оригинала от 2014-11-29 в Wayback Machine., ФМИ, Софийски университет, линк от 16-01-2010
- ↑ Курс по Изкуствен Интелект Архив на оригинала от 2012-12-19 в Wayback Machine., Технически университет - София, линк от 16-01-2010
Външни препратки редактиране
- Copeland, B. Jack. The Church-Turing Thesis // The Stanford Encyclopedia of Philosophy (Winter 2017 Edition), Edward N. Zalta (ed.). Посетен на 18 декември 2017. (на английски) Изчерпателна информация за тезиса на Чърч от Станфордска философска енциклопедия
