scientific article; zbMATH DE number 1964695

MaRDI QIDQ4420197zbMATH OpenFDO

Authors Martin Davis

Publication date 14 August 2003

zbMATH Keywords

computersLeibnizTuring

Mathematics Subject Classification ID

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

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

(11)

• Why there is no such discipline as hypercomputation
• Parikh and Wittgenstein
• My Life as a Logician
• scientific article; zbMATH DE number 5672698 (Why is no real title available?)
• scientific article; zbMATH DE number 5709237 (Why is no real title available?)
• From Philosophical to Industrial Logics
• Picturing Lovelace, Babbage, and the Analytical Engine: a cartoonist in mathematical biography
• From Schütte’s Formal Systems to Modern Automated Deduction
• scientific article; zbMATH DE number 5029307 (Why is no real title available?)
• A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length
• Turing's influence on programming. Book extract from ``The dawn of software engineering: from Turing to Dijkstra [Zbl 1328.68010]

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)