252
you are viewing a single comment's thread
view the rest of the comments
[-] turbowafflz@lemmy.world 4 points 1 day ago

Is it? I could be convinced but I'm going to need a proof before I believe that

[-] FishFace@piefed.social 3 points 1 day ago

You have the explanation, but more precisely: the set of definable real numbers is countable, because a mathematical definition can be encoded as a finite sequence of mathematical symbols (of which thereare only finitely many), and so there are only countably many definitions.

Hence most real numbers are undefinable.

By the way, there is a simple proof that all natural numbers are definable: if not, then there is a smallest undefinable number. But "the smallest undefinable natural number" would then be a definition of that number :)

[-] ReginaPhalange@lemmy.world 2 points 1 day ago

I thought that all self referencing proofs are trouble since Russell's paradox

[-] kogasa@programming.dev 2 points 1 day ago

That is true. Naturals are explicitly constructible by definition anyway, but Russell's paradox applies to the concept of "interesting numbers" and is why they can't be well-defined. https://en.wikipedia.org/wiki/Interesting_number_paradox

[-] FishFace@piefed.social 1 points 1 day ago

I hoped someone would make that connection! This one is actually sound but there is a closely related limitative result, the undefinability of truth (attributed to tarski) which uses a "liar sentence" like the "liar set" of Russell's paradox: "this sentence is not true". Of course, liar sentence have been known since ancient times, but it was only in the 20th century when we could give them a mathematical interpretation, rather than a purely logical one.

This means that there is no mathematical definition of what is true about the natural numbers, but there are still definitions of other things, and we can still quantify over those definitions.

[-] nialv7@lemmy.world 3 points 1 day ago

the set of finite length natural language sentences is countable.

[-] MrChewy@lemmy.world 2 points 1 day ago

It's obvious after the chapter and left unexplained as an exercise for the reader

this post was submitted on 26 Jun 2026
252 points (100.0% liked)

Comic Strips

24295 readers
980 users here now

Comic Strips is a community for those who love comic stories.

Rules
  1. πŸ˜‡ Be Nice!

    • Treat others with respect and dignity. Friendly banter is okay, as long as it is mutual; keyword: friendly.
  2. 🏘️ Community Standards

    • Comics should be a full story, from start to finish, in one post.
    • Posts should be safe and enjoyable by the majority of community members, both here on lemmy.world and other instances.
    • Any comic that would qualify as raunchy, lewd, or otherwise draw unwanted attention by nosy coworkers, spouses, or family members should be tagged as NSFW.
    • Moderators have final say on what and what does not qualify as appropriate. Use common sense, and if need be, err on the side of caution.
  3. 🧬 Keep it Real

    • Comics should be made and posted by real human beans, not by automated means like bots or AI. This is not the community for that sort of thing.
  4. πŸ“½οΈ Credit Where Credit is Due

    • Comics should include the original attribution to the artist(s) involved, and be unmodified. Bonus points if you include a link back to their website. When in doubt, use a reverse image search to try to find the original version. Repeat offenders will have their posts removed, be temporarily banned from posting, or if all else fails, be permanently banned from posting.
    • Attributions include, but are not limited to, watermarks, links, or other text or imagery that artists add to their comics to use for identification purposes. If you find a comic without any such markings, it would be a good idea to see if you can find an original version. If one cannot be found, say so and ask the community for help!
  5. πŸ“‹ Post Formatting

    • Post an image, gallery, or link to a specific comic hosted on another site; e.g., the author's website.
    • Meta posts about the community should be tagged with [Meta] either at the beginning or the end of the post title.
    • When linking to a comic hosted on another site, ensure the link is to the comic itself and not just to the website; e.g.,
      βœ… Correct: https://xkcd.com/386/
      ❌ Incorrect: https://xkcd.com/
  6. πŸ“¬ Post Frequency/SPAM

    • Each user (regardless of instance) may post up to five (5 πŸ–) comics a day. This can be any combination of personal comics you have written yourself, or other author's comics. Any comics exceeding five (5 πŸ–) will be removed.
  7. πŸ΄β€β˜ οΈ Internationalization (i18n)

    • Non-English posts are welcome. Please tag the post title with the original language, and include an English translation in the body of the post; e.g.,
      SΓ­, por favor [Spanish/EspaΓ±ol]
  8. 🍿 Moderation

    • We are human, just like most everybody else on Lemmy. If you feel a moderation decision was made in error, you are welcome to reach out to anybody on the moderation team for clarification. Keep in mind that moderation decisions may be final.
    • When reporting posts and/or comments, quote which rule is being broken, and why you feel it broke the rules.
Banned Artists

The following artists are banned from the community.

  1. Jago
  2. Stonetoss
  3. GPrime85

It should be noted that when you make reports, it is your responsibility to provide rational reasoning why something should be removed. Saying it simply breaks community rules is not always good enough.

Web Accessibility

Note: This is not a rule, but a helpful suggestion.

When posting images, you should strive to add alt-text for screen readers to use to describe the image you're posting:

Another helpful thing to do is to provide a transcription of the text in your images, as well as brief descriptions of what's going on. (example)

Web of Links

founded 3 years ago
MODERATORS