Timeline for Colloquial catchy statements encoding serious mathematics
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2010 at 21:40 | comment | added | Andrew Lobb | Non-mathematically, this reminds me of the cryptic crossword clue: gegs (9,4). | |
| Dec 24, 2009 at 20:43 | comment | added | Theo Johnson-Freyd | Ah, but theorem: Consider a compact pan with some unscrambled eggs in a closed (no "external" i.e. time-varying physics) classical Newtonian (energy is kinetic, which is positive-def quadratic in velocity, plus potential, which depends only on position) universe. The eggs may be in the process of scrambling. Then at some time in the future (indeed, after some precisely integer number of years, where how long you have to wait can be given an explicit absolute bound in terms of epsilon), the eggs will be within epsilon of unscrambled. | |
| Nov 4, 2009 at 4:29 | comment | added | Halfdan Faber | The existence of one-way functions implies P/=NP, in that for any such function p, its inverse function, hp, would, by definition, be hard to compute for any input, but any output would be easy to verify using p. | |
| Nov 3, 2009 at 15:56 | comment | added | Michael Lugo | I understand the others, but how does this relate to P vs. NP? | |
| Nov 1, 2009 at 4:35 | history | edited | Halfdan Faber | CC BY-SA 2.5 |
deleted 1 characters in body
|
| Nov 1, 2009 at 4:32 | comment | added | Halfdan Faber | As a statement asserting the existence of one-way functions, P /= NP, or the second law of thermodynamics. | |
| Nov 1, 2009 at 4:29 | history | answered | Halfdan Faber | CC BY-SA 2.5 |