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):

2 thoughts on “van Atten on Intuitionistic Logic, Brouwer Stamp

  1. 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 lumpy pea coat Cancel reply

Your email address will not be published. Required fields are marked *