Difference between revisions of "User:IssaRice/Computability and logic/Expresses versus captures"

From Machinelearning
Jump to: navigation, search
Line 12: Line 12:
 
| Leary & Kristiansen || defines || represents
 
| Leary & Kristiansen || defines || represents
 
|-
 
|-
| Goldrei ||
+
| Goldrei || defines (but the book also uses "represents")<ref>Goldrei. ''Propositional and Predicate Calculus''. p. 137.</ref> ||
 
|-
 
|-
 
| 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"/>

Revision as of 01:26, 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 defines (but the book also uses "represents")[1]
Boolos, Burgess, Jeffrey arithmetically defines[2] defines (for sets), represents (for functions)[2]
Wikipedia arithmetically defines

References

  1. Goldrei. Propositional and Predicate Calculus. p. 137.
  2. 2.0 2.1 George S. Boolos; John P. Burgess; Richard C. Jeffrey. Computability and Logic (5th ed). p. 199 for "arithmetically defines". p. 207 for "defines".