654 reputation
1612
bio website finitism.org
location The Netherlands
age 45
visits member for 3 years, 11 months
seen 13 hours ago
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).