Skip to main content

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