[FOM] Nomenclature - logical formulas and term

[Thomas Forster]

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
> (especially
> 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
> 312-413-2149
> Room 613 Science and Engineering Offices (SEO)
> 851 S. Morgan
> Chicago, IL 60607
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>

-- 
URL:  www.dpmms.cam.ac.uk/~tf;
DPMMS ph: +44-1223-337981;
mobile in UK +44-7887-701-562;
mobile in US: +1-412-818-1316;
mobile in NZ +64-210580093.