Timeline for Moving between first and second order models using recursion
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 26, 2017 at 14:14 | comment | added | Nagase | What I'll say may be completely off mark, but one notable thing about recursion is that, in a certain sense, it allows us to "condense" infinitary resources using finitary means. For instance, without recursion, it's not possible to define addition in the first-order theory of the naturals with the successor function, as that would require an infinitely long formula. Recursion allows us to "condense" all the infinitely many clauses in a single finitary formula. Maybe there is some relation? | |
| Aug 7, 2017 at 0:11 | history | edited | Alec Rhea | CC BY-SA 3.0 |
clarify the question
|
| Aug 6, 2017 at 11:02 | review | Close votes | |||
| Aug 6, 2017 at 12:39 | |||||
| Aug 6, 2017 at 2:08 | history | edited | Alec Rhea |
added a tag
|
|
| Aug 6, 2017 at 1:53 | history | asked | Alec Rhea | CC BY-SA 3.0 |