Logiciens
Aristote, Gödel, Turing : les portraits de ceux qui ont donné des règles à la pensée — et découvert, chemin faisant, où ces règles s’arrêtent.
-
Alan Turing — la pensée devenue machine
Un ruban, des symboles, des règles : la machine de papier qui a inventé l’informatique — et posé la question de savoir si l’Univers est un calcul.
-
Aristote — l’inventeur de la logique
Le premier à découvrir que penser obéit à des règles — et dont la physique de bon sens sera méthodiquement trahie par la science moderne.
-
Kurt Gödel — l’honnêteté faite théorème
En 1931, à vingt-cinq ans, Gödel ferme un rêve : aucun système ne peut tout démontrer, ni certifier ses propres fondations. L’honnêteté devient théorème.