van Atten on Intuitionistic Logic, Brouwer Stamp
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):
posted by Richard Zach @ 3:57 AM
2 Comments
Links to this post
2 Comments:
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
Post a Comment
Links to this post:
Create a Link
<< Home