Richard Zach
@richardzach.org
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/ ]
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/ ]
Here he is in 1982 at Tarski's honorary degree ceremony at the University of Calgary
June 30, 2025 at 11:51 PM
Here he is in 1982 at Tarski's honorary degree ceremony at the University of Calgary
Hanging out here for a week with a bunch of proof theorists
August 19, 2024 at 5:41 PM
Hanging out here for a week with a bunch of proof theorists
The display on "science in 1920s Vienna" at #wienmuseum: just the entire Vienna Circle. 10/10, no notes
August 16, 2024 at 7:43 AM
The display on "science in 1920s Vienna" at #wienmuseum: just the entire Vienna Circle. 10/10, no notes
Constructive mathematicians (esp. intuitionists): Why does Brouwer say in https://www.jstor.org/stable/20488578 on p. 115 that \\(\lnot\lnot s_f \to s_f\\)? (Like is this so obvious it needs no explanation and I'm just dense?)
July 18, 2024 at 9:57 PM
Constructive mathematicians (esp. intuitionists): Why does Brouwer say in https://www.jstor.org/stable/20488578 on p. 115 that \\(\lnot\lnot s_f \to s_f\\)? (Like is this so obvious it needs no explanation and I'm just dense?)
Rudolf Carnap Collected Works vol. 7 is out!
July 10, 2024 at 5:00 PM
Rudolf Carnap Collected Works vol. 7 is out!
I feel like a real logician now
July 4, 2024 at 7:56 PM
I feel like a real logician now