Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations

DOI10.1007/S00283-018-9809-3MaRDI QIDQ1670971zbMATH OpenOpenAlexFDO

Authors Jan von Plato

Publication date 6 September 2018

Published in The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00283-018-9809-3

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) External book reviews (00A17) History of mathematics in the 20th century (01A60) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10)

Cited in

(2)

• Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics
• Martin Davis on computability, computational logic, and mathematical foundations

This page was built for publication: Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1670971)