Church Alonzo

Church Alonzo

Church 〈cèrcë〉 Alonzo [STF] (n. Washington 1903) Prof. di logica matematica nell'univ. di Princeton (1947) e nell'univ. della California, a Los Angeles (1967). ◆ [FAF] Tesi, o ipotesi, di C.: enunciata da C. nel 1936, afferma che ogni funzione effettivamente calcolabile, cioè ogni predicato decidibile, è ricorsiva generale. La tesi di C. e l'affermazione inversa (cioè che ogni funzione ricorsiva è effettivamente calcolabile) non si possono né dimostrare, né confutare, ma solo rendere accettabili con argomenti di carattere sperimentale; esse precisano la nozione di procedimento effettivo di calcolo: v. Gödel, teorema di: III 58 f.