Welcome to Philosophy
Jordan Bohall and Jim Keller are each recipients of a Beckman Institute Cognitive Science/Artificial Intelligence Award. Jordan will travel to this year's Intersem conference in Paris to study the notion of definition in mathematical practice. Jim will begin constructing a database of mathematical proofs in order to facilitate the study of the features of proofs that mathematicians regard as valuable.
Thu, 06 Feb 2014