scientific article; zbMATH DE number 1964695

MaRDI QIDQ4420197zbMATH OpenFDO

Authors Martin Davis

Publication date 14 August 2003

zbMATH Keywords

TuringLeibnizcomputers

Mathematics Subject Classification ID

History of computer science (68-03) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) Turing machines and related notions (03D10) General histories, source books (01A05)

Recommendations

• scientific article; zbMATH DE number 4074999
• scientific article; zbMATH DE number 4039834
• When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
• The mathematical origins of modern computing
• Logical Approaches to Computational Barriers
• scientific article; zbMATH DE number 432645
• Publication:4205404
• scientific article; zbMATH DE number 1926652
• scientific article; zbMATH DE number 5672698
• The mathematics of computing between logic and physics

Cited in

(10)

• scientific article; zbMATH DE number 5672698 (Why is no real title available?)
• From Schütte’s Formal Systems to Modern Automated Deduction
• A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length
• Parikh and Wittgenstein
• My Life as a Logician
• scientific article; zbMATH DE number 5029307 (Why is no real title available?)
• Why there is no such discipline as hypercomputation
• From Philosophical to Industrial Logics
• Picturing Lovelace, Babbage, and the Analytical Engine: a cartoonist in mathematical biography
• scientific article; zbMATH DE number 5709237 (Why is no real title available?)

This page was built for publication:

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