Logician, historian and philosopher of logic, mathematics, and computability

Lurking only on this account. Follow me at @richardzach.org instead. Also follow @ap.brid.gy so I can follow you back