HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Martin Davis Has Died | Hacker News Reader
Martin Davis Has Died
digitalfieldguide.com
3 points
·
nicklaf
·
·
1 comment
Open article
Save
View on HN
twangist
·
Supplemental reading, with much more detail about his work (and with 'Turing' spelled properly):
https://logicprogramming.org/2023/01/in-memoriam-martin-davi...
Reply on news.ycombinator.com