MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
I thought I was good in math, but then I see all the questions and answers and I doubt.
Interest in repairing Hilbert's program, by adding extra axioms, such as the constructive omega rule.
I believe that PI2 sentences, are the only fundamental mathematical problems. All mathematical problems that can not be expressed as PI2 sentence, is to my opinion, meta-mathematics (that does not imply that it has lower value).
