[FOM] Nomenclature - logical formulas and term
T.Forster at dpmms.cam.ac.uk
Thu Nov 6 05:23:45 EST 2008
I don't know, but one related question i have been discussing with
colleagues recently is: who was the first person to explicitly regard
expressions (designators? wffs?) as a recursive datatype? Famously
Russell and Whitehead did not...
On Wed, 5 Nov 2008, John Baldwin wrote:
> Logicians routine define a formal language by defining inductively
> terms and formulas.
> Is there a good word for the union of these classes? `Expression' springs
> to mind. Unfortunately, expression is a frequent synonym for term
> in high school algebra).
> Shoenfield used `designator' but that seems too technical when speaking
> with mathematics educators.
> John T. Baldwin
> Professor Emeritus
> Department of Mathematics, Statistics,
> and Computer Science M/C 249
> jbaldwin at uic.edu
> Room 613 Science and Engineering Offices (SEO)
> 851 S. Morgan
> Chicago, IL 60607
> FOM mailing list
> FOM at cs.nyu.edu
DPMMS ph: +44-1223-337981;
mobile in UK +44-7887-701-562;
mobile in US: +1-412-818-1316;
mobile in NZ +64-210580093.
More information about the FOM