Welcome to Philosophy

Section 1

News & Announcements

Section 2

Calendar of Upcoming Events

There are no upcoming events

Calendar RSS feed| Full calendar
Section 3

Latest Features


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

Publications RSS feed | All News