University of Calgary

van Atten on Intuitionistic Logic, Brouwer Stamp

Submitted by Richard Zach on July 17, 2008 - 8:57am.

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

I love how they used the
Submitted by lumpy pea coat (not verified) on July 17, 2008 - 9:23am.

I love how they used the *semantic* double turnstile!

I've used a picture of the
Submitted by Anonymous (not verified) on July 20, 2008 - 3:05am.

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