|
|
|
|
|
|
by ionfish
5148 days ago
|
|
|
Provability is relative to a formal system. Whether there are _absolutely undecidable_ statements is more controversial, and still an open question in the philosophy of mathematics. Gödel's disjunction is part of this literature: "Either … the human mind … infinitely surpasses the powers of any finite machine, or else there exist absolutely unsolvable diophantine problems." Soloman Feferman has written about this, for instance in a 2006 Philosophia Mathematica paper. http://math.stanford.edu/~feferman/papers/dichotomy.pdf |
|
|