Description

Quand Ulysse se dit crétois - les champions du mensonge pour
les Grecs - il admet son mensonge et en mentant dit donc la
vérité. La situation serait en revanche paradoxale si Ulysse était
crétois. Quelles sont les limites de la logique - la pensée
exprimée par le langage - son potentiel, ses difficultés ? Depuis
sa création, la logique a côtoyé la philosophie, la théologie, la
linguistique, jusqu'à devenir un langage formel étroitement lié
aux mathématiques et à l'informatique. Ce livre en raconte la
passionnante histoire, de l'aube de la civilisation jusqu'à nos
jours, à travers les aventures personnelles et intellectuelles de
ses protagonistes les plus importants, d'Aristote à Turing et
Gödel. Paradoxes et casse-tête, axiomes et règles de la raison,
applications pratiques telles les ordinateurs défilent dans cet
ouvrage avec légèreté, ironie et esprit critique. Une
passionnante exploration de la logique et de la pensée.