Andrei Grzegorczyk (geb. 1922)

Der polnische Mathematiker und Logiker Andrei Grzegorczyk befasste sich mit der klassischen zweiwertigen Logik, mit Problemen der Metamathematik, der Theorie der rekursiven Funktionen, der Theorie der rekursiven Funktionale und mit Anwendungen in der konstruktiven Logik. Nach Grzegorczyk ist ein zentrales Axiom der Modallogik benannt.

Die Gesetze der Logik sind für Grzegorczyk Schemata zur Konstruktion komplizierter wahrer Aussagen.