Timeline for Are the Foundations of Mathematical Logic Shaky? [closed]
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 14, 2019 at 19:30 | review | Reopen votes | |||
| Apr 14, 2019 at 20:40 | |||||
| Oct 25, 2012 at 12:36 | comment | added | godelian | I also agree that it would be instructive to have an answer (it could also stand as a precedent for possible future next questions of this kind). | |
| Oct 25, 2012 at 12:34 | history | closed |
Simon Thomas Carl Mummert Gerald Edgar Tom Leinster Todd Trimble |
not constructive | |
| Oct 25, 2012 at 12:11 | comment | added | Qfwfq | Not a duplicate, but a related question: mathoverflow.net/questions/68524/are-inference-laws-consistent | |
| Oct 25, 2012 at 12:09 | comment | added | Asaf Karagila♦ | I agree with Andrej, but I think this question could use some editing. | |
| Oct 25, 2012 at 12:01 | comment | added | Andrej Bauer | I would like to keep this question, please, because it is a common worry by many people. I can answer this. I think it should be answered. | |
| Oct 25, 2012 at 12:00 | comment | added | Gerry Myerson | "All mathematics is done like this (as far as I know)." Then perhaps you should find out a little more about how mathematics is done. | |
| Oct 25, 2012 at 11:55 | answer | added | Andrej Bauer | timeline score: 24 | |
| Oct 25, 2012 at 10:59 | comment | added | Emil Jeřábek | In order to work in a fixed axiomatic theory, say ZFC, you don't need to reason about the theory, you just reason in the theory. You thus don’t need any of the mathematical logic machinery which treats theories as objects and studies their general properties. You only need to be able to recognize a valid proof, i.e., to be familiar with the axioms and derivation rules (“proof techniques”) of your theory. | |
| Oct 25, 2012 at 8:29 | comment | added | Feldmann Denis | And the preface to the logic part of Nicolas Bourbaki's treaty (Ens, ch.I) says "we will not discuss here the possibility of teaching (or describing) mathematics to someone who couldn't read, write or count" | |
| Oct 25, 2012 at 8:23 | comment | added | András Bátkai | Can you formulate a specific question? Your title might be considered subjective and argumentative as it is. See the FAQ. | |
| Oct 25, 2012 at 8:11 | history | asked | supernaturalgospel | CC BY-SA 3.0 |