3 ms·

BB(745) being independent of ZFC isn’t due to incompleteness theorems. It encodes a different theorem which is also independent of ZFC. https://scottaaronson.b

• Sniffnoy 2y ago
  Well, that post is about 8000, not 745; but yes, in general, you are not going to use a Gödel sentence when trying to drive down the record. This isn't disagreeing with what I was saying, though; I said incompleteness requires there is some such n, and then also said what we know about the record, I didn't say the record comes from a Gödel sentence.
  • srcreigh 2y ago
    You are right, sorry about that :-) Hope my comment addresses a common confusion despite its unnecessarily corrective tone.