A challenge by R. P. Feynman: give counter-intuitive theorems that can be translated into everyday language
The following is a quote from Surely you're joking, Mr. Feynman . The question is: are there any interesting theorems that you think would be a good example to tell Richard Feynman, as an answer to his challenge? Theorems should be totally counter-intuitive, and be easily translatable to everyday language. (Apparently Banach-Tarski paradox was not a good example.)
Then I got an idea. I challenged them: "I bet there isn't a single theorem that you can tell me - what the assumptions are and what the theorem is in terms I can understand - where I can't tell you right away whether it's true or false."
It often went like this: They would explain to me, "You've got an orange, OK? Now you cut the orange into a finite number of pieces, put it back together, and it's as big as the sun. True or false?"
"No holes."
"Impossible!
"Ha! Everybody gather around! It's So-and-so's theorem of immeasurable measure!"
Just when they think they've got me, I remind them, "But you said an orange! You can't cut the orange peel any thinner than the atoms."
"But we have the condition of continuity: We can keep on cutting!"
"No, you said an orange, so I assumed that you meant a real orange."
So I always won. If I guessed it right, great. If I guessed it wrong, there was always something I could find in their simplification that they left out.
soft-question big-list examples-counterexamples
AgCl
$\begingroup$ Your example is more about real-world limitations (physics) than "everyday language". $\endgroup$ – Mark C Nov 9 '10 at 16:37
$\begingroup$ Based on what's been offered 'till now I think I'll start calling this "Feynman's conjecture". $\endgroup$ – Saal Hardali Dec 18 '13 at 15:36
$\begingroup$ Odd spheres differ from even spheres. $\endgroup$ – isomorphismes Mar 31 '15 at 18:44
$\begingroup$ The Tychonoff Theorem :Is a product of compact spaces compact? The H-W-P theorem: If $X_r$ is a separable space for each $r\in R$, is $\prod_{r\in R}X_r$ separable? If ZFC is consistent then neither CH nor its negation is a theorem of ZFC.The sum of the reciprocals of the primes is finite.(This is false,If Feynman didn't know it,would he have guessed correctly?) $\sum_{n=1}^{\infty}1/n^2=\pi e/5$ (Another ringer.It's actually $\pi^2/6.$) $\endgroup$ – DanielWainfleet Oct 24 '15 at 18:46
$\begingroup$ If 30 people are randomly chosen,the probability that at least 2 of them have the same birthday is more than 1/2. $\endgroup$ – DanielWainfleet Oct 24 '15 at 18:50
Every simple closed curve that you can draw by hand will pass through the corners of some square. The question was asked by Toeplitz in 1911, and has only been partially answered in 1989 by Stromquist. As of now, the answer is only known to be positive, for the curves that can be drawn by hand. (i.e. the curves that are piecewise the graph of a continuous function)
I find the result beyond my intuition.
For details, see http://www.webpages.uidaho.edu/~markn/squares/ (the figure is also borrowed from this site)
$\begingroup$ Whoa. This is definitely going on my reading list. $\endgroup$ – Larry Wang Jul 21 '10 at 6:21
$\begingroup$ Your example figure is a little misleading. There are far more obvious places to put the square. If we map your figure onto Sulawesi in the obvious way (after reflecting the north-eastern peninsula about the equator), then there is a square in the (reflected) north-eastern peninsula containing Tombatu; another one centred on Limboto; a third one between the Gulf of Tomini and Makassar Strait; and so on. These little squares arise, roughly, whenever a long thin region gets fatter again. $\endgroup$ – TonyK Sep 17 '10 at 14:14
$\begingroup$ Perhaps I should point out, before anybody else does, that according to Mandelbrot, the coast of Sulawesi is not piecewise smooth. See en.wikipedia.org/wiki/…. $\endgroup$ – TonyK Sep 17 '10 at 14:44
$\begingroup$ BTW, the curves you can draw will always have a finite width. Therefore it's easy to find a square whose corners are all on the curve: Just make the square smaller than the width of the curve. $\endgroup$ – celtschk Aug 20 '13 at 15:41
$\begingroup$ @celtschk Yes, that sounds like something Feynman would say. $\endgroup$ – Keshav Srinivasan Jan 17 '14 at 5:01
My favorite would probably be Goodstein's theorem:
Start with your favorite number (mine is $37$) and express it in hereditary base $2$ notation. That is, write it as a power of $2$ with exponents powers of $2$, etc.
So, $37 = 2^{(2^2 + 1)} + 2^2 + 1$. This is the first element of the sequence.
Next, change all the $2$'s to $3$'s, and subtract one from what's remaining and express in hereditary base $3$ notation.
We get $3^{(3^3 + 1)} + 3^3 + 1 - 1= 3^{(3^3 + 1)} + 3^3$ (which is roughly $2 \times 10^{13}$). This is the second element of the sequence.
Next, change all $3$'s to $4$'s, subtract one, and express in hereditary base $4$ notation.
We get $4^{(4^4 + 1)} + 4^4 - 1 = 4^{(4^4 + 1)} + 3*4^3 + 3*4^2 + 3*4 + 3$ (which is roughly $5 \times 10^{154}$) . This is the third element of the sequence.
Rinse, repeat: at the $n^{th}$ stage, change all the "$n+1$" to "$n+2$", subtract $1$, and reexpress in hereditary base $n+2$ notation.
The theorem is: no matter which number you start with, eventually, your sequence hits 0, despite the fact that it grows VERY quickly at the start.
For example, if instead of starting with $37$, we started with $4$, then (according to the wikipedia page), it takes $3*2^{(402653211)} - 2$ steps ( VERY roughly $10^{(100,000,000)}$, or a $1$ followed by a hundred million $0$s). $37$ takes vastly longer to drop to $0$.
Jason DeVito
$\begingroup$ More amazingly: this theorem cannot be proved in Peano arithmetic, though it can be proven with transfinite induction. $\endgroup$ – ShreevatsaR Jul 28 '10 at 6:00
$\begingroup$ Well, I guess this shouldn't coun't as everyday language. Although it certainly can be considered counterintuitive. $\endgroup$ – Sam Nov 26 '10 at 23:30
$\begingroup$ There was an equivalent problem formulated by Kirby and Paris in terms of heads of the hydra that can be visualized and explained pretty easily, see math.andrej.com/2008/02/02/the-hydra-game for example $\endgroup$ – Vhailor Aug 5 '11 at 16:39
$\begingroup$ Here is a problem about weak Goodstein sequence. $\endgroup$ – P.. Jan 13 '13 at 15:41
$\begingroup$ @P the answer to that is is the square root of 30,003,316,013,910,409 :) $\endgroup$ – pageman May 23 '13 at 14:47
Suppose you have a large collection of books, all of the same size. Balance one of them on the edge of a table so that one end of the book is as far from the table as possible. Balance another book on top of that one, and again try to get as far from the table as possible. Take $n$ of them and try to balance them on top of each other so that the top book is as far as possible away from the edge of the table horizontally.
Theorem: With enough books, you can get arbitrarily far from the table. If you are really careful. This is a consequence of the divergence of the harmonic series. I think if you haven't heard this one before it's very hard to tell whether it's true or false.
Qiaochu Yuan
$\begingroup$ Sure, in the real world, things like wind would quickly make such a construction impossible. But I think, unless he knew about this example already, that someone like Feynman would be surprised to learn that this was possible even in principle. I think this particular idealization is much easier to stomach than the one that leads to Banach-Tarski; it's a physical idealization, not a mathematical one. $\endgroup$ – Qiaochu Yuan Jul 28 '10 at 8:02
$\begingroup$ @Qiaochu: Your description is not quite right. If you balance one book as far from the edge of the table as possible, then the next book must be placed exactly on top of it. What you mean is that you place one book as far from the edge as possible on top of another book, and then place those two books on top of another book as far from its edge as possible, and repeat for some n books, and then place those n on the edge of a table. $\endgroup$ – Samuel Aug 3 '10 at 20:50
$\begingroup$ @Alexander: The furthest you can go for the second book is 1/2 the book. For the third book (underneath them) it's 1/3, for the fourth it's 1/4, etc. This result is just a statement of the fact that the harmonic series is divergent. $\endgroup$ – BlueRaja - Danny Pflughoeft Aug 4 '10 at 4:13
$\begingroup$ If you haven't actually done this, you should try: you can get surprisingly far! (If you have a big collection of yellow Springer books, they make a good choice; CD covers are a reasonable substitute.) $\endgroup$ – Matt E Sep 11 '10 at 4:23
$\begingroup$ @Qiaochu: I'm pretty sure Feynman would say, correctly: With real books make of paper, it won't work! They're just too flexible. You're thinking of idealized books here, aren't you? (I just read that chapter in Feynman's book, and this is the type of answer he'd give.) $\endgroup$ – Hendrik Vogt Jun 26 '11 at 11:44
The Monty Hall problem fits the bill pretty well. Almost everyone, including most mathematicians, answered it wrong on their first try, and some took a lot of convincing before they agreed with the correct answer.
It's also very easy to explain it to people.
Edan Maor
$\begingroup$ I eventually got my intuition to mesh with Monty Hall. Just imagine presenting the contestant with 100 doors instead of 3. $\endgroup$ – Larry Wang Jul 21 '10 at 5:46
$\begingroup$ Monty Hall problem is quite sensitive to the way it is stated, so a witty person like Feynman would have had no problem in saying he was right. $\endgroup$ – mau Jul 21 '10 at 16:22
$\begingroup$ The Monty Hall problem is a psychology problem, not a math problem. If it were a math problem, there would be a defined probability that Monty opens the door which contains the prize, thus giving the contestant certain knowledge. Readers of the problem make the reasonable-for-humans assumption that Monty will not choose the prize door. Further analysis depends on Monty making an IID choice of non-prize doors, or a biased choice. It's a psychology problem. $\endgroup$ – Heath Hunnicutt May 25 '11 at 22:57
$\begingroup$ @Heath, the Monty Hall problem is a mathematics problem and not a psychology problem. There is indeed a defined probability that Monty opens the door with the prize, that probability is 0%. Monty never, ever, opened the door with the prize. Indeed, that would make the game pointless. $\endgroup$ – Dour High Arch Oct 4 '11 at 3:23
$\begingroup$ @HeathHunnicutt: Any good statement of the Monty Hall problem will specify the host's behaviour exactly; it won't leave it unspecified and leave it to "reasoning from psychology". The unintuitiveness of the conclusion (to some) being discussed here is with the well-specified problem. $\endgroup$ – ShreevatsaR Jan 17 '14 at 5:06
You ask that the result be "counterintuitive", but Feynman doesn't insist on that. He says that if you can phrase a true-or-false mathematical question in language that he can understand, he can immediately say what the right answer is, and that if he gets it wrong, it is because of something you did.
I think Feynman is being less than 100 percent serious. Not that he didn't win every time he put this challenge to people--- but he probably only issued this challenge when he wanted to make a rhetorical point (about either the impracticality of a lot of mathematical investigation, or about the inability of mathematicians to faithfully translate their problems into normal language).
The Banach-Tarski result is obviously a terrible example, because the key to any paradoxical decomposition of a sphere, nonmeasurability, is almost impossible to convey in non-technical terms, and has no physical meaning. And of course he would choose this example for his essay, if the only purpose of the challenge is to make the point illustrated marvelously by that particular response.
Here are some statements that might have given Feynman some pause.
The regular $n$-gon is constructible with an unmarked ruler and compass. (Really a family of true-or-false statements, one for each $n \geq 3$.)
It takes some work to properly spell out what "constructible" means here, but it can be done in plain English. It has been known since the 1800s (thanks to Gauss and Wantzel) that this statement is true if $n$ is the product of a nonnegative power of $2$ and any nonnegative number of distinct Fermat primes, and false otherwise.
More concretely, the sequence of positive integers $n$ for which it is true is partially listed here. Could Feynman have generated that sequence with his series of answers to true-or-false questions given by taking $n=3,4,5,\dots$? I very much doubt it.
The Kelvin conjecture (roughly, "a certain arrangement of polyhedra partitions space into chunks of equal volume in a way that minimizes the surface area of the chunks"--- but you can be more precise without leaving plain English). According to Wikipedia it was posed in 1887. It was neither proved nor disproved until 1993, when it was disproved.
I find this example particularly compelling because Feynman presumably would not have caricatured Kelvin (something of a physicist himself) as a mathematician who only works on silly questions that nobody would ever ask.
Other geometrical optimization problems come to mind, e.g. the Kepler conjecture, the double bubble conjecture, and the four color conjecture (all theorems now, but let's pretend they're conjectures and ask Feynman). My guess is that Feynman would have been right about the truth values of these statements. But the mathematician's response is, of course, "OK. Why are they true?"
This highlights a real difference between math and the physical sciences. It is much more common in the sciences to be in a situation where knowing what happens in a given situation is useful, even if you don't know why it happens. In math, this is comparatively rare: for example, the "yes or no" answers to the Clay Millennium problems are nowhere near as valuable as the arguments that would establish those answers. Feynman almost certainly knew this, but pretended not to in order to make the rhetorical points mentioned above.
leslie townes
$\begingroup$ Your wording of the Kelvin conjecture is misleading: it sounds as if the formal statement was "there exists an arrangement (...)", whereas the statement of the conjecture refers to a concrete arrangement, rather than existence of one. $\endgroup$ – tomasz Sep 7 '15 at 1:16
You have two identical pieces of paper with the same picture printed on them. You put one flat on a table and the other one you crumple up (without tearing it) and place it on top of the first one. Brouwer's fixed point theorem states that there is some point in the picture on the crumpled-up page that is directly above the same point on the bottom page. It doesn't matter how you place the pages, or how you deform the top one.
Tomer Vromen
$\begingroup$ If I crumple it up minimally - that is, say, add one, very slight crease, or perhaps simply do nothing at all - then translate it a significant distance, wouldn't this not hold? $\endgroup$ – bdonlan Jul 22 '10 at 4:01
$\begingroup$ I probably should have mentioned that the second page needs to be on top of the first, meaning within the boundaries of it (you can't put it on another table...) $\endgroup$ – Tomer Vromen Jul 22 '10 at 17:04
$\begingroup$ Maybe the proof is hard, but I don't find that intuitively very difficult to grasp. Where do you think the points would be going? Unless you put the prop besides the paper, I don't see how the theorem can fail. Feynman would have aced this one immediately. (Besides he would first tell you that real sheets of paper are made of atoms and thus, Brouwer's theorem is not true for them.) $\endgroup$ – Raskolnikov Nov 26 '10 at 19:03
$\begingroup$ I think that the best proof is not hard, but requires a bit of heavy machinery, namely homology groups or homotopy groups. Maybe the computations of the relevant group is hard but it is easy to convince yourself of given the appropriate model of the circle (up to homotopy) $\endgroup$ – Sean Tilson Dec 2 '10 at 22:21
$\begingroup$ @Raskolnikov: your point about atoms is countered by, I believe, the fact that in the real world, the phrase "directly above" has some fuzz factor. $\endgroup$ – Hurkyl May 8 '12 at 6:58
Scott Aaronson once basically did this for a bunch of theorems in computer science here and here. I particularly like this one:
Suppose a baby is given some random examples of grammatical and ungrammatical sentences, and based on that, it wants to infer the general rule for whether or not a given sentence is grammatical. If the baby can do this with reasonable accuracy and in a reasonable amount of time, for any "regular grammar" (the very simplest type of grammar studied by Noam Chomsky), then that baby can also break the RSA cryptosystem.
$\begingroup$ But this obviously assumes rules of grammar which no actual language would follow, because babies actually learn languages. So "regular grammars" are obviously the wrong model for real languages. $\endgroup$ – Peter Shor Nov 26 '10 at 23:50
$\begingroup$ Peter: The usual response---following Chomsky's "Poverty of the Stimulus" argument---is simply that babies can't have the capacity to learn arbitrary grammars (if not regular grammars, then certainly not context-free, etc). Instead, there must be many facts about the grammars actually used by humans that are hardwired into the human brain (an interesting conclusion that many people probably would've denied, at least in the 50s and 60s). For more, see this thesis by Ronald de Wolf: homepages.cwi.nl/%7Erdewolf/publ/philosophy/phthesis.pdf $\endgroup$ – Scott Aaronson Mar 21 '13 at 12:27
$\begingroup$ @PeterShor I think that what is counterintuitive is that most people would believe that the languages that humans are able to learn are a superset of the formal "regular languages". But it turns out that's not so. $\endgroup$ – hobbs Jun 5 '18 at 20:03
My first thought is the ham sandwich theorem--given a sandwich formed by two pieces of bread and one piece of ham (these pieces can be of any reasonable/well-behaved shape) in any positions you choose, it is possible to cut this "sandwich" exactly in half, that is divide each of the three objects exactly in half by volume, with a single "cut" (meaning a single plane).
$\begingroup$ To me this doesn't look counterintitive, since the centroids of the three pieces are in the same plane.... $\endgroup$ – N. S. Aug 27 '12 at 2:52
$\begingroup$ Feynman's answer: In seven of eight cases, at least one of the bread pieces or the ham piece will have an odd number of atoms, making cutting into exact halves impossible even without the other objects being there. $\endgroup$ – celtschk Jan 25 '14 at 11:37
$\begingroup$ The reply to Feynman's answer: The theorem states about the volume of the said cut pieces and not about the number of atoms present in each layer $\endgroup$ – Amith Shastri Oct 6 '15 at 8:31
$\begingroup$ @celtschk a secondary reply might be the discrete ham sandwich theorem, which has the same proof by concentrating measures.. $\endgroup$ – Andres Mejia Apr 30 '18 at 18:49
One that Feynman would have rejected: There are always two antipodal points on the Earth that are the same temperature. (This follows from the fact that a continuous scalar field on a circle has a diameter whose endpoints have the same value)
One that Feynman might have preferred: Draw a triangle. Draw a circle through the midpoints of the triangle's sides. This circle also passes through the the foot of each altitude and the midpoint of the line segment from the orthcentre to each vertex. The nine point circle
$\begingroup$ I am roughly quoting my undergrad differential geometry professor here: There is always at least one spot on the earth where there is absolutely zero wind. This follows from the hairy ball theorem as the wind direction on the surface of the earth forms a vector field. $\endgroup$ – JavaMan Aug 5 '11 at 15:58
$\begingroup$ Not only that, but there are always two antipodal points on the Earth that are the same temperature and the same barometric pressure! This is the Borsuk-Ulam Theorem. :) $\endgroup$ – Bruno Joyal Aug 5 '11 at 17:11
There are true statements in arithmetic which are unprovable. Even more remarkably there are explicit polynomial equations where it's unprovable whether or not they have integer solutions with ZFC! (We need ZFC + consistency of ZFC)
$\begingroup$ (Or rather, in both cases, it's unprovable unless arithmetic is inconsistent in which case everything is provable.) $\endgroup$ – Noah Snyder Jul 21 '10 at 5:50
$\begingroup$ Can you give more info on the "explicit polynomial equations" part? Haven't heard of that and it sounds interesting. $\endgroup$ – Edan Maor Jul 21 '10 at 6:59
$\begingroup$ Edan: Cf. Hilbert's tenth problem. One can write down to any statement a polynomial which has an integer root iff it's true. By the incompleteness theorem, there will be statements that can't be proved in any formal system, hence one can't prove whether or not the polynomial has a root [if the system is consistent]. $\endgroup$ – Akhil Mathew Jul 21 '10 at 23:20
$\begingroup$ @Simon, @Noah: Your statements are technically correct (given proper definitions), but potentially misleading. It would be clearer to say that if ZFC is consistent, it is unprovable without assuming the consistency of the axiomic system. See my issues with stating the way it is usually stated. @Noah: $\endgroup$ – Casebash Jul 27 '10 at 22:33
$\begingroup$ mathoverflow.net/questions/32892/… $\endgroup$ – BlueRaja - Danny Pflughoeft Aug 4 '10 at 4:15
It is possible for a group of people to hold a secret ballot election in which all communication is done publicly. This is one of the many surprising consequences of the existence of secure multiparty computation.
(Of course, the ballots are only "secret" under some reasonable cryptographic assumptions. I guess Feynman may have objected to this.)
What is the smallest area of a parking lot in which a car (that is, a segment of) can perform a complete turn (that is, rotate 360 degrees)?
(This is obviously the Kakeya Needle Problem. Fairly easy to explain, models an almost reasonable real-life scenario, and has a very surprising answer as you probably know - the lot can have as small an area as you'd like).
Wikipedia entry: Kakeya Set.
Alon Amit
$\begingroup$ +1. Well, "perform a complete turn" may seem to mean rotation about a point, but I do agree the answer to the Kakeya problem (whose rigorous statement is in terms Feynman could surely understand) is counter-intuitive. $\endgroup$ – ShreevatsaR Jul 29 '10 at 1:37
$\begingroup$ Feynman's response: Cars are not infinitely thin. $\endgroup$ – Peter Shor Nov 26 '10 at 23:54
$\begingroup$ Also, cars can't move sideways, although you can approximate sideways motion by moving back and forth a very short distance while turning the wheel appropriately. $\endgroup$ – Tanner Swett Nov 16 '11 at 0:14
$\begingroup$ Even if objects are not infinitely thin, I still think few people would guess that there is even a better way to turn than a three point turn. $\endgroup$ – Thomas Ahle Nov 27 '14 at 16:06
Similar to the Monty Hall problem, but trickier: at the latest Gathering 4 Gardner, Gary Foshee asked
I have two children. One is a boy born on a Tuesday. What is the probability I have two boys?
We are assuming that births are equally distributed during the week, that every child is a boy or girl with probability 1/2, and that there is no dependence relation between sex and day of birth.
His Answer: 13/27. This was in the news a lot recently, see for instance BBC News. (Later analysis showed the answer depends on why the parent said that.)
$\begingroup$ That is not really mathematics. It's more about how language tricks us (and even the BBC news article you linked says so). $\endgroup$ – Sklivvz Jul 27 '10 at 23:23
$\begingroup$ "I have two children. One is a boy born at midnight. What is the probability I have two boys?". If we assume a continuous distribution for the birth time, the event that both the children have been born ad midnight has probability zero. Therefore the answer to this other question should be 1/2. Is this correct? $\endgroup$ – Federico Ramponi Sep 11 '10 at 2:20
$\begingroup$ If you go around asking random women "Do you have two children, one of which is a baby born on Tuesday?" then indeed the women who say yes to that question have a probability of 13/27 that the other child is a boy. But if a woman says the statement above, I'm not so sure that the Bayesian calculation is correct. $\endgroup$ – Peter Shor Nov 26 '10 at 23:54
$\begingroup$ The middle sentence in the problem should be phrased "Only one [child] is a boy born on a Tuesday." I think that "At least one is a boy born on a Tuesday" is a valid reading of the sentence as it stands. With the latter reading, the correct answer is 1/2. But that condition makes the trick obvious. $\endgroup$ – Kevin Vermeer Jun 9 '11 at 19:15
$\begingroup$ For anyone reading this who doesn't know what they are talking about - one interpretation of the question implies that the asker can't have a second boy born on a Tuesday. Another interpretation of it gives no information about the second child. In the second case the chance the other child is a boy is 1/2. In the first case alex.jordan's first comment explains it nicely. $\endgroup$ – psr Aug 3 '12 at 23:56
The Fold-and-Cut Theorem is pretty unintuitive. http://erikdemaine.org/foldcut/
Dan Petersen
Position-based Cryptography. This is a fun example since it seems very "out of left field".
The setup: Three servers are positioned in known locations on the globe (their positions can be arbitrary, provided they aren't on top of each other).
A single computer wants to prove its location to the servers. In other words, if the computer is actually located where it claims, then the protocol will accept. However, if the computer is located anywhere else, then the protocol will reject, no matter how the computer cheats (it is even allowed to recruit friends to help it cheat).
All communication is subject to the laws of physics -- information travels at speed c, and quantum mechanics holds.
Theorem 1: This is impossible if all communication is classical. Cheating is always possible.
Theorem 2: This is possible if quantum communication is possible.
Jeremy Hurwitz
$\begingroup$ Do you have a link? Plus you haven't defined how they are allowed to "prove" where they are $\endgroup$ – Casebash Jul 28 '10 at 11:29
$\begingroup$ @Casebash: my understanding is the computer is allowed to communicate in any way whatsoever. Reference: arxiv.org/abs/1005.1750 $\endgroup$ – Qiaochu Yuan Jul 28 '10 at 18:30
$\begingroup$ This is not true, if the attackers are allowed to share a large enough quantum state, cheating is always possible: the attackers can pretend to be somewhere none of them is located. Right now theorem 2 is only proven when the attackers are forbidden from sharing any quantum state: the authors hope that the result might remain true if they share a little bit of quantum state, but not too much. $\endgroup$ – Generic Human Jun 27 '12 at 22:01
$\begingroup$ Good catch @Generic! @Casebash: The main paper is cs.ucla.edu/~rafail/PUBLIC/BCFGGOS.pdf, which has lots of good references in it. $\endgroup$ – Jeremy Hurwitz Jul 3 '12 at 4:46
Now that Wiles has done the job, I think that Fermat's Last Theorem may suffice. I find it a bit surprising still.
BBischof
$\begingroup$ Why? It's easy to prove that no cube can be written as a sum of two cubes, and similarly for fourth powers, and "intuitively", having two that add up to another seems even harder for higher powers... $\endgroup$ – ShreevatsaR Jul 28 '10 at 6:14
$\begingroup$ @ShreevatsaR, how easy is it to prove that no cube can be written as the sum of two cubes? I only know one proof and although it is not difficult it takes a few pages of detailed algebra (not the sort of thing one could do in their head). $\endgroup$ – anon Sep 12 '10 at 8:32
$\begingroup$ @muad: Yes, I meant one of the usual proofs, a page or two long… the n=4 is easier. Anyway, I didn't mean to comment on the length of the proof; was just saying that Fermat's Last Theorem isn't so surprising because it only asserts the impossibility of something we have no strong reason for imagining possible. But of course, I realise that "surprisingness" is subjective, and no doubt my experience is coloured by having heard of it as a theorem in the first place. :-) $\endgroup$ – ShreevatsaR Sep 12 '10 at 19:17
$\begingroup$ Number theory is filled with theorems that look aesthetically just like Fermat's Last Theorem, so the theorem itself is not that surprising. What is surprising, to me, is that it's so much more difficult to prove! $\endgroup$ – BlueRaja - Danny Pflughoeft Sep 6 '11 at 16:13
$\begingroup$ It is funny you would give this as an example. Feynman had an ingenious method to show that it was extremely likely that FLT holds: lbatalha.com/blog/feynman-on-fermats-last-theorem $\endgroup$ – Andres Mejia Jul 21 '16 at 17:54
The rational numbers are both a continuum (between any two rationals you can find another rational) and countable (they can be lined up in correspondence with the positive integers).
Mathematician missed it for hundreds (thousands?) of years, until Cantor.
Of course, the proof of that works both ways, and is equally surprising the other way -- there is a way to order the integers (or any countable set) that makes it into a continuum.
$\begingroup$ The proof that the rationals are countable actually does the trick the other way too. Why? You have a 1-1 corespondence between R and N, so the ordering on N is just the ordering of R mapped back to N, and that's a continuum. Of course, it's not a terribly intuitive order for N, but it is an order. Well, you do have issues of m/n = p/q, but those are solvable. For example... cut-the-knot.org/do_you_know/numbers.shtml#Proof4 $\endgroup$ – David Lewis Aug 2 '10 at 16:30
$\begingroup$ It is disingenuous of you to use the word 'continuum' here! That refers to the real line, and has done for a long time. It's what the Continuum Hypothesis is about. $\endgroup$ – TonyK Sep 17 '10 at 14:25
$\begingroup$ Right -- not a continuum. I should have said "densely ordered". $\endgroup$ – David Lewis Sep 18 '10 at 16:31
$\begingroup$ We didn't know until Cantor came along that the rational numbers are countable? A way of counting them seems obvious in retrospect: write each rational number down with an extra 0 before each digit, and represent - and / with 1 and 2, so that, for example, -35/57 becomes 1030520507. $\endgroup$ – Tanner Swett Aug 26 '11 at 12:47
$\begingroup$ Um, what's 135/57 then? $\endgroup$ – Keenan Pepper Nov 15 '12 at 6:08
All of three dimensional space can be filled up with an infinite curve.
$\begingroup$ I think "line" may be misleading, as the space-filling curve is not a line by typical geometric or algebraic definitions. $\endgroup$ – Isaac Jul 21 '10 at 4:35
$\begingroup$ @Isaac, I edited in my answer in light of your comment. $\endgroup$ – Ami Jul 21 '10 at 5:03
$\begingroup$ Certainly Feynman could make a very strong argument that this was not a legitimate curve. $\endgroup$ – Noah Snyder Jul 21 '10 at 6:11
$\begingroup$ @Noah: But surely he would also admit "legitimate curves" have some thickness to them, making the physical version of the problem somewhat more trivial than the mathematical one. $\endgroup$ – Hurkyl May 8 '12 at 7:13
For any five points on the globe, there is an angle in outer space from which you could see at least 4 of the 5 points (assuming the moon or anything isn't in the way). The proof is pretty simple, too...
$\begingroup$ I don't think this is true unless you count points on the border of the semi-sphere as being visible (which they really aren't..) $\endgroup$ – BlueRaja - Danny Pflughoeft Aug 4 '10 at 4:20
$\begingroup$ I think in real life you could say "Build Houses on Earth, if earth was completely flat" then it would be no problem to see the houses on the border, but still surprising at first until you think about it $\endgroup$ – Falco Nov 13 '14 at 15:32
"The natural numbers are as many as the even natural numbers".
This statement is trivial and not worth to be named "theorem", but it is rather counterintuitive if you don't know the meaning of "as many". At least, it was for Galileo :)
Federico Ramponi
$\begingroup$ But not for Feynman, $\endgroup$ – TonyK Sep 17 '10 at 15:49
$\begingroup$ Actually "The rationals numbers are as many as natural numbers" would be more counter intutive :) $\endgroup$ – Dinesh May 7 '11 at 11:15
$\begingroup$ There are as many binary sequences as there are sequences of sequences of real numbers. $\endgroup$ – fhyve Nov 18 '12 at 20:32
Morely's trisection theorem -- not discovered until 1899. http://www.mathpages.com/home/kmath376/kmath376.htm.
Trisect the three angles of a triangle. Take the intersection of each trisector with its nearest trisector of the nearest other vertex. These three points form an equilateral triangle!
With bisectors, they all meet in a point. That trisectors should give an equilateral triangle is pretty surprising.
$\begingroup$ I don't know that this theorem is counterintuitive, exactly. I have no intuition about it one way or the other. $\endgroup$ – Qiaochu Yuan Sep 18 '10 at 19:42
$\begingroup$ Yeah, maybe not counterintuitive, except this way -- my "intuition" is also "no intuition" -- this construction should produce nothing in particular, especially since you start with an arbitrary triangle. Or maybe it should produce something related to the original triangle. That it comes out equilateral no matter what kind of triangle you started with is a surprise. That does seem kinda counterintuitive. $\endgroup$ – David Lewis Feb 2 '12 at 22:46
$\begingroup$ I feel the same for Napoleon's theorem en.wikipedia.org/wiki/Napoleon%27s_Theorem $\endgroup$ – puri Sep 17 '12 at 20:06
$\begingroup$ Lovely proof of Morley's theorem in Coxeter's "Introduction To Geometry". $\endgroup$ – DanielWainfleet Oct 24 '15 at 19:11
$\begingroup$ I would bet that most people would expect the shape of the little triangle to vary with the shape of the original triangle, instead of always being equilateral. $\endgroup$ – DanielWainfleet Feb 12 '17 at 9:48
A very counter intuitive result is "The Lever of Mahomet". I saw this somewhere in the 4 volume set,"The World of Mathematics" (ca. 1956). It works like this: Imagine a flatbed rail car with a lever attached by a hinge such that the lever swings 180 degrees in a vertical arc, parallel to the tracks. We assume the lever has no friction, and is only influenced by gravity, inertia, and the acceleration of the rail car. (assume other idealizations, like no wind). Now, the question is, given ANY predetermined motion of the railcar, both forward and backwards, however erratic (but continuous and physically realizable of finite duration), show there exists an initial position of the lever such that it will not strike the bed at either extreme of travel during the prescribed motion. The solution only invokes the assumption of continuity.
$\begingroup$ This is in What is Mathematics?, by Courant & Robbins (OUP, 1941). The authors' argument assumes continuity, is wrong to do so, & is thus invalid. This was pointed out by Tim Poston in "Au Courant with Differential Equations", Manifold, 18 (Spring 1976), pp. 6—9. If the rod (why call it a "lever", btw? Courant & Robbins called it a rod) may swing through a full 360°, its final position is indeed a continuous function of its initial position. But with the absorbing boundary condition (if the rod is ever horizontal, it stays there), the train's motion can cause a catastrophe & discontinuity. $\endgroup$ – Rosie F Aug 10 '16 at 18:54
Goldbach's Conjecture.
Granted this is open, so it may be cheating a bit. However, this seems like a very hard problem to intuit your way to the "conventional wisdom". By contrast, P != NP is "obviously" true. Indeed, Feynman had trouble believing P != NP was even open.
$\begingroup$ Do you have a source for the comment about Feynman and P-vs-NP? I ask because Feynman died in 1988 and the notion of NP-completeness only came about around 1972, and I'm surprised P vs NP may have been so widely believed so early… $\endgroup$ – ShreevatsaR Jul 28 '10 at 6:09
$\begingroup$ According to Scott Aaronson (scottaaronson.com/blog/?cat=17): "My favorite example in this vein comes from Leonid Levin, who tells me he couldn't convince Richard Feynman that P versus NP was an open problem at all." It's hearsay, but it's the best I have. Bill Gasarch has made the same claim. $\endgroup$ – Jeremy Hurwitz Jul 28 '10 at 21:52
$\begingroup$ Thanks! Aaronson reporting being told by Levin himself of a conversation with Feynman is close enough, and pretty good as far as attributions to apocrypha go. :-) $\endgroup$ – ShreevatsaR Jul 29 '10 at 1:44
I should think the right phrasing of Arrow's impossibility theorem a reasonable candidate.
Benjamin Dickman
Every set can be well ordered, I once sat on the bar of my favourite place and ran into this girl I haven't seen for years. I explained a bit about AC, Zorn's Lemma and the Well-Ordering principle and that they are all equivalent.
(In another time, my friend told me that if every set can be well-ordered I should tell him the successor of 0 in the real numbers, I answered that 1 is. He then argued that he means the real numbers, and not the natural numbers. I told him that my well-order puts the natural numbers with the usual ordering first, then the rationals and then the irrationals. But I can shift a finite number of positions if he wants me to.)
Asaf Karagila
$\begingroup$ Do axioms count as theorems? $\endgroup$ – Tanner Swett Aug 26 '11 at 13:01
$\begingroup$ I am working extensively in ZF, I never recalled one of the axioms being "Axiom of choice if and only if Well ordering principle if and only if Zorn's lemma". And formally? Yes. Axioms are indeed theorems. $\endgroup$ – Asaf Karagila♦ Aug 26 '11 at 13:34
$\begingroup$ I've always found the well-ordering theorem fairly intuitive. Step 0: Pick a random element of $X$. Step 1: Pick a different, random element. Step 2: Pick a different, random element. … Step $\omega$: Pick a different, random element. Step $\omega+1$: Pick a different, random element. … Eventually, I'll run out (because there are more ordinals then elements of $X$). This means I've just paired up all of the elements of $X$ with ordinals — i.e., I've just well-ordered $X$. $\endgroup$ – Akiva Weinberger Aug 17 '15 at 17:17
"There are exactly 17 possible tessellations."
To trick Dr Feynman, pick another number besides 17 and have a good poker face.
http://drorbn.net/dbnvp/ogg/ClassroomAdventures-1408_400.ogg
http://en.wikipedia.org/wiki/Wallpaper_group
http://link.springer.com/book/10.1007%2F978-3-642-61572-6
isomorphismes
An infinite amount of coaches, each containing an infinite amount of people can be accommodated at Hilbert's Grand Hotel. Visual demonstration here.
$\begingroup$ I think this is one Feynman would object to on physical-possibility grounds ;) $\endgroup$ – Jamie Banks Jul 21 '10 at 6:32
$\begingroup$ Indeed, to cast it into the original story, Feynman might reply, "You said a hotel, so I assumed you meant a real hotel." $\endgroup$ – Josh Lee Nov 26 '10 at 17:53
$\begingroup$ Feynman could play either way since it is not beyond Feynman's mathematical intuition. $\endgroup$ – timur Dec 24 '10 at 5:13
This is along the lines of a nonmeasurable set, and Feynman may have rejected it on physical grounds, but
theorem: There exists a nowhere dense set with positive measure, a fat cantor set
Andres Mejia
I think Penney's Game is a good example. It's counter intuitive enough. You can watch it in this amazing video of numberphile:
MR_BD
I have used the orders of sporadic groups, classification of finite simple groups, and stable homotopy groups of spheres to impress non-mathematicians. I call these sequences "a joke written by‡ G_d". I bet A-D-E theory and Coxeter groups could be entertaining & comprehensible if someone cooked up a good demonstration.
How do I explain cobordisms or groups intuitively? I refer to topology as "squishy maths" or "the logic of stretchy things" and groups as "every possible multiplication٭ table". I say that the quest to understand the breadth and depth of every possible multiplication table took a hundred years. 2-homotopies are easy enough to indicate with objects commonly available at a party: wave a sheet, blanket, or napkin.
٭ If the person asked what I meant by "possible multiplication table" I would s/commutative/order matters/ and s/associativity/grouping/ or "whether I start doing the computation† at the beginning or middle". This is more effective than talking about "parentheses" or "remember your elementary-school textbook?".
† by computation I mean a λ-ish "reduction", which can be explained vaguely in less than a minute if someone asks.
‡ Poincaré supposedly said "If G d speaks to Man, it is in the language of Mathematics". Which would, in this case, make Milnor a priest showing the audience an "easter egg".
I don't know if making use of OEIS or YouTube via someone's phone at a bar/party counts (since mathematicians partying with Feynman couldn't), but it did work.
In the video of Milnor in 1963 you can observe that he gets laughs from the audience when he slowly reads off https://oeis.org/A001676. Lots of people who went through school have probably realised that "what comes next in this sequence?" is as much a game of figuring out how the schoolmaster thinks, what objects and patterns educators have decided are "important" or classical, as getting "the" pattern. That natural desire to not be forced to agree with people with social power over you is a useful lever one can pull in talking about mathematics to non-mathematicians.
$\begingroup$ The part on the number of exotic spheres is in part 2. It starts here: youtu.be/cp6eudDomRY?t=13m56s The laugh occurs here: youtu.be/cp6eudDomRY?t=16m56s $\endgroup$ – Robert Furber May 2 '18 at 13:24
Not the answer you're looking for? Browse other questions tagged soft-question big-list examples-counterexamples or ask your own question.
Which one result in mathematics has surprised you the most?
What are some examples of a mathematical result being counterintuitive?
Boy Born on a Tuesday - is it just a language trick?
Why does $1/x$ diverge?
Good examples for mathemathical problems/statements that are easely solvable/provable in one theory and hard to solve/prove in another
Would nonmath students be able to understand this?
How can there be explicit polynomial equations for which the existence of integer solutions is unprovable?
How to study math to really understand it and have a healthy lifestyle with free time?
Training to actively learn, think and use mathematics studied and construct everything on ones own
How to explain your area of study to non-math people
Does analysis do anything other than estimating things and discussing convergence?
What are some counter-intuitive results in mathematics that involve only finite objects?
Reference request (famous mathematicians for High School)
Give me such a $"3n±Q"$ problem that we do not know a counter-example
What's there to do in logic?
Dealing with frustations at tests
Partial truth values?