Skip to content

Top Best Ask Show New Jobs

Martin Davis Has Died (opens in new tab)

(digitalfieldguide.com)

3 pointsnicklaf3y ago1 comments

1 comments

1 comments · 1 top-level

Supplemental reading, with much more detail about his work (and with 'Turing' spelled properly): https://logicprogramming.org/2023/01/in-memoriam-martin-davi...

j / k navigate · click thread line to collapse