Kurt Gödel (Brno 1906 - Princeton 1978)
"the greatest logician since Aristotle"
Last update 25/03/2023.