Tesi ëd Church

Da Wikipedia.
Drapò piemontèis.png Vos an lenga piemontèisa
Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì


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.