Homo informatix

Publié par Le Pommier, le 19 septembre 2017

137 pages

Résumé

Mathématiques, informatique, logique. Où l'on découvre que ces trois mondes n'en forment qu'un... qui a mis trois mille ans à se constituer. Une histoire peuplée de chiffres, de raisonnements et d'ordinateurs... mais une histoire avant tout humaine. Car mathématiser la logique a motivé philosophes et savants pendant deux millénaires ! Le récit de cette combinaison inattendue entre deux disciplines dont on pourrait croire que tout les oppose nous fera rencontrer une vingtaine de personnalités hors du commun. D'Aristote à Leibniz, de Pascal à Boole, de Russell à Shannon, tous les acteurs de cette histoire pour le moins mouvementée rêvaient de pouvoir vérifier la validité d'un raisonnement comme on résout un système d'équations. Gageure ou intuition de génie ? L'informatique a-t- elle répondu au-delà de leurs espérances ? Et demain, comment l'aventure peut-elle se poursuivre ?

Pensée magique, pensée logique

Le plaisir des idées ; la pratique de la créativité en entreprise (4e édition)

Platon vs Aristote : une initiation joyeuse à la controverse philosophique

Petite philosophie de la transformation digitale - Ou comment (re)découvrir l'art du zigzag

Petite philosophie des mathématiques vagabondes

Petite philosophie des arguments fallacieux

Petite Philosophie des histoires drôles

Petite philosophie des mots espiègles

Critiques