Timeline for ZFC ability to express truth and $\omega$ - consistency
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 11, 2019 at 16:16 | vote | accept | D. Hershko | ||
| Jan 10, 2019 at 1:54 | answer | added | Andreas Blass | timeline score: 6 | |
| Jan 9, 2019 at 15:46 | comment | added | Andrej Bauer | Quite right, I shouldn't try to mix MO and administrative tasks. | |
| Jan 9, 2019 at 13:30 | comment | added | Peter LeFanu Lumsdaine | @AndrejBauer: Re your side remark: surely PA+¬Con(PA) does prove its own inconsistency, since that follows directly from inconsistency of PA? But your main point, that this question ought to be on math.stackexchange.com , I of course agree with. | |
| Jan 9, 2019 at 13:25 | review | Close votes | |||
| Jan 14, 2019 at 18:28 | |||||
| Jan 9, 2019 at 13:11 | comment | added | Andrej Bauer | Please ask non-research-level questions on math.stackexhange.com. And by the way $PA + \lnot CON(PA)$ does not prove its own inconsistency. It proves inconsistency of $PA$. | |
| Jan 9, 2019 at 12:47 | comment | added | Alec Rhea | Hi D. Hershko, welcome to MO. This site is for research level mathematics and this appears to be a pretty standard question about Gödels incompleteness theorem and model theory unless I’m missing something, which would fit in better over at MSE. | |
| Jan 9, 2019 at 11:15 | review | First posts | |||
| Jan 9, 2019 at 12:21 | |||||
| Jan 9, 2019 at 11:13 | history | asked | D. Hershko | CC BY-SA 4.0 |