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: email@example.com|
|Posted: October 25, 2009||URL: http://www.math.neu.edu/bhmn/friedman09.html|