from
Hacker News
Top
New
Martin Davis Has Died
by
nicklaf
on 1/9/23, 2:45 AM with 1 comments
by
twangist
on 1/9/23, 6:33 AM
Supplemental reading, with much more detail about his work (and with 'Turing' spelled properly):
https://logicprogramming.org/2023/01/in-memoriam-martin-davi...