FedSearch
Thony Christie · @rmathematicus
491 followers · 1411 posts · Server historians.social
Open media

#bookreview #historyoflogic #historyofmathematics #historyofcomputing

Last updated 2 years ago
Original post

Thony Christie · @rmathematicus
485 followers · 1388 posts · Server historians.social
Open media

#historyoflogic #historyofmathematics

Last updated 2 years ago
Original post

Richard Zach · @rrrichardzach
729 followers · 301 posts · Server mathstodon.xyz
Open media

100 years ago David Hilbert :hilbert: gave the first recognizably model-theoretic argument in the modern tradition of first-order logic:

#historyoflogic #xp #otd

Last updated 3 years ago
Original post