# Talk:1381: Margin

Line 29: | Line 29: | ||

proof isn't a theorem. | proof isn't a theorem. | ||

17:18, 14 June 2014 (UTC)[[Special:Contributions/108.162.254.138|108.162.254.138]] | 17:18, 14 June 2014 (UTC)[[Special:Contributions/108.162.254.138|108.162.254.138]] | ||

+ | |||

+ | |||

+ | What if the margin text is the compiled form of the proof? [[Special:Contributions/141.101.105.187|141.101.105.187]] 04:46, 15 June 2014 (UTC) |

## Revision as of 04:46, 15 June 2014

Isn't it possible that a mathematician knows about the existance or the proof of something, but doen't know how to technically do it? In this case, the margin remark would be accurate and not so funny. They have found a proof of existance for infinite information compression, but not yet discovered an actual method to do it. 141.101.104.56 05:32, 13 June 2014 (UTC)

- Yes, when there's no example, it's called a pure existence theorem. If you actually demonstrate an example, that is a constructive proof. Mattflaschen (talk) 05:38, 13 June 2014 (UTC)
- Actually the proof of the Shannon-Hartley theorem is non-constructive. It tells you the data rate of the best possible channel coding, but does not tell you how to achieve it! 108.162.215.47 07:58, 13 June 2014 (UTC)

Setting font-size to 0 would be the same as not *printing* any information at all, you'll still use the same number of bits and be able to send the text to other computers which can read the information. The Shannon-Hartley theorem is, as far as I can see from the wikipedia article, about analogue channels anyway. --Buggz (talk) 06:16, 13 June 2014 (UTC)

- The Shannon-Hartley theorem is about sending digital data (over analogue channels but you cannot send them over anything else in real world anyway). Nevertheless, you are right that setting the font size won't change the number of bits needed to be sent (font size specifies the size of the representation, not the information itself) therefore it won't change the limit.
**STEN**(talk) 22:12, 13 June 2014 (UTC)

Isn't this also a reference to Jan Sloot's digital compression mechanism where a movie would fit into 8 kbyte? Kaa-ching (talk) 07:36, 13 June 2014 (UTC)

This was my first time editing Explain XKCD, but I fear I may have went too far in replacing the current explanation of the title-text with my own and removing the incomplete tag. Is it OK? YatharthROCK (talk) 08:10, 13 June 2014 (UTC)

- I think you title text explain seems fine (I have not checked on the Shannon theorem.) But I think it is too soon to make this explain marked as complete. So I have undone that. Great to have one more to edit the explain so keep up the good work. Kynde (talk) 10:46, 13 June 2014 (UTC)

Is the problem behind Fermat's Last Theorem "deceptively simple" or "deceptively difficult"? I've never quite worked out which way it should be. Unlike "cheap at half the price" which really should be "cheap at twice the price" and the effect of putting in the word "only" into "glass ... half full/empty". But I bet you all could care less (or, more accurately, "*couldn't* care less", because you already do not care at all), right? ;) 141.101.98.232 11:44, 13 June 2014 (UTC)

- I believe the correct wording would be "deceptively difficult". Deceptively simple would imply that the problem looked quite difficult on the surface, but once work had begun it was found to be quite simple. Fermat's last theorem goes the other way. It is simply stated with very few elements, so it would seem the proof should be easily constructed, but is actually quite difficult. 173.245.50.72 (talk)
*(please sign your comments with ~~~~)*- Unfortunately "deceptively easy" could also mean the opposite: it's easy, but only as a deception, so it's actually difficult. As of now, not even linguists have settled the question. It is just better to avoid the word unless the context can disambiguate the meaning. 141.101.99.32 05:14, 14 June 2014 (UTC)

Is it at all possible that the exclamation: "oh," represents the discovery of an earlier proof (perhaps even better than the one purported) all ready in the margin? That would explain the next exclamation: "never mind." This is a comic after all. And what's with the unreadable Lorem Ipsum text (perhaps a proof in itself)? Of course, the unhappy face (after "never mind") is a visual image compression mechanism that may deserve comment as well. Run, you clever boy (talk) 14:36, 13 June 2014 (UTC)

- Why bury descriptions of the beautiful inspiration behind these great comics in an afterthought "trivia" section?

I think explanations of the beautiful inspirations for these comics (like Fermat's last theorem, here) should be highlighted in the main part of the article, not buried below the transcript and demeaned with the label "trivia". Nealmcb (talk) 12:46, 13 June 2014 (UTC)

- Well there is a link from the relevant part. The inspiration of this comic is that someone wrote a statement in a margin and did not have space for the proof. It is not the theorem in it self that is the inspiration. Writing about Phytagoras and formulas in the explain is maybe a little too much. I think it belongs well in the trivia section and it is not buried - with this short transcript you can easily see there is more to the explai. Kynde (talk) 05:49, 14 June 2014 (UTC)

"" leading many to believe that he didn't actually possess a (correct) proof"" Of course Fermat did not have a proof. Was that margin the only free piece of paper in France then? For that reason in German one does not speak of Fermats "theorems", but the names used are Fermat's little or resp. big problem. If some nobody had written that margin, of course that would have been named a conjecture at best. Because Fermat was a real "big shot", a medium expression is used: "problem". But never theorem, because a theorem without proof isn't a theorem. 17:18, 14 June 2014 (UTC)108.162.254.138

What if the margin text is the compiled form of the proof? 141.101.105.187 04:46, 15 June 2014 (UTC)