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

Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back

[bridged from https://mathstodon.xyz/@rrrichardzach on the fediverse by https://fed.brid.gy/ ]