Proofs & Reasons @ CMU
Project Leader Simon DeDeo and Board of Advisors Project Start Date: 1 February 2026
Type Theory over the Island of Samos / StrongBad Says Animated Gifs
Made possible by the support of Grant 63750, “Explaining Universal Truths”, from the John Templeton Foundation.
Additional support from research funds of the Laboratory for Social Minds and from the Survival and Flourishing Fund.
Image: Type Theory over the Island of Samos / cc by-sa/4.0, modified from User:Tomisti. Samos, a nexus of trade between the Greek Aegean and the Near East, was the birthplace of the philosopher Pythagoras, for whom the logical simplicity of mathematical proof was the sense-making principle of the universe. Type theory is the engine beneath modern A.I. systems that can frame, and prove, theorems of human mathematics.
* The opinions expressed in this publication are those of the researchers and do not necessarily reflect the views of the John Templeton Foundation, or any other funder.