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

Reply to this note

Please Login to reply.

Discussion

Takes less letters to write one trillion than fifteen billions for example.

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.

What do you mean by the second sentence? Like writing ten times ten instead of one hundred ?

Yeah

I don’t know about this. Never saw a maths theorem with letters before. Maybe it’s something for fun

Letters instead of digits. But you get my point

Wish we had voice rn lol. You get the gist. Highlights how even formalized language can lead to basic contradictions if you're not more careful. Came up when reading some stuff today on foundations of math... you'll love my upcoming blog post if you like this. Soontm