FREE HISTORICAL FIGURES OF COMPUTING DOSSIER

Kurt Gödel

1906–1978 · Logician & mathematician

Logician & mathematician

Proved that powerful formal systems have unavoidable incompleteness.

Read the complete source-linked dossier →Explore computing history free →