Correct, but as each is defined here and in under 60 letters, they are excluded from consideration. You're not constrained to writing out the way we say the number, you can use all forms of description.
It's kind of a twist on saying things about statements themselves, leads to contradictions. The classic "this statement is false" type of thing, or "the set of all sets that aren't a memeber of themselves" imo
You're second person to make this point... maybe it's more confusing than I thought.
You can write statements with letters that define numbers, eg "the smallest number greater than 3" defines 4 (in integers).
Take all 60 letter or shorter statements (finitely many). Toss out those that are gibberish or don't define a integer as they're irrelevant, and you have a (even smaller, though besides the point) finite set of sentences, hence integers. That leaves infinitely many not defined by such statements. There is a smallest positive one. Bingo bongo
Being a little snarky since I'm fairly certain you missed something in the post. Mostly a copy.paste from Wikipedia so not likely I am wrong
Yeah, I hope to at least be able to find folks on here for a long time to come
I did see you posting a lot yesterday lol. Glad you're still around in force from time to time
It's not hard to follow, if you just reason it through. Maybe the tricky part is realizing there are finitely many 60 letter or less combinations of letters, a subset of which are meaningful and define a positive integer (rest are gibberish as far as we're concerned). This can only refer to a finite set of numbers, so there are ones not defined. The least of these satisfies above short sentence. Contradiction.
Its a novel twist on a typical flavor of paradox, to me anyway. Neat
New math paradox to me, the Berry Paradox:
"The smallest positive integer not definable in under sixty letters" (a phrase with fifty-seven letters).
Partial explanation: Since there are only twenty-six letters in the English alphabet, there are finitely many phrases of under sixty letters, and hence finitely many positive integers that are defined by phrases of under sixty letters. Since there are infinitely many positive integers, this means that there are positive integers that cannot be defined by phrases of under sixty letters....
Maybe they didn't program it that way and it's just AGI 👀
Easy now. I'm forming a 3rd faction as this two party thing is tearing us apart. All aboard!
Activate the Glacier cold storage protocol. I mean Glacial, accounts payable will know what it means ;)
Guess my "sense" from it was there's a gradual rolling over of funds and power, and may not be so sudden and damaging. Side bonus - BTC moons.
I haven't followed details of bill. Just know it's huge and full of spending and not what anyone hoped for.
Perfect excuse to release my shitty AI meme attempt. Had to keep app open a full 3 minutes for it to render . Hard work
Maybe one more printing bonanza first. War talk down, back to talkin deals... not sure.
You listen to mallers at all? His pod? He had an interesting theory on china/rare earth stuff possibly playing a role in the Iran deescalation. Not directly related to your comment, just an interesting idea (he gave credit to someone else for it but forget who)
Crowdfund maybe. I'd throw 1k ϟ at a good bot
No clue about that lol. Seems our boy Thursday is deep in the gossip rags 🤭
I ain't clicking that first.
nostr:npub1rzg96zjavgatsx5ch2vvtq4atatly5rvdwqgjp0utxw45zeznvyqfdkxve is this safe to click thx
That must be one of their songs I don't know, by name at least. They just sorta hit me at the wrong time, and never fully got on board despite liking a couple songs.
It's too much trouble to find, but there was a funny comedy bit by Pete Holmes on one of their songs that is hilarious. It's that slow song where second voice crashes in with "where are you? .... Spiders!" Miss You song I would guess it's called. Hilarious
Yes, some visine and eye wash packet happened to have around. It's mostly funny, not worried
Combination of luck and stupidity prob
Eh, whatever. I did my part. And I don't think I can log into that site without inputting my nsec (nostash doesn't work), so am reluctant to sign in again and try to fix (also lazy)
Definitely that. Bold move to go after him with a "back to South Africa" lol
He's acting out again. Needs to be "hit" just right, and fall back in line
nostr:note16c9wz38vu06krtryazc4f3wkjdhjzj6z5k09hgve9mzaw9myrwyqnc3yqa
I went to X to see why the late lashing out. Looks like Elon been tweeting about raising deficit ceiling again. Tsk tsk
Unicode plus tagging, that's your jam! I forget why it is now that you have such strong feelings about Unicode, even though you explained it to me once