Timeline for Request for examples: verifying vs understanding proofs
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 14, 2020 at 13:54 | comment | added | Lars H | @Mitch: It's obvious on the semantic side, but formalised logic is about what you can establish on the syntactic side. Gödel couldn't arithmetise the concept of truth, because that is semantic, but he could arithmetise the concept of provability because that is (in the modern view) strictly syntactic. | |
| Jun 13, 2020 at 17:48 | comment | added | Mitch | @TimothyChow. Of course. $\rightarrow$, $\Rightarrow$, $vdash$, $\vDash$ all so distinct. But sometimes you just... it's all so... just look at them... side by side... it's so obvious! | |
| Jun 12, 2020 at 21:17 | comment | added | Timothy Chow | @Mitch : Surely as soon as one grasps the distinction between $\vdash$ and $\implies$ one is led to ask what the relationship between them is? | |
| Jun 12, 2020 at 19:22 | comment | added | Mitch | Perfect example. I just read this and immediately I fall back to not understanding the point of the Deduction Theorem. How could it not be the case? How would you even think that it is a thing to doubt? | |
| Jun 11, 2020 at 23:09 | review | First posts | |||
| Jun 11, 2020 at 23:51 | |||||
| S Jun 11, 2020 at 23:04 | history | answered | Lars H | CC BY-SA 4.0 | |
| S Jun 11, 2020 at 23:04 | history | made wiki | Post Made Community Wiki by Lars H |