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.