*)Brünn 28.4. 1906, †)Princeton (N. J.) 14.1. 1978, österreichischer Logiker und Mathematiker. Gilt als bedeutendster Logiker des 20. Jh.; lebte ab 1938 in Princeton; bewies u.a. die Vollständigkeit der Quantorenlogik erster Stufe; auch Arbeiten zu philosoph.ischen Grundlagen der Mathematik sowie der Relativitätstheorie; schrieb u.a. ›Eine Bemerkung über die Beziehungen zwischen der Relativitätstheorie und der idealistischen Philosophie‹ (1949). (c) Meyers Lexikonverlag.