Book Review:
#HistoryOfLogic #HistoryOfMathematics 'HistoryOfComputing
https://thonyc.wordpress.com/2023/07/26/when-is-an-algorithm-not-an-algorithm/
#historyoflogic #historyofmathematics
#OTD 100 years ago David Hilbert :hilbert: gave the first recognizably model-theoretic argument in the modern tradition of first-order logic: #xp #HistoryOfLogic