Here is the definition of LA:
Showing posts with label chapter 4. Show all posts
Showing posts with label chapter 4. 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)