News for hackers. Stuff that matters.

A comment on A number that can't be calculated. Parent comment

Re:A number that can't be calculated by puffoflogic on Tuesday October 25, 2022 @07:21PM (#33337560)
> BB(k) for a specific k is just a number.

That's not as obvious as you might think. The value of BB(800) is independent of ZFC. So it isn't "just a number" if you're working in ZFC.

[ Parent | on HN ]
Re:A number that can't be calculated by dllthomas on Tuesday October 25, 2022 @08:36PM (#33338185)
Hmm... As ZFC specifically cannot identify that number as special (at least as relates to the Busy Beaver function), maybe it is quite specifically "just a number"!
[ Parent | on HN ]