Timeline for Most general formulation of Gödel's incompleteness theorems
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Apr 15, 2018 at 17:37 | history | suggested | Oscar Cunningham | CC BY-SA 3.0 |
Corrected definition of $^*$ operator
|
| Apr 15, 2018 at 13:02 | comment | added | Oscar Cunningham | The definition of $^*$ used to be "$A^* = \{ n : \Phi(E_n,n) \in T \}$", which I think is incorrect because $A$ doesn't appear on the right hand side. I made an attempt at a correction, but I'd appreciate if someone could check with a copy of Smullyan's book. | |
| Apr 15, 2018 at 13:00 | review | Suggested edits | |||
| S Apr 15, 2018 at 17:37 | |||||
| Jul 20, 2010 at 19:34 | vote | accept | Sebastian Reichelt | ||
| Jul 20, 2010 at 19:24 | comment | added | Sebastian Reichelt | Many thanks to all who answered. Your post finally made me realize that I had always interpreted the word "predicate" in a too narrow sense: I used to think of predicates as things that appear in formulas, as in "a formula is either a conjunction, or ..., or an instantiation of a predicate." So for me, "predicate" was a system-dependent concept. Now that I understand how you can retroactively define "predicates" for more general formal systems, I would like to accept both Charles Steward's and your answer in combination (i.e. your definitions + the formalized substitution operator). :-) | |
| Jul 19, 2010 at 9:11 | history | answered | user7247 | CC BY-SA 2.5 |