Timeline for A taxonomy of proof methods [closed]
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 20, 2020 at 0:09 | comment | added | PolymorphismPrince | Perhaps the question could be reframed to a narrower scope, asking how one might go about classifying the proof methods. I.e. what are the highest level distinctions we can make between types of proofs, and how would you go about categorising those at the lower levels of the taxonomy. I could imagine seeing how different people organise these ideas in their head would be insightful. | |
| Oct 19, 2020 at 12:15 | history | closed |
LSpice Sam Hopkins Stanley Yao Xiao Steven Landsburg Piotr Hajlasz |
Needs more focus | |
| Oct 18, 2020 at 2:04 | comment | added | Tony Huynh | There is also the Tricki, which is a Wiki-style site of proof techniques: tricki.org | |
| Oct 17, 2020 at 16:32 | comment | added | Igor Khavkine | An early classic whose aim was to be pedagogic, rather than encyclopedic, is How to Solve It (1945) by G. Pólya. | |
| Oct 17, 2020 at 16:31 | review | Close votes | |||
| Oct 19, 2020 at 12:15 | |||||
| Oct 17, 2020 at 16:13 | comment | added | LSpice | This definitely seems like a worthwhile question to ask, except that it seems way too broad to have any chance at an answer—especially if one doesn't specify a discipline, each discipline having its own specific collection of interesting proof techniques. | |
| Oct 17, 2020 at 15:40 | history | asked | Gergely | CC BY-SA 4.0 |