Tesi ëd Church
 |
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. |
