[FOM] Prenex

[Max Weiss]

An introduction of the term `prenex', or `pr"anexe' occurs on p141 of  
Hilbert & Bernays Grundlagen der Mathematik I, 1934.  They don't cite  
any earlier uses of the term.

The passage is (sloppy) transcribed below.

Best,

Max


die regeln der umformung wollen wir nun zur herstellung einer art von  
normalform verwenden.  es lasst sich namlich jede formel des  
pradikatenkalkuls in eine solche formel uberfuhren, bei der die  
quantoren alle voranstehen, welche also aus einem ausdruck des  
aussagenkalkuls hervorgeht, indem formelvariablen mit argumenten  
versehen werden und freie variablen durch allzeichen oder  
seinszeichen gebunden werden, die vor die ganze forme treten.

eine so beschaffene formel wollen wir eine `pranexe' formel nennen.



On Nov 20, 2007, at 11:13 AM, Thomas Forster wrote:

>
>
> Can anyone tell me the origin of this word?  It's obviously an
> acronym of some kind, and I am getting tired of accompanying my
> explanations to students of the Prenex Normal form theorem with
> apologies for my ignorance, so i would like to know.
>
>    (I did once manage to get into print a spoof reference to the
> original article by the great Albanian logician Enver Prenexh.
> However, on mature consideration, i think he should have been
> Belgian, and spelled `Preneckx'.)
>
>       tf
>
> -- 
> URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph:
> +44-1223-337981. Mobile +44-7887-701-562.
>
>
>
>
>
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom


<<>>><<<>>

Max Weiss
Dep't of Philosophy
U.  British Columbia