" Beyond " Turing computability: a historical perspective

Liesbeth de Mol (1)

1 STL - Savoirs, Textes, Langage (STL) - UMR 8163

In this talk I will review the positions of Church and Post on computability, contrast them with Turing's and explain why their models have had an important impact on early programming practices (in contrast to Turing's).

Mots clés: history and philosophy of computability; Church-Turing thesis; Emil Post

Domaines: Histoire, Philosophie et Sociologie des sciences; Informatique [cs]

Liesbeth de Mol. " Beyond " Turing computability: a historical perspective. Doctoral. Belgium. 2016. ⟨cel-01345597⟩