Event Detail
Sat Dec 1, 2012 60 Evans Hall 12:10–2 AM |
Logic Colloquium Martin Davis (New York University, University of California Berkeley) Pragmatic Platonism |
It will be argued that Platonism in mathematics comes from the empirical fact of the success of mathematicians in dealing with the infinite and not from metaphysical speculation. Thus, absolute certainty is no more to be expected of mathematical knowledge than it is of empirical science.