I find the concept of busy beavers to be extremely interesting and disconcerting because of their surrounding concepts and their baggage.
So BB (10¹⁰⁰) is interesting not because it's large or small but because of the mind-boggling complexity encodable by turing machines with that many states, or that the value of BB (10¹⁰⁰) is so absurd we can't say exactly how big it is without also incidentally saying things about whether ZF(C) is consistent (600 states is already enough to trigger this).
Deen Abiola
npub1z8…4e6ds
2025-08-29 18:15:34 UTC
in reply to nevent1q…9lxe
Author Public Key
npub1z8munguv5pse6fre9nnd7hlk5pm0fywh3yz8sf6leyqck0rkgkrqr4e6dsSeen on
wss://relay.momostr.pinkPublished at
2025-08-29 18:15:34 UTCEvent JSON
{
"id": "b908444d9ed842d5e5d910aa9c586d5dc3cc17b7257a9a848dfd0bff91d2e714",
"pubkey": "11f7c9a38ca0619d24792ce6df5ff6a076f491d7890478275fc9018b3c764586",
"created_at": 1756491334,
"kind": 1,
"tags": [
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/@metarecursive/115113416085917713",
"web"
],
[
"p",
"cf3040c9c9bc844e8be1bad00351e7e8045791112355ba3434e405d498d036cd"
],
[
"e",
"4c240e83194402a5d5fbee1f5b49376f7bd8d5f1d2134d4f1addb67a88bb341b",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"ce113126adccec4d60b66d070d63a250642b9354d97f20c150730922af44c37d",
"",
"reply",
"cf3040c9c9bc844e8be1bad00351e7e8045791112355ba3434e405d498d036cd"
],
[
"proxy",
"https://mathstodon.xyz/users/metarecursive/statuses/115113416085917713",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/metarecursive/statuses/115113416085917713",
"pink.momostr"
],
[
"-"
]
],
"content": "I find the concept of busy beavers to be extremely interesting and disconcerting because of their surrounding concepts and their baggage.\n\nSo BB (10¹⁰⁰) is interesting not because it's large or small but because of the mind-boggling complexity encodable by turing machines with that many states, or that the value of BB (10¹⁰⁰) is so absurd we can't say exactly how big it is without also incidentally saying things about whether ZF(C) is consistent (600 states is already enough to trigger this).",
"sig": "d03de2cd78b70a0974b61880865db83aa5243300a5c76c8908b9b1f88261fc94a8f5710f98c25a033d93221c112e0dfbf8c73c59140b2bd3bb1042f2f6bde9ba"
}