Timeline for Is there a proof (maybe formulated by Feferman) which says that a proof about the (in)consistency of ZFC is unachievable? [closed]
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 30, 2016 at 20:16 | comment | added | Nik Weaver | @Qfwfq: the comment is that (informally speaking) if ZFC is consistent then it cannot prove its own consistency. In that sense a proof of consistency could be "unachievable". | |
| May 30, 2016 at 19:25 | comment | added | Qfwfq | I don't think a proof that inconsistency of ZFC is unachievable could exist: that would be a proof of consistency, contradicting Goedel, right? | |
| May 30, 2016 at 18:38 | history | closed |
Andrés E. Caicedo Emil Jeřábek user1688 Jan-Christoph Schlage-Puchta Myshkin |
Not suitable for this site | |
| May 30, 2016 at 16:48 | answer | added | Flash Sheridan | timeline score: 1 | |
| May 30, 2016 at 15:17 | comment | added | Nik Weaver | Maybe a dim recollection of the second incompleteness theorem? | |
| S May 30, 2016 at 14:37 | review | Low quality posts | |||
| May 30, 2016 at 15:22 | |||||
| S May 30, 2016 at 14:37 | review | Close votes | |||
| May 30, 2016 at 18:38 | |||||
| May 30, 2016 at 13:35 | review | First posts | |||
| May 30, 2016 at 13:54 | |||||
| May 30, 2016 at 13:34 | history | asked | user92313 | CC BY-SA 3.0 |