Here is the definition of LA:
Showing posts with label expressing versus capturing numerical properties. Show all posts
Showing posts with label expressing versus capturing numerical properties. Show all posts
Saturday, June 22, 2013
Capturing numerical properties in a formal language of arithmetic
Peter Smith starts Chapter 4 by describing LA, a formal language that is at the core of several AFTs (axiomatized formal theories) of arithmetic. Then Smith explains what it means for a formal language of arithmetic to "express" a numerical property and the stronger notion of "capturing" a numerical property.
Here is the definition of LA:
Here is the definition of LA:
Subscribe to:
Posts (Atom)