Difference between revisions of "Talk:3201: Proof Without Content"

Explain xkcd: It's 'cause you're dumb.
Jump to: navigation, search
(Circular reasoning in proof)
 
(7 intermediate revisions by 6 users not shown)
Line 4: Line 4:
  
 
Proof without Content seems to be a play of words for [https://en.wikipedia.org/wiki/Proof_without_words]Proof without Words
 
Proof without Content seems to be a play of words for [https://en.wikipedia.org/wiki/Proof_without_words]Proof without Words
 +
 +
The comic pokes fun at a common situation found in mathematics books. The students sees a statement with a very short proof that doesn't make sense since it's been summarized in a way that is helpful for people already familiar with the theorem. For instance: "prime numbers larger than 2 are odd". Proof: "even numbers are divisible by 2". The student is expected to know that a number divisible by 2 is not prime, but that's most likely something that comes up later in the same book, or sometimes not explained at all.
 +
In the comic the "short" proof is taken to the absurd level of being completely empty. What mathematical statement can be proven with a completely empty proof? The fact that there exists comics which have statements with empty proofs. It is both a joke about difficult to understand proof in math books and also a meta-mathematics joke as the proof is talking about itself.
 +
The title text pokes even more fun at maths books where many important theorems are stated and are given to the students as useful facts but with no proof, stating that demonstrating the truth of the statement is so easy it is "left as an exercise for the reader". This common scenario frustrates students because in some cases the "exercise" is extremely difficult to do.
 +
The only "proof without content of a conjecture without content" is a blank page altogether, which clearly exists, so the statement is true, even if meaningless.
 +
:I don't recall that problem with such a proof. Usually the statement about primes being odd comes after giving the definition of prime and composite numbers. From that, being divisible by 2 clearly makes a number composite. [[User:Barmar|Barmar]] ([[User talk:Barmar|talk]]) 19:31, 30 January 2026 (UTC)
 +
::You must be very smart. [[Special:Contributions/2600:1700:2120:5880:C885:5DAF:EFD8:EADF|2600:1700:2120:5880:C885:5DAF:EFD8:EADF]] 22:12, 30 January 2026 (UTC)
 +
 +
I really do not get that title text. I put an attempt at understanding it down but it may have gone over my head [[User:R128|R128]] ([[User talk:R128|talk]]) 17:58, 30 January 2026 (UTC)
 +
 +
The comic demonstrates a proof without content, but is it a <i>convincing</i> proof? [[User:Barmar|Barmar]] ([[User talk:Barmar|talk]]) 19:33, 30 January 2026 (UTC)
 +
:If it is, then yes. QED. ;) [[Special:Contributions/81.179.199.253|81.179.199.253]] 21:14, 30 January 2026 (UTC)
 +
 +
I think the tautological nature of the proof could be better explained. If the blank image is interpreted as a correct proof, it proves the notion that a blank image can prove a conjecture. [[Special:Contributions/2600:4041:2E5:B900:6C41:5AFB:89D1:F216|2600:4041:2E5:B900:6C41:5AFB:89D1:F216]] 22:11, 30 January 2026 (UTC)
 +
 +
Isn't this proof using circular reasoning? The proof is only convincing if the conjecture that an empty proof can be convincing is correct. [[Special:Contributions/73.222.207.213|73.222.207.213]] 23:26, 30 January 2026 (UTC)

Latest revision as of 23:26, 30 January 2026


First. Would be funny to have an explanation along the lines of "It is possible to give an explanation with no content. Here's how:" R128 (talk) 17:44, 30 January 2026 (UTC)

Proof without Content seems to be a play of words for [1]Proof without Words

The comic pokes fun at a common situation found in mathematics books. The students sees a statement with a very short proof that doesn't make sense since it's been summarized in a way that is helpful for people already familiar with the theorem. For instance: "prime numbers larger than 2 are odd". Proof: "even numbers are divisible by 2". The student is expected to know that a number divisible by 2 is not prime, but that's most likely something that comes up later in the same book, or sometimes not explained at all. In the comic the "short" proof is taken to the absurd level of being completely empty. What mathematical statement can be proven with a completely empty proof? The fact that there exists comics which have statements with empty proofs. It is both a joke about difficult to understand proof in math books and also a meta-mathematics joke as the proof is talking about itself. The title text pokes even more fun at maths books where many important theorems are stated and are given to the students as useful facts but with no proof, stating that demonstrating the truth of the statement is so easy it is "left as an exercise for the reader". This common scenario frustrates students because in some cases the "exercise" is extremely difficult to do. The only "proof without content of a conjecture without content" is a blank page altogether, which clearly exists, so the statement is true, even if meaningless.

I don't recall that problem with such a proof. Usually the statement about primes being odd comes after giving the definition of prime and composite numbers. From that, being divisible by 2 clearly makes a number composite. Barmar (talk) 19:31, 30 January 2026 (UTC)
You must be very smart. 2600:1700:2120:5880:C885:5DAF:EFD8:EADF 22:12, 30 January 2026 (UTC)

I really do not get that title text. I put an attempt at understanding it down but it may have gone over my head R128 (talk) 17:58, 30 January 2026 (UTC)

The comic demonstrates a proof without content, but is it a convincing proof? Barmar (talk) 19:33, 30 January 2026 (UTC)

If it is, then yes. QED. ;) 81.179.199.253 21:14, 30 January 2026 (UTC)

I think the tautological nature of the proof could be better explained. If the blank image is interpreted as a correct proof, it proves the notion that a blank image can prove a conjecture. 2600:4041:2E5:B900:6C41:5AFB:89D1:F216 22:11, 30 January 2026 (UTC)

Isn't this proof using circular reasoning? The proof is only convincing if the conjecture that an empty proof can be convincing is correct. 73.222.207.213 23:26, 30 January 2026 (UTC)