Mark van Atten‘s excellent entry on the history of intuitionistic logic for the Stanford Encyclopedia is out. And last week in Jena, my Carnap Project colleague Steve Awodey got an awesome stamp commemorating the centennial (last year) of Brouwer’s thesis (not from me, so don’t ask):
van Atten on Intuitionistic Logic, Brouwer Stamp
by
Tags:
Comments
2 responses to “van Atten on Intuitionistic Logic, Brouwer Stamp”
-
I love how they used the *semantic* double turnstile!
-
I’ve used a picture of the stamp on my intro to logic exams. (What do the logical symbols mean? Who is on the picture?);-) Dirk
Leave a Reply to Anonymous Cancel reply