Department of Defense Gives Philosopher $7.5m

Steve Awodey, a professor of philosophy at Carnegie Mellon University, has received a $7.5 million grant from the Department of Defense to “reshape the foundations of mathematics by developing a new approach that allows for large-scale formalization and computer verification” and to build on his earlier work showing “a deep and surprising connection between abstract, mathematical geometry and computational logic.” The team of researchers working with Awodey include computer scientists, mathematicians, and fellow CMU philosopher Jeremy Avigad.

Inline Feedbacks
View all comments