Department of Philosophy Features


2/6/2014  2:00 pm

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.