bio | website | finitism.org |
---|---|---|

location | The Netherlands | |

age | 45 | |

visits | member for | 4 years, 4 months |

seen | yesterday | |

stats | profile views | 2,804 |

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).

MathOverflow | 654 rep | 1613 | |

Mathematics | 101 rep | 2 |

This user has no active bounties

# 30 Votes Cast

all time | by type | ||||
---|---|---|---|---|---|

28 | up | 13 | question | ||

2 | down | 17 | answer |