3 ms·
Martin Davis Has Died
- twangist 4y agoSupplemental reading, with much more detail about his work (and with 'Turing' spelled properly): https://logicprogramming.org/2023/01/in-memoriam-martin-davis/ https://logicprogramming.org/2023/01/in-memoriam-martin-davi...