[FOM] Prenex

Max Weiss mmweiss at interchange.ubc.ca
Mon Nov 26 17:06:36 EST 2007

An introduction of the term `prenex' or `pr\''anexe' occurs on p. 141 of Hilbert & Bernays, Grundlagen der Mathematik I (1934).  

The passage is transcribed below.


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.

-----Original Message-----

> Date: Tue Nov 20 11:13:22 PST 2007
> From: "Thomas Forster" <T.Forster at dpmms.cam.ac.uk>
> Subject: [FOM] Prenex
> To: "Foundations of Mathematics" <fom at cs.nyu.edu>
> 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
Dept of Philosophy
U. British Columbia

More information about the FOM mailing list