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