Timeline for When does $ZFC \vdash\ ' ZFC \vdash \varphi\ '$ imply $ZFC \vdash \varphi$?
Current License: CC BY-SA 3.0
30 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 3, 2014 at 20:40 | vote | accept | Burak | ||
| Sep 24, 2013 at 16:24 | history | wiki removed | François G. Dorais | ||
| Sep 24, 2013 at 13:59 | comment | added | Andrej Bauer | Don't worry, we get asked a lot of beginner questions about logic. I explain this to myself in terms of a typical mathematician having little or no training in logic, so it's all research level to him. But that is ok, this forum is here to enlighten people. | |
| S Sep 24, 2013 at 13:47 | history | suggested | CommunityBot | CC BY-SA 3.0 |
Replaced two instances of backslash-{ with {, to fix the rendering
|
| Sep 24, 2013 at 13:17 | review | Suggested edits | |||
| S Sep 24, 2013 at 13:47 | |||||
| Apr 14, 2013 at 19:46 | history | edited | Everett Piper |
added the proof theory tag
|
|
| Apr 13, 2013 at 2:17 | history | edited | Burak | CC BY-SA 3.0 |
added 539 characters in body
|
| Apr 13, 2013 at 2:10 | comment | added | Burak | Dear François, the reason for so many edits is that after posting the original question, I realized some of my statements were faulty and while trying to fix those I began partially answering my own question and thus, editing continuously. And here comes the latest edit... | |
| Apr 12, 2013 at 23:24 | comment | added | François G. Dorais | Dear Burak, you can edit your question as much as you want but at some point it's simply better to ask another one, especially if you want more answers. | |
| Apr 12, 2013 at 21:45 | history | edited | Burak | CC BY-SA 3.0 |
added 111 characters in body
|
| Apr 12, 2013 at 20:50 | history | edited | Burak | CC BY-SA 3.0 |
added 73 characters in body; deleted 12 characters in body
|
| Apr 12, 2013 at 20:39 | history | edited | Burak | CC BY-SA 3.0 |
added 80 characters in body
|
| Apr 12, 2013 at 20:32 | history | edited | Burak | CC BY-SA 3.0 |
added 143 characters in body
|
| Apr 12, 2013 at 20:17 | history | edited | Burak | CC BY-SA 3.0 |
added 1515 characters in body
|
| Apr 12, 2013 at 12:29 | answer | added | Joel David Hamkins | timeline score: 16 | |
| Apr 12, 2013 at 10:27 | vote | accept | Burak | ||
| Apr 12, 2013 at 22:09 | |||||
| Apr 12, 2013 at 10:14 | answer | added | Emil Jeřábek | timeline score: 23 | |
| Apr 12, 2013 at 10:13 | history | edited | Burak | CC BY-SA 3.0 |
added 83 characters in body
|
| Apr 12, 2013 at 10:04 | history | edited | Burak | CC BY-SA 3.0 |
added 294 characters in body
|
| Apr 12, 2013 at 8:55 | history | edited | Burak | CC BY-SA 3.0 |
added 15 characters in body
|
| Apr 12, 2013 at 8:49 | comment | added | Burak | I don't see how that should help in this case since what I am looking for is if $ZFC \vdash Bew(\varphi)$, then $ZFC \vdash \varphi$. | |
| Apr 12, 2013 at 8:37 | history | edited | Burak | CC BY-SA 3.0 |
added 9 characters in body
|
| Apr 12, 2013 at 8:36 | comment | added | Benedict Eastaugh | By Löb's theorem, if $ZFC \vdash Bew(\ulcorner\varphi\urcorner) \rightarrow \varphi$ then $ZFC \vdash \varphi$. | |
| Apr 12, 2013 at 8:30 | history | edited | Burak | CC BY-SA 3.0 |
deleted 431 characters in body; added 173 characters in body
|
| Apr 12, 2013 at 8:02 | history | edited | Burak | CC BY-SA 3.0 |
added 34 characters in body; edited title
|
| Apr 12, 2013 at 7:45 | history | edited | Burak | CC BY-SA 3.0 |
added 3 characters in body
|
| Apr 12, 2013 at 7:39 | history | edited | Burak | CC BY-SA 3.0 |
added 81 characters in body
|
| Apr 12, 2013 at 7:28 | history | edited | Burak | CC BY-SA 3.0 |
added 437 characters in body; edited title
|
| Apr 12, 2013 at 6:43 | history | edited | Burak | CC BY-SA 3.0 |
edited title; edited title
|
| Apr 12, 2013 at 6:29 | history | asked | Burak | CC BY-SA 3.0 |