Тезис на Чърч: Разлика между версии
Изтрито е съдържание Добавено е съдържание
предишната версия беше пълна глупост ! |
мРедакция без резюме |
||
Ред 1:
'''Тезисът на Чърч''', по името на американският логик [[Алонсо Чърч]] твърди, че всички дефиниции на понятието формален метод (алгоритъм, ефективна процедура) са еквивалентни.
Нарича се тезис, защото не е аксиома, не е и математическа теорема, а подобно на физическите закони изразява експериментален опит - всяка нова конструкция на изчисляващо устройство се оказва еквивалентна на коя де е от известните схеми за изчисление (примерно на [[Машина на Тюринг]]).
|