Timeline for Direct proof of irrationality?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 24, 2017 at 6:30 | comment | added | Michael Hardy | @WillSawin : When I wrote this I probably had in mind Inexhaustibility: a non-exhaustive treatment by Torkel Franzén, page 101. $\qquad$ | |
| May 24, 2017 at 6:30 | history | edited | Michael Hardy | CC BY-SA 3.0 |
added 131 characters in body
|
| May 24, 2017 at 3:55 | comment | added | Will Sawin | @Ovi I don't know about the book, but similar ideas are expressed here gowers.wordpress.com/2010/03/28/… (linked above in this thread) | |
| May 24, 2017 at 1:17 | comment | added | Ovi | If you ever happened to remember the book I would appreciate it if you could tell me the title. | |
| Jul 15, 2010 at 16:28 | history | answered | Michael Hardy | CC BY-SA 2.5 |