User:IssaRice/Computability and logic/Expresses versus captures: Difference between revisions
No edit summary |
No edit summary |
||
| Line 16: | Line 16: | ||
| Boolos, Burgess, Jeffrey || arithmetically defines<ref name="boolos">George S. Boolos; John P. Burgess; Richard C. Jeffrey. ''Computability and Logic'' (5th ed). p. 199 for "arithmetically defines". p. 207 for "defines".</ref> || defines (for sets), represents (for functions)<ref name="boolos"/> | | Boolos, Burgess, Jeffrey || arithmetically defines<ref name="boolos">George S. Boolos; John P. Burgess; Richard C. Jeffrey. ''Computability and Logic'' (5th ed). p. 199 for "arithmetically defines". p. 207 for "defines".</ref> || defines (for sets), represents (for functions)<ref name="boolos"/> | ||
|- | |- | ||
| Wikipedia || || | | Wikipedia || [[wikipedia:Arithmetical set|arithmetically defines]] || | ||
|} | |} | ||
Revision as of 01:19, 7 February 2019
The expresses versus captures distinction is an important one in mathematical logic, but unfortunately the terminology differs wildly between different texts. The following table gives a comparison.
- Expressing is done by a language. There is only one form of expressing; I think this follows from the wikipedia:Law of excluded middle.
- Capturing is done by a theory or by axioms. There are two forms of capturing: strong capture (corresponding to deciding), and weak capture (corresponding to recognizing, or semi-deciding).
| Text | "Expresses" | "Captures" |
|---|---|---|
| Peter Smith. Godel book | expresses | captures |
| Leary & Kristiansen | defines | represents |
| Goldrei | ||
| Boolos, Burgess, Jeffrey | arithmetically defines[1] | defines (for sets), represents (for functions)[1] |
| Wikipedia | arithmetically defines |