LibreTechni.ca
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
xkcd bot@lemmy.worldB to xkcd@lemmy.worldEnglish · 3 months ago

xkcd #3201: Proof Without Content

imgs.xkcd.com

message-square
10
fedilink
226

xkcd #3201: Proof Without Content

imgs.xkcd.com

xkcd bot@lemmy.worldB to xkcd@lemmy.worldEnglish · 3 months ago
message-square
10
fedilink

xkcd #3201: Proof Without Content

Title text:

There’s also a proof without content of a conjecture without content, but it’s left as an exercise for the reader.

Transcript:

Transcript will show once it’s been added to explainxkcd.com

Source: https://xkcd.com/3201/

explainxkcd for #3201

alert-triangle
You must log in or register to comment.
  • desiccated_event@piefed.blahaj.zone
    link
    fedilink
    English
    arrow-up
    36
    ·
    3 months ago

    There really is an XKCD for everything.

  • palordrolap@fedia.io
    link
    fedilink
    arrow-up
    9
    ·
    3 months ago

    That blank box is a proof if and only if it is a proof. That makes it a self-reference and has no truth value.

  • [object Object]@lemmy.ca
    link
    fedilink
    English
    arrow-up
    6
    ·
    3 months ago

    I suppose a boltsman brain could come into existence with a proof of the Poincare conjecture in it’s mind, then poof out of existence.

    • wolframhydroxide@sh.itjust.works
      link
      fedilink
      English
      arrow-up
      3
      ·
      2 months ago

      Isn’t the idea of a Boltzmann Brain not that it poofs out of existence, but that there is no way to prove that you are not a Boltzmann Brain, and all of your perceived experiences could be confabulation? In such a scenario the Brain needn’t poof out of existence; merely continuing to exist for but a moment would belie the true nature of their consciousness, as the brain quickly suffocates and dies, losing its contents.

      • [object Object]@lemmy.ca
        link
        fedilink
        English
        arrow-up
        1
        ·
        2 months ago

        I’ve heard it both ways.

        It’s far more likely you aren’t a boltsman brain and that one has never existed.

  • this@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    5
    ·
    3 months ago

    A white square still counts as content.

  • SpikesOtherDog@ani.social
    link
    fedilink
    English
    arrow-up
    3
    ·
    3 months ago

    The proof cannot exist without the conjecture.

  • GraniteM@lemmy.world
    link
    fedilink
    English
    arrow-up
    2
    ·
    3 months ago

    But that’s not a convincing proof.

  • Hamartiogonic@sopuli.xyz
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    3 months ago

    It’s the trivial proof.

  • NachBarcelona@piefed.social
    link
    fedilink
    English
    arrow-up
    1
    ·
    2 months ago

    But that’s both words and content. It’s contradictory.

xkcd@lemmy.world

xkcd@lemmy.world

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !xkcd@lemmy.world

A community for a webcomic of romance, sarcasm, math, and language.

Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 292 users / day
  • 1.57K users / week
  • 2.57K users / month
  • 6.48K users / 6 months
  • 1 local subscriber
  • 16.1K subscribers
  • 238 Posts
  • 2.02K Comments
  • Modlog
  • mods:
  • koraro@lemmy.world
  • BE: 0.19.5
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org