Timeline for Problem with this (or any) basic research question?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 26, 2019 at 9:40 | answer | added | ternary | timeline score: -5 | |
| Jan 15, 2019 at 11:04 | answer | added | Todd TrimbleMod | timeline score: 6 | |
| Jan 14, 2019 at 23:52 | comment | added | David Roberts Mod | @AndyPutman I guess that's what Russell and Whitehead thought too ;-) | |
| Jan 14, 2019 at 19:20 | comment | added | Andy Putman | @YemonChoi: I have no serious experience with MIZAR or other computer systems for formalizing mathematics. However, this is a situation where you are dealing with systems with very few axioms, and a proof that is basically completely formal. I feel confident that I (or you!) could write out a completely formal proof of this result in any reasonable setting. Also, the OP was asking for textbooks or papers that proved this; the MIZAR stuff seemed just to be a statement of his motivation. | |
| Jan 14, 2019 at 17:52 | comment | added | Yemon Choi | @AndyPutman Is that assuming I know how to write in MIZAR or not? :) | |
| Jan 14, 2019 at 17:48 | comment | added | Andy Putman | @YemonChoi: In this case (since he's only talking about finite graphs), it's really completely trivial. If you know what a graph is and what mathematical induction is, then you can do it. | |
| Jan 14, 2019 at 17:28 | comment | added | Yemon Choi | @AndyPutman I personally would not have voted to close the question SK19 refers to, as it is asking about references for explicit formalization of things that are normally handwaved, and the experience of suitably credentialled mathematicians seems to suggest that formalizing "easy maths" is not a trivial task | |
| Jan 14, 2019 at 14:32 | comment | added | Andy Putman | Not every trivial fact is stated explicitly in a textbook, but that doesn’t make it “research level”. If a question could be assigned as hw to an undergraduate who just learned the relevant definitions, then it is unlikely to be well received here (even if phrased as a reference request). | |
| Jan 14, 2019 at 13:45 | history | asked | SK19 | CC BY-SA 4.0 |