Timeline for The use of computers leading to major mathematical advances II
Current License: CC BY-SA 4.0
28 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4 at 20:44 | answer | added | Zach Hunter | timeline score: 2 | |
| Aug 28, 2022 at 3:59 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
http -> https (the question was bumped anyway)
|
| Jul 12, 2022 at 17:35 | answer | added | Gil Kalai | timeline score: 6 | |
| Dec 11, 2021 at 17:59 | comment | added | wlad | Yes: MathOverflow. Ha ha, only serious. | |
| Dec 11, 2021 at 17:03 | answer | added | Gil Kalai | timeline score: 7 | |
| Dec 4, 2021 at 1:30 | comment | added | Gil Kalai | @Archie, I trust the judgement of answerers. In my view "major" means that either the endeavor is major in term of the computational methods or the mathematical results themselves are major or both. I myself would regard your example as major. | |
| Dec 2, 2021 at 21:21 | answer | added | Gil Kalai | timeline score: 16 | |
| Nov 28, 2021 at 10:29 | comment | added | Guy Coder | For those interested in Proof Assistants, there is a new proposed SE site ProofAssistants | |
| Jul 2, 2021 at 13:50 | comment | added | Joseph Van Name | I heard that billions of dollars have been used especially since 2015 to produce a chain of exceptionally low SHA-256d hashes. Does this count? | |
| Jul 1, 2021 at 9:02 | answer | added | IJL | timeline score: 27 | |
| Jul 1, 2021 at 8:06 | answer | added | Mikael de la Salle | timeline score: 28 | |
| Jul 1, 2021 at 3:39 | answer | added | abrahimladha | timeline score: 34 | |
| Jun 30, 2021 at 23:21 | answer | added | Brian Hopkins | timeline score: 22 | |
| Jun 30, 2021 at 19:53 | answer | added | Archie | timeline score: 21 | |
| Jun 30, 2021 at 19:42 | comment | added | Gil Kalai | Dear @TimothyChow, you are right. Thanks to you and to Matt F for the improvement. | |
| Jun 30, 2021 at 15:13 | answer | added | Peter Scholze | timeline score: 55 | |
| Jun 30, 2021 at 15:08 | history | edited | user44143 | CC BY-SA 4.0 |
revised title per comments, fixed grammatical issue, added proof-assistants tag
|
| Jun 30, 2021 at 14:54 | answer | added | Timothy Chow | timeline score: 24 | |
| Jun 30, 2021 at 14:50 | history | became hot network question | |||
| Jun 30, 2021 at 14:45 | comment | added | Timothy Chow | @GilKalai The title of your question is a little misleading. In your list, B and E often involve no "experimental mathematics" as that term is usually understood. Maybe your question should be titled, "The use of computers leading to major advances." | |
| Jun 30, 2021 at 13:14 | answer | added | Archie | timeline score: 26 | |
| Jun 30, 2021 at 12:32 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
| Jun 30, 2021 at 12:25 | comment | added | Gil Kalai | @Archie, In my judgement it does and maybe I should change "major" to "substantial" or "important". | |
| Jun 30, 2021 at 11:04 | comment | added | Archie | To qualify as 'major mathematical advance', do you have specific criterias in mind? For example Beeson, Narboux and Wiedijk have formalized all of Euclid in HOL light and Coq link.springer.com/article/10.1007/s10472-018-9606-x It allowed them to fix various flaws in Euclid : does this qualify? | |
| Jun 30, 2021 at 9:30 | history | edited | Francesco Polizzi | CC BY-SA 4.0 |
deleted 27 characters in body
|
| Jun 30, 2021 at 9:19 | answer | added | Francesco Polizzi | timeline score: 60 | |
| Jun 30, 2021 at 7:39 | comment | added | Joseph Van Name | I would also like to know recent examples of results of the form "the probability that $X$ is true is at least $\alpha$" where $\alpha$ is very close to $1$ and where $X$ is a random variable that is evaluated experimentally with a computer. | |
| Jun 30, 2021 at 6:50 | history | asked | Gil Kalai | CC BY-SA 4.0 |