The Smallest Non-Computable Busy Beaver Number: Is it Knowable?

[fresh_42]

I don't know why you keep saying it. ... If you reject set theory and logic, then I don't see the point in your posting in this forum.

There is nothing to add.

As long as there is no common base, which has to be first-order logic unless stated otherwise, I can prove that a discussion is meaningless. Repeating false statements doesn't add facts. Furthermore a distinction like

But I tend to think truth is more important than proof.

doesn't make sense in mathematics, because mathematics doesn't search truth, only logical consistent conclusions, which we call proofs, and is philosophically highly undetermined here. For those interested in truth, I refer to https://en.wikipedia.org/wiki/Truth and the links therein - some of which led to other logical systems like constructivism.

Thread remains closed.