Tesi ëd Church

Dël 1936, Church a propon l'identificassion dël concet antuitiv ëd calcolabilità efetiva con la nossion formal d'arcorensa.
Dapress Kleene, cost enonsià a l'ha pijà ël nòm ëd tesi ëd Church.
Tutun a l'era già stàit antissipà da Babbage.

Na definission alternativa ëd calcolabilità efetiva a ven da Turing (1936, tesi ëd Turing) ch'a l'ha ëdcò dimostrà che le fonsion calcolàbij conforma a soa definission a son j'istesse che cole ëd Church.

Categorìa:Teorìa dl'arcorensa