Timeline for Can infinity shorten proofs a lot?
Current License: CC BY-SA 2.5
48 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 24 at 14:12 | review | Close votes | |||
| Mar 25 at 8:37 | |||||
| Apr 7, 2019 at 11:40 | review | Close votes | |||
| Apr 7, 2019 at 13:10 | |||||
| Mar 12, 2018 at 17:22 | answer | added | Joel Adler | timeline score: 0 | |
| Mar 11, 2018 at 19:32 | answer | added | Piotr Hajlasz | timeline score: 8 | |
| Mar 12, 2015 at 16:44 | answer | added | Mohammad Golshani | timeline score: 23 | |
| Mar 24, 2013 at 12:50 | answer | added | Mikhail Katz | timeline score: 7 | |
| Dec 4, 2012 at 11:28 | answer | added | Pablo Zadunaisky | timeline score: 5 | |
| Dec 4, 2012 at 0:39 | answer | added | none | timeline score: 4 | |
| Dec 3, 2012 at 18:04 | answer | added | Chris Pressey | timeline score: 5 | |
| Apr 20, 2012 at 13:37 | answer | added | Larry Rolen | timeline score: 5 | |
| Apr 20, 2012 at 6:48 | answer | added | Johan Wästlund | timeline score: 7 | |
| Apr 19, 2012 at 16:58 | answer | added | Andreas Blass | timeline score: 26 | |
| Apr 19, 2012 at 14:24 | answer | added | Gerald Edgar | timeline score: 2 | |
| Apr 19, 2012 at 13:31 | answer | added | Terry Tao | timeline score: 11 | |
| Apr 19, 2012 at 9:09 | comment | added | Zsbán Ambrus | You can prove finite Ramsey-like theorems from infinite ones using nonstandard analysis (compactness or ultraproducts). This doesn't make the proofs shorter, but it can make finding the standard proofs much easier, because you don't have to think about the quantors (epsilon-deltas) so much. | |
| Apr 19, 2012 at 9:06 | comment | added | Zsbán Ambrus | @gowers: if you want to change your displayed name, click on your name at the top of the webpage, which takes you to your profile page, then click on "edit" there. | |
| Apr 19, 2012 at 6:39 | history | edited | Kaveh |
edited tags
|
|
| Apr 19, 2012 at 6:38 | history | edited | Kaveh |
edited tags
|
|
| Feb 15, 2012 at 19:49 | comment | added | Jon Bannon | I did not know the name of Goodstein's Theorem (thanks for cluing me in JDH!). For those similarly ignorant here's a link: en.wikipedia.org/wiki/Goodstein%27s_theorem. | |
| Feb 1, 2012 at 14:56 | answer | added | Igor Khavkine | timeline score: 28 | |
| Feb 1, 2012 at 13:07 | answer | added | Carl Mummert | timeline score: 17 | |
| Feb 1, 2012 at 9:43 | answer | added | Michael Greinecker | timeline score: 10 | |
| Dec 10, 2009 at 13:52 | comment | added | Sonia Balagopalan | I do a bit of detective work on users who don't turn up on search and see where I get! There should a link to edit (right after the Registered User banner) on your profile page. It seems you don't turn up on searches as long as your display name is empty. In addition, this user could be you: mathoverflow.net/users/1438 | |
| Nov 21, 2009 at 16:29 | comment | added | gowers | Not the latter as I go by my middle name. Happy to make the change but have not managed to find where I can do it. (Please excuse my utter incompetence.) | |
| Nov 20, 2009 at 21:35 | comment | added | Greg Kuperberg | If I may make a request, it would be wonderful if our colleague Gowers changed his or her display name to First Last or First M. Last. | |
| Nov 18, 2009 at 20:17 | answer | added | Jose Brox | timeline score: 4 | |
| Nov 18, 2009 at 13:43 | answer | added | Gerald Edgar | timeline score: 5 | |
| Nov 18, 2009 at 13:00 | answer | added | Gil Kalai | timeline score: 10 | |
| Nov 18, 2009 at 11:54 | answer | added | Neel Krishnaswami | timeline score: 4 | |
| Nov 18, 2009 at 8:49 | answer | added | David Corfield | timeline score: 8 | |
| Nov 18, 2009 at 4:06 | answer | added | Jonathan Wise | timeline score: 5 | |
| Nov 17, 2009 at 15:53 | answer | added | Kevin H. Lin | timeline score: 4 | |
| Nov 17, 2009 at 15:24 | history | edited | Anton Geraschenko | CC BY-SA 2.5 |
added 11 characters in body
|
| Nov 17, 2009 at 15:09 | answer | added | Jose Brox | timeline score: 1 | |
| Nov 17, 2009 at 3:23 | answer | added | Scott Carter | timeline score: 54 | |
| Nov 17, 2009 at 2:02 | answer | added | Dan Piponi | timeline score: 15 | |
| Nov 17, 2009 at 0:56 | comment | added | Anton Geraschenko | See also mathoverflow.net/questions/551/… | |
| Nov 17, 2009 at 0:54 | comment | added | Anton Geraschenko | Alakazam ! | |
| Nov 17, 2009 at 0:40 | answer | added | Kristal Cantwell | timeline score: 11 | |
| Nov 17, 2009 at 0:25 | answer | added | Harrison Brown | timeline score: 5 | |
| Nov 17, 2009 at 0:11 | answer | added | Ori Gurel-Gurevich | timeline score: 14 | |
| Nov 16, 2009 at 23:51 | answer | added | Qiaochu Yuan | timeline score: 5 | |
| Nov 16, 2009 at 23:48 | comment | added | Greg Kuperberg | I was somehow magically merged at some point. I flagged your post to ask the moderators to do it for you too, if they were the ones who did it. | |
| Nov 16, 2009 at 23:44 | comment | added | gowers | Ultimately what's wanted is a very nice demonstration for the non-mathematician of why infinity is useful even if all you care about is finitary results. | |
| Nov 16, 2009 at 23:44 | answer | added | Mariano Suárez-Álvarez | timeline score: 60 | |
| Nov 16, 2009 at 23:41 | comment | added | Qiaochu Yuan | I take it by "infinity" you don't mean "one-point compactification," which is also very useful in its own right. | |
| Nov 16, 2009 at 23:41 | answer | added | Ryan Budney | timeline score: 18 | |
| Nov 16, 2009 at 23:37 | history | asked | gowers | CC BY-SA 2.5 |