Penn Arts & Sciences Logo

Logic and Computation Seminar

Monday, October 22, 2001 - 4:27pm

Peter Freyd

Penn

Location

University of Pennsylvania

DRL 4C8

Physicists know how to integrate over all possible paths, computer-vision experts want to assign probabilities to arbitrary scenes, and numerical analysts act as if some continuous functions are more typical than others. In these three disparate cases, a more flexible notion of integration is being invoked than is possible in the traditional foundations for mathematics. If allowed to enter a highly speculative mode, such as the intersection of category theory and computer science, we may bump into some solutions to the problem.