654 reputation
1613
bio website finitism.org
location The Netherlands
age 46
visits member for 4 years, 5 months
seen Oct 15 at 12:05
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).