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/ ]
