BusyBeaver(6) Is Quite Large

Re:BusyBeaver(6) Is Quite Large by throwaway81523 on Sunday June 29, 2025 @02:34AM (#44410775)

> It boggles my mind that we ever thought a small amount of text that fits comfortably on a napkin (the axioms of ZFC) would ever be “good enough” to capture the arithmetic truths or approximate those aspects of physical reality that are primarily relevant to the endeavors of humanity.

ZFC is way overpowered for that. https://mathoverflow.net/questions/39452/status-of-harvey-fr...

[ Parent | on HN ]

Re:BusyBeaver(6) Is Quite Large by Xcelerate on Sunday June 29, 2025 @08:28AM (#44412554)

I don’t understand your post. You’re linking to a discussion about the same conjecture I mentioned in another comment 11 hours prior to your comment. Did you mean to link something else?

[ Parent | on HN ]

Re:BusyBeaver(6) Is Quite Large by throwaway81523 on Sunday June 29, 2025 @05:06PM (#44416413)

I didn't notice your other post mentioning the conjecture. Anyway, one thing it might mean is that we humans have a very limited understanding of mathematics.

[ Parent | on HN ]