Timeline for Reference for Diagonalization Trick
Current License: CC BY-SA 3.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 5, 2014 at 7:10 | history | edited | Francois Ziegler |
tagged
|
|
May 4, 2014 at 14:01 | comment | added | François G. Dorais | This isn't really a "diagonalization argument" in the modern sense used by logicians, though it does share some key ideas. Rosenthal has called this type of argument "Ramsey's Theorem for Analysts", see my answer here, so it could as well be called a "Ramsey trick". | |
Apr 26, 2014 at 4:59 | answer | added | Francois Ziegler | timeline score: 12 | |
Apr 26, 2014 at 2:04 | comment | added | KConrad | I wouldn't be surprised if it's only the idea of diagonalization that is due to Cantor (in his proof of uncountability of $[0,1]$) and its particular manifestation for iterated subsequences was due to someone else later. | |
Apr 26, 2014 at 1:54 | comment | added | Francois Ziegler | Reed & Simon here ;-) | |
Apr 26, 2014 at 0:10 | history | asked | Barry Simon | CC BY-SA 3.0 |