" Beyond " Turing computability: a historical perspective

Abstract : 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).
Complete list of metadatas

https://hal.archives-ouvertes.fr/cel-01345597
Contributor : Liesbeth de Mol <>
Submitted on : Thursday, July 14, 2016 - 1:40:28 PM
Last modification on : Tuesday, July 3, 2018 - 11:48:54 AM
Long-term archiving on : Saturday, October 15, 2016 - 10:50:14 AM

Identifiers

  • HAL Id : cel-01345597, version 1

Collections

Citation

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

Share

Metrics

Record views

195

Files downloads

161