Timeline for Blackbox Theorems [closed]
Current License: CC BY-SA 3.0
75 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 10, 2013 at 13:01 | review | Reopen votes | |||
| Sep 10, 2013 at 13:04 | |||||
| Sep 9, 2013 at 12:58 | review | Reopen votes | |||
| Sep 9, 2013 at 13:06 | |||||
| Sep 15, 2012 at 9:38 | history | closed |
Benjamin Steinberg Bill Johnson Felipe Voloch Will Jagy Asaf Karagila♦ |
no longer relevant | |
| Jun 28, 2012 at 4:00 | answer | added | Karl Schwede | timeline score: 4 | |
| Jun 28, 2012 at 3:09 | answer | added | Jeff H | timeline score: 10 | |
| Jun 28, 2012 at 2:04 | answer | added | Owen Sizemore | timeline score: 1 | |
| Jun 26, 2012 at 19:33 | answer | added | David Corwin | timeline score: 17 | |
| Jun 26, 2012 at 17:15 | answer | added | cheyne | timeline score: 9 | |
| Jun 23, 2012 at 18:14 | answer | added | Marty Isaacs | timeline score: 10 | |
| Jun 18, 2012 at 17:10 | answer | added | Scott Aaronson | timeline score: 8 | |
| Jun 17, 2012 at 22:46 | comment | added | Benjamin Steinberg | I think older well known theorems are often not cited from the source and also are not well counted by citation counts. I am pretty sure the classification of simple groups is not always cited in a way that checking bibliographical references will catch. | |
| Jun 17, 2012 at 16:58 | comment | added | Alexander Chervov | 100 papers ... so many ... are there really so many theorems which are black box and used so wide ? If you would require to provide a paper where the theorem has been proved, then by number of citations from e.g. scholar.google one can make answer more veriafiable more quantative :) :) | |
| Jun 17, 2012 at 3:41 | answer | added | Nate Eldredge | timeline score: 4 | |
| Jun 17, 2012 at 3:08 | comment | added | Benjamin Steinberg | In my mind I was hoping for things used in at least 100 papers and understood in all technical detail by fewer than 5% of people in the general area to which the theorem belongs. But it need not be this rigid. | |
| Jun 16, 2012 at 20:41 | answer | added | Salvatore Siciliano | timeline score: 10 | |
| Jun 16, 2012 at 19:21 | comment | added | Benjamin Steinberg | The classification is used by people working on permutation groups and graph theory all the time. Also they are used in profinite group theory. | |
| Jun 16, 2012 at 12:57 | comment | added | Alexander Chervov | If would set quantative measure: " widely applied means one knows more than N papers which use theorem" within N = 25 or 50 or whatever... would it change answers? It seems alll hard theorems are in the list:) are they really so widely applied? PS any way great question PS PS is classification of simple groups applied some where? | |
| Jun 16, 2012 at 1:40 | answer | added | HeWhoHungers | timeline score: 3 | |
| Jun 15, 2012 at 15:39 | comment | added | Timothy Chow | It's interesting to compare this question with other MO questions about personally verifying results that you cite: mathoverflow.net/questions/23758/… and mathoverflow.net/questions/98821/… for example. | |
| Jun 15, 2012 at 12:23 | answer | added | wildildildlife | timeline score: 12 | |
| Jun 15, 2012 at 8:57 | answer | added | Deane Yang | timeline score: 4 | |
| Jun 15, 2012 at 8:31 | answer | added | Deane Yang | timeline score: 6 | |
| Jun 15, 2012 at 8:19 | answer | added | Gil Kalai | timeline score: 12 | |
| Jun 15, 2012 at 6:55 | answer | added | Daniel McLaury | timeline score: 4 | |
| Jun 15, 2012 at 4:12 | answer | added | Yemon Choi | timeline score: 3 | |
| Jun 15, 2012 at 3:17 | answer | added | Dori Bejleri | timeline score: 17 | |
| Jun 15, 2012 at 2:20 | answer | added | David Harris | timeline score: 4 | |
| Jun 15, 2012 at 0:20 | answer | added | Jeff Strom | timeline score: 1 | |
| Jun 15, 2012 at 0:19 | comment | added | Felipe Voloch | @Zsbán: That theorem has nice consequences, e.g., in finite geometry. But treating it as a blackbox is just laziness, since the proof is just a couple of pages of basic graduate algebra. | |
| Jun 15, 2012 at 0:14 | answer | added | Paul Siegel | timeline score: 7 | |
| Jun 15, 2012 at 0:04 | answer | added | Paul Siegel | timeline score: 11 | |
| Jun 14, 2012 at 23:08 | answer | added | Gerry Myerson | timeline score: 1 | |
| Jun 14, 2012 at 22:02 | comment | added | Zsbán Ambrus | While we're at algebra, would the theorem that all finite skew fields are fields count? Or is that a curiosity that has no actual applications? | |
| Jun 14, 2012 at 15:16 | answer | added | darij grinberg | timeline score: 2 | |
| Jun 14, 2012 at 15:05 | answer | added | darij grinberg | timeline score: 8 | |
| Jun 14, 2012 at 11:17 | answer | added | Ricky | timeline score: 14 | |
| Jun 14, 2012 at 10:49 | answer | added | Mikhail Bondarko | timeline score: 6 | |
| Jun 14, 2012 at 10:32 | answer | added | C.S. | timeline score: 3 | |
| Jun 14, 2012 at 10:18 | answer | added | Martin Brandenburg | timeline score: 28 | |
| Jun 14, 2012 at 10:09 | answer | added | Zsbán Ambrus | timeline score: 3 | |
| Jun 14, 2012 at 10:07 | answer | added | Martin Brandenburg | timeline score: 13 | |
| Jun 14, 2012 at 9:58 | comment | added | Martin Brandenburg | Quite related: mathoverflow.net/questions/32409/examples-of-folk-theorems | |
| Jun 14, 2012 at 9:46 | answer | added | Denis Serre | timeline score: 1 | |
| Jun 14, 2012 at 8:37 | answer | added | Martin Brandenburg | timeline score: 8 | |
| Jun 14, 2012 at 8:29 | answer | added | Martin Brandenburg | timeline score: 14 | |
| Jun 14, 2012 at 7:02 | answer | added | Michael Greinecker | timeline score: 4 | |
| Jun 14, 2012 at 6:20 | answer | added | Fred Rohrer | timeline score: 23 | |
| Jun 14, 2012 at 5:02 | answer | added | Kestutis Cesnavicius | timeline score: 36 | |
| Jun 14, 2012 at 1:36 | answer | added | Malik Younsi | timeline score: 31 | |
| Jun 14, 2012 at 1:26 | answer | added | S. Carnahan♦ | timeline score: 18 | |
| Jun 14, 2012 at 1:26 | answer | added | Daniel Moskovich | timeline score: 32 | |
| Jun 14, 2012 at 1:12 | answer | added | weakstar | timeline score: 9 | |
| Jun 13, 2012 at 23:54 | answer | added | Gjergji Zaimi | timeline score: 48 | |
| Jun 13, 2012 at 23:51 | answer | added | Anthony Quas | timeline score: 4 | |
| Jun 13, 2012 at 23:25 | answer | added | Abhishek Parab | timeline score: 25 | |
| Jun 13, 2012 at 23:05 | answer | added | Gerry Myerson | timeline score: 42 | |
| Jun 13, 2012 at 23:03 | answer | added | Asaf Karagila♦ | timeline score: 6 | |
| Jun 13, 2012 at 23:01 | answer | added | Benjamin Steinberg | timeline score: 3 | |
| Jun 13, 2012 at 23:00 | answer | added | Gerry Myerson | timeline score: 25 | |
| Jun 13, 2012 at 22:42 | answer | added | tweetie-bird | timeline score: 18 | |
| Jun 13, 2012 at 22:21 | answer | added | Zsbán Ambrus | timeline score: 7 | |
| Jun 13, 2012 at 22:08 | answer | added | Noah Schweber | timeline score: 3 | |
| Jun 13, 2012 at 22:08 | answer | added | Zsbán Ambrus | timeline score: 23 | |
| Jun 13, 2012 at 22:05 | comment | added | Steve Huntsman | Domain of use is important here. Many theorems are invoked by physicists who have no idea of the actual proofs. | |
| Jun 13, 2012 at 21:45 | answer | added | Ralph | timeline score: 11 | |
| Jun 13, 2012 at 21:43 | answer | added | Karl Schwede | timeline score: 24 | |
| Jun 13, 2012 at 21:43 | answer | added | Santiago | timeline score: 4 | |
| Jun 13, 2012 at 21:38 | comment | added | Karl Schwede | The simpler proofs are still at least 20 pages of fairly technical mathematics though. | |
| Jun 13, 2012 at 21:36 | answer | added | Karl Schwede | timeline score: 13 | |
| Jun 13, 2012 at 21:36 | answer | added | Jan Weidner | timeline score: 12 | |
| Jun 13, 2012 at 21:34 | answer | added | Denis | timeline score: 5 | |
| Jun 13, 2012 at 21:31 | answer | added | Jan Weidner | timeline score: 48 | |
| Jun 13, 2012 at 21:30 | answer | added | Dirk | timeline score: 0 | |
| Jun 13, 2012 at 21:28 | comment | added | darij grinberg | I have heard the resolution of singularities being mentioned as an example of this (although there seem to be simpler proofs around now). | |
| Jun 13, 2012 at 20:58 | history | asked | Benjamin Steinberg | CC BY-SA 3.0 |