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.
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.