bleh.au
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
xkcd bot@lemmy.worldB to xkcd@lemmy.worldEnglish · 1 month ago

xkcd #3201: Proof Without Content

imgs.xkcd.com

message-square
3
link
fedilink
1

xkcd #3201: Proof Without Content

imgs.xkcd.com

xkcd bot@lemmy.worldB to xkcd@lemmy.worldEnglish · 1 month ago
message-square
3
link
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 # to comment.
  • desiccated_event@piefed.blahaj.zone
    link
    fedilink
    English
    arrow-up
    0
    ·
    1 month ago

    There really is an XKCD for everything.

  • SpikesOtherDog@ani.social
    link
    fedilink
    English
    arrow-up
    0
    ·
    1 month ago

    The proof cannot exist without the conjecture.

  • palordrolap@fedia.io
    link
    fedilink
    arrow-up
    0
    ·
    1 month 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.

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.

  • 8 users / day
  • 58 users / week
  • 189 users / month
  • 214 users / 6 months
  • 0 local subscribers
  • 15.7K subscribers
  • 82 Posts
  • 432 Comments
  • Modlog
  • mods:
  • koraro@lemmy.world
  • BE: 0.19.15
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org