Physical computation and first-order logic

DOI10.1007/978-3-319-92402-1_9OpenAlexW2803147981MaRDI QIDQ1647323

Richard Whyman

Publication date: 26 June 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-92402-1_9

zbMATH Keywords

computability theorycomputable analysisChurch-Turing thesishypercomputationphysical computationBlum-Shub-Smale machines

Mathematics Subject Classification ID

Logic in computer science (03B70) Computation over the reals, computable analysis (03D78) Other nonclassical models of computation (68Q09)

This page was built for publication: Physical computation and first-order logic