Timeline for How Would an Intuitionist Prove This?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 28, 2016 at 13:40 | answer | added | Andrej Bauer | timeline score: 19 | |
| Sep 27, 2016 at 19:05 | answer | added | Mitchell Spector | timeline score: 19 | |
| Sep 27, 2016 at 12:20 | answer | added | François G. Dorais | timeline score: 21 | |
| Sep 27, 2016 at 10:34 | vote | accept | J126 | ||
| Sep 27, 2016 at 10:30 | answer | added | Carl Mummert | timeline score: 42 | |
| Sep 27, 2016 at 10:10 | comment | added | J126 | @AsafKaragila The reason this came up is that I am teaching an Intro to Proofs class that I am trying to make as constructive as possible. We have not hit induction yet. So, I was hoping for another way. | |
| Sep 27, 2016 at 10:05 | comment | added | Asaf Karagila♦ | By induction on $b$, perhaps? | |
| Sep 27, 2016 at 9:59 | history | asked | J126 | CC BY-SA 3.0 |