The universal computer. The road from Leibniz to Turing

MaRDI QIDQ4597322zbMATH OpenFDO

Authors Martin Davis

Publication date 12 December 2017

Full work available at URL https://www.taylorfrancis.com/books/9781351384827

zbMATH Keywords

BooleFregeTuringLeibnizHilbertCantorcomputersGödel

Mathematics Subject Classification ID

History of mathematics in the 18th century (01A50) History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of computer science (68-03)

Recommendations

• The universal computer. The road from Leibniz to Turing.
• scientific article; zbMATH DE number 1521550
• The great formal machinery works. Theories of deduction and computation at the origins of the digital age
• scientific article; zbMATH DE number 1570475
• Origins and foundations of computing. In cooperation with Heinz Nixdorf MuseumsForum. With editorial assitance from Norbert Ryska

Cited in

(10)

• Geschichten der Informatik
• The logician and the engineer. How George Boole and Claude Shannon created the information age
• scientific article; zbMATH DE number 1521550 (Why is no real title available?)
• scientific article; zbMATH DE number 5709237 (Why is no real title available?)
• The great formal machinery works. Theories of deduction and computation at the origins of the digital age
• What is the Church-Turing Thesis?
• scientific article; zbMATH DE number 7085039 (Why is no real title available?)
• Origins and foundations of computing. In cooperation with Heinz Nixdorf MuseumsForum. With editorial assitance from Norbert Ryska
• Technology and mathematics. Philosophical and historical investigations
• The Universal Machine

This page was built for publication: The universal computer. The road from Leibniz to Turing

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