Timeline for Induction vs. Strong Induction
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 7, 2010 at 19:25 | comment | added | user5810 | Would need in order to prove lots of simple theorems, like every natural is even or odd. | |
| Sep 7, 2010 at 11:24 | comment | added | Andrej Bauer | Can you please elaborate a bit and explain the phrase "would also need"? Would need in order to achieve what? | |
| Sep 7, 2010 at 6:26 | history | answered | user5810 | CC BY-SA 2.5 |