Algorithms and the Mathematical Foundations of Computer Science

DOI10.1093/acprof:oso/9780198759591.003.0002zbMath1433.03108OpenAlexW2239392219MaRDI QIDQ5221589

Walter Dean

Publication date: 2 April 2020

Published in: Gödel's Disjunction (Search for Journal in Brave)

Full work available at URL: http://wrap.warwick.ac.uk/74181/7/WRAP_Dean2016a.pdf

zbMATH Keywords

algorithmcomputabilityChurch thesis

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of algorithms (68W01) General topics in the theory of computing (68Q01)

Related Items (2)

Execution trace sets for real computation ⋮ The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian

This page was built for publication: Algorithms and the Mathematical Foundations of Computer Science