Timeline for What is the meta-language of ZFC?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 18, 2023 at 15:34 | comment | added | Julius Hamilton | Here are my thoughts on recursion for anyone that’d be interested. cs.stackexchange.com/questions/160748/… Thank you | |
| Jun 17, 2023 at 12:55 | comment | added | Julius Hamilton | @hardmath could you post that as an answer so I can discuss and engage with it more, or maybe we can form a chatroom here on the site? But yeah, let me dwell on what I’m trying to get at regarding recursion. It’s a thought that’s been on the tip of my tongue, it’s still slowly getting formulated. Thx | |
| Jun 16, 2023 at 12:53 | comment | added | hardmath | The axioms of ZFC are per se sentences in a first order theory. The "grammar" of a first order theory is (if I understand your meaning) determined by the signature of the theory, i.e. its predicates, function symbols (including constants), etc. The other grammatical elements (variables, logical operators, quantifiers, equality) are considered common to all first order theories. From there your "desire to understand" something about defining recursive functions (or complexity classes?) needs clarification. Perhaps formulating a concrete problem would help. | |
| Jun 16, 2023 at 12:37 | vote | accept | Julius Hamilton | ||
| Jun 16, 2023 at 9:59 | answer | added | Alex Chichigin | timeline score: 6 | |
| Jun 14, 2023 at 7:26 | comment | added | Julius Hamilton | Probably - if you could elaborate, your thoughts would be most welcome. Thank you! | |
| Jun 14, 2023 at 7:05 | comment | added | Trebor♦ | Perhaps: what is a metalanguage of ZFC? | |
| Jun 13, 2023 at 23:26 | answer | added | Jason Rute | timeline score: 4 | |
| Jun 13, 2023 at 22:12 | history | asked | Julius Hamilton | CC BY-SA 4.0 |