Meyers Großes Taschenlexikon in 25 Bänden
Gödel
Gödel,Kurt, österr. Mathematiker und Logiker, * Brünn 28. 4. 1906, ✝ Princeton (N. J.) 14. 1. 1978; lieferte grundlegende Beweise innerhalb der formalen Logik, z. B. zur Vollständigkeit und Widerspruchsfreiheit einer mathemat. Theorie; befasste sich auch mit philosoph. Fragen der Mathematik.
Gödel,Kurt, österr. Mathematiker und Logiker, * Brünn 28. 4. 1906, ✝ Princeton (N. J.) 14. 1. 1978; lieferte grundlegende Beweise innerhalb der formalen Logik, z. B. zur Vollständigkeit und Widerspruchsfreiheit einer mathemat. Theorie; befasste sich auch mit philosoph. Fragen der Mathematik.