User:IssaRice/Computability and logic/Expresses versus captures

From Machinelearning
< User:IssaRice
Revision as of 01:04, 7 February 2019 by IssaRice (talk | contribs) (Created page with "The ''expresses versus captures'' distinction is an important one in mathematical logic, but unfortunately the terminology differs wildly between different texts. The followin...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.

Text "Expresses" "Captures"
Peter Smith. Godel book expresses captures
Leary & Kristiansen defines represents
Goldrei
Boolos, Burgess, Jeffrey
Retrieved from "https://machinelearning.subwiki.org/w/index.php?title=User:IssaRice/Computability_and_logic/Expresses_versus_captures&oldid=1479"