Since it's Caturday, I thought I'd make a proof theory lolcat.
Month: May 2007
Happy Birthday Rudolf, Happy Birthday Bertrand!
As Gary Hardcastle and Alan Richardson reminded me, today is both Rudolf Carnap's and Bertrand Russell's birthday.
Why I Like Teaching Logic
(xkcd has funny ALT tags on their panels; go to the site to see them.)
Interpolations
A conference in honor of William Craig Craig's interpolation theorem is part of the standard logic curriculum. This and other results of Craig's have had a profound significance in logic, philosophy of science, philosophy of logic, and computer science. Six internationally distinguished speakers will reflect on the importance and impact of Craig's work: Solomon Feferman … Continue reading Interpolations