Obituary of Martin Davis (1928–2023)

Article Properties
  • DOI (url)
    10.1109/mahc.2023.3241532
  • Publication Date
    2023/01/01
  • Journal
    IEEE Annals of the History of Computing
  • Indian UGC (journal)
  • Refrences
    3
  • Alberto Policriti Dipartimento di Scienze Matematiche, Informatiche e Fisiche, Universitá degli Studi di Udine, Italy
  • Eugenio Omodeo Dipartimento di Matematica e Geoscienze/DMI, Università degli Studi di Trieste, Italy
  • Liesbeth De Mol CNRS, UMR 8163 Savoirs, Textes, Langage, Université de Lille, France
Journal Categories
History (General) and history of Europe
History (General)
Philosophy
Psychology
Religion
Philosophy (General)
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions 1965
Computability and Unsolvability 1958
The Universal Computer: The Road from Leibniz to Turing The American Mathematical Monthly
  • Science: Mathematics
 1 2002