Timeline for Propositional logic --- syntactical completeness
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| Aug 23, 2014 at 22:46 | history | tweeted | twitter.com/#!/StackCompSci/status/503312391657238529 | ||
| Aug 23, 2014 at 18:30 | comment | added | zpavlinovic | I have stated that his theorem applies to FOL. My confusion stemmed from the wrong assumption of what constitutes a FOL theory, in particular the language part of it. | |
| Aug 23, 2014 at 18:13 | comment | added | templatetypedef | I think you're mixing up propositional and first-order logic. The incompleteness theorem applies to first-order logic, not propositional logic. | |
| Aug 23, 2014 at 14:11 | vote | accept | zpavlinovic | ||
| Aug 23, 2014 at 5:57 | answer | added | Shaull | timeline score: 5 | |
| Aug 23, 2014 at 5:15 | history | edited | zpavlinovic | CC BY-SA 3.0 |
added 55 characters in body
|
| Aug 23, 2014 at 5:08 | history | asked | zpavlinovic | CC BY-SA 3.0 |