Georg Kreisel
Kreisel, Georg, britisch-amerikanischer Logiker, * Graz 15. 9. 1923, † Salzburg 1. 3. 2015;
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.
Quellenangabe