Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy

Abstract In his autobiographical essay written in 1999, ‘From logic to computer science and back’, Martin David Davis (1928 3 8–2023 1 1) indicated that he viewed himself as a logician and a computer scientist. He expanded the essay in 2016 and expressed a new perspective through a changed title, ‘M...

Celý popis

Podrobná bibliografie

Vydáno v:	Philosophia mathematica Ročník 33; číslo 3; s. 425 - 450
Hlavní autoři:	De Mol, Liesbeth, Matiyasevich, Yuri V, Omodeo, Eugenio G, Policriti, Alberto, Sieg, Wilfried, Weyuker, Elaine J
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Oxford University Press
ISSN:	0031-8019, 1744-6406
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!