6 ms·
Yeah. In the most egregious case it could come down to simply listing the numbers that we have proofs for. Another interesting thought is whether we can prove
by srcreigh 3y ago
Yeah. In the most egregious case it could come down to simply listing the numbers that we have proofs for.
Another interesting thought is whether we can prove the limit of say ZFC in busy beaver numbers with just ZFC. We have BB(745) limit for ZFC. It would be fascinating if “BB(20) is independent of ZFC” turns out to be independent of ZFC as well.