Georg Kreisel

Studium in Cambridge (Kontakt mit L. Wittgenstein), seit 1960 Professor in Paris, ab 1964 an der Stanford University; war einer der prominentesten Vertreter der mathematischen Logik, zu deren Disziplinen er zahlreiche Beiträge lieferte. Am bekanntesten sind seine Arbeiten über die Rekursionstheorie und zur beweistheoretischen Interpretation des Intuitionismus.