Georg Kreisel
American mathematician

Georg Kreisel