scientific article; zbMATH DE number 4039834

zbMATH Open0638.01013MaRDI QIDQ3778705FDOQ3778705

Authors: Martin Davis 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4074999
• From the \textit{Entscheidungsproblem} to the personal computer -- and beyond
• scientific article; zbMATH DE number 4047644
• scientific article; zbMATH DE number 4084979
• scientific article; zbMATH DE number 4072919

zbMATH Keywords

computabilityTuring machinescomputer scienceChurchGödelJ. von Neumann

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of computer science (68-03) History of mathematical logic and foundations (03-03)

Cited In (16)

• Title not available (Why is that?)
• The mathematical origins of modern computing
• Title not available (Why is that?)
• Title not available (Why is that?)
• Alan Turing's \textit{Systems of logic}. The Princeton thesis. Edited and introduced by Andrew W. Appel
• Haskell before Haskell: Curry's contribution to programming (1946--1950)
• Title not available (Why is that?)
• Title not available (Why is that?)
• From the \textit{Entscheidungsproblem} to the personal computer -- and beyond
• The great formal machinery works. Theories of deduction and computation at the origins of the digital age
• Title not available (Why is that?)
• Title not available (Why is that?)
• Seventy Years of Computer Science
• The Principles of Large-Scale Computing Machines
• The invention of the universal electronic computer—how the Electronic Computer Revolution began
• Title not available (Why is that?)

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 Q3778705)