GödelGödel,
Kurt, österreichischer Mathematiker und Logiker, *Brünn 28.4. 1906, Princeton (New Jersey) gest. 14.1. 1978; lieferte grundlegende Beweise innerhalb der formalen Logik, z.B. zur Vollständigkeit und Widerspruchsfreiheit einer mathematischen Theorie; befasste sich auch mit philosophischen Fragen der Mathematik.
© Bibliographisches Institut & F. A. Brockhaus AG, Mannheim 2001
| 
