Unprovable theorems |
Abstract:
An unprovable theorem is a theorem about basic mathematical objects
that can only be proved using more than the usual axioms for mathematics
(ZFC = Zermelo Frankel set theory with the Axiom of Choice). The highlight of the talk is the presentation
of a new unprovable theorem that involves only the usual ordering of the rationals,
vectors of rationals, and the +1 function on rationals. |
Web page: Alexandru I. Suciu | Comments to: alexsuciu@neu.edu | |
Posted: October 25, 2009 | URL: http://www.math.neu.edu/bhmn/friedman09.html |