Aliens

Čērča tēze

Apgalvojums, ka katra funkcija, kas izrēķināma intuitīvā nozīmē, ir arī daļēji rekursīva.

Čērča ēze nav teorēma, bet eksperimentāls novērojums, ko atzīst par vienu no nozīmīgākajiem XX gs. matemātikas atklājumiem. Tēzes secinājums: ja kādu masu problēmu nevar atrisināt ar algoritmiem, kas raksturoti ar rekursīvām funkcijām, tad vispār nav tāda algoritma, ar kuru varētu atrisināt šo problēmu. Tādejādi rekursīvo funkciju teoriju var interpretēt kā algoritmu teoriju.

Čērča tēzi 1936.gadā publicējis amerikāņu zinātnieks A.Čērčs, tā izturējusi intensīvu pārbaudi kopš 1934.gada - piemēram, apskatītas funkcijas, kas  izrēķināmas ar Tjūringa mašīnas u.c. algoritmu palīdzību; iegūtas ārēji pilnīgi atšķirīgas, taču ekvivalentas rekursīvo funkciju klases definīcijas.