Timeline for Proofs that require fundamentally new ways of thinking
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 15, 2013 at 6:37 | comment | added | timur | How could a computer conceive theorems relating to computational complexity ... without having empirically grappled with complex computations? But it had! | |
| Dec 11, 2010 at 17:44 | history | edited | John Sidles | CC BY-SA 2.5 |
added reference from von Neumann
|
| Dec 10, 2010 at 14:22 | history | answered | John Sidles | CC BY-SA 2.5 |