Timeline for Can infinity shorten proofs a lot?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 20, 2018 at 11:30 | comment | added | Mikhail Katz | @PietroMajer, what's involved is getting the quantifier order right and that sort of thing. | |
| Mar 11, 2018 at 21:42 | comment | added | Pietro Majer | yet what's so involved in $x=n$ and $x'=n+1/n$ and $x'^2-x^2>2$ ? | |
| Mar 24, 2013 at 12:50 | history | answered | Mikhail Katz | CC BY-SA 3.0 |