Since it's Caturday, I thought I'd make a proof theory lolcat.

As Gary Hardcastle and Alan Richardson reminded me, today is both Rudolf Carnap's and Bertrand Russell's birthday.

(xkcd has funny ALT tags on their panels; go to the site to see them.)

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