3 ms·

> Perhaps another axiomatic system could compute its value? Of course another axiomatic system could. If you could tell us such an axiomatic system for which y

by wolfgke 10y ago

> Perhaps another axiomatic system could compute its value? Of course another axiomatic system could. If you could tell us such an axiomatic system for which you can prove that it can determine the value of BB(7910) and have strong arguments why it is probably consistent (by Gödel one will not be able to prove this property if it is able to express basic arithmetic) mathematicians would love to get to know it, since they really have no idea how such a system might look like.

ikeboy 10y ago
It's easy to specify such a system that's more powerful than ZFC and has strong arguments for its consistency: ZFC+con(ZFC), which is consistent iff ZFC is consistent. And it's easy to go one level up, I.e that system plus it's own consistency. These systems will be stronger than ZFC, and will prove the machine in question halts. Of course, the lowest unknowable from ZFC BB number is probably around BB(15), so likely none of those systems get that high, but they do probably give us more than just ZFC does. See also http://www.scottaaronson.com/blog/?p=697 http://www.scottaaronson.com/blog/?p=697 for some limitations on this. Also, there are large cardinal axioms which imply the consistency of ZFC and are believed to be consistent, but I'm not so familiar with them. I think mathematicians would consider those axioms as "what such a system would look like".
hyperpape 10y ago
I think they do have some ideas. You might look at Believing The Axioms (http://cs.umd.edu/~gasarch/BLOGPAPERS/belaxioms1.pdf http://cs.umd.edu/~gasarch/BLOGPAPERS/belaxioms1.pdf, but it's two parts) which studies set theorists who are investigating new axioms for set theory, especially large cardinal axioms, iirc. Honestly, that work is a ways beyond what I can understand, but it's clear that it's an active area of research. You might also read about Hugh Woodin has a very developed program arguing for axioms which would imply the negation of the Continuum Hypothesis. (This doesn't necessarily apply to this specific question, but in general, research into axiomatic foundations of math is ongoing).

by wolfgke 10y ago

ikeboy 10y ago

It's easy to specify such a system that's more powerful than ZFC and has strong arguments for its consistency: ZFC+con(ZFC), which is consistent iff ZFC is consistent. And it's easy to go one level up, I.e that system plus it's own consistency. These systems will be stronger than ZFC, and will prove the machine in question halts. Of course, the lowest unknowable from ZFC BB number is probably around BB(15), so likely none of those systems get that high, but they do probably give us more than just ZFC does. See also http://www.scottaaronson.com/blog/?p=697 http://www.scottaaronson.com/blog/?p=697 for some limitations on this. Also, there are large cardinal axioms which imply the consistency of ZFC and are believed to be consistent, but I'm not so familiar with them. I think mathematicians would consider those axioms as "what such a system would look like".

hyperpape 10y ago

I think they do have some ideas. You might look at Believing The Axioms (http://cs.umd.edu/~gasarch/BLOGPAPERS/belaxioms1.pdf http://cs.umd.edu/~gasarch/BLOGPAPERS/belaxioms1.pdf, but it's two parts) which studies set theorists who are investigating new axioms for set theory, especially large cardinal axioms, iirc. Honestly, that work is a ways beyond what I can understand, but it's clear that it's an active area of research. You might also read about Hugh Woodin has a very developed program arguing for axioms which would imply the negation of the Continuum Hypothesis. (This doesn't necessarily apply to this specific question, but in general, research into axiomatic foundations of math is ongoing).