Logique, informatique et paradoxes
Jean-Paul Delahaye (Belin - Pour la Science 1995)
Un parcours initiatique sur les chemins de l'indécidabilité, de l'aléatoire, de la déduction et de l'induction. Les découvertes récentes défrichent un univers où l'esprit tente de comprendre l'esprit, de le recréer et de s'en amuser. Un livre pour comprendre pourquoi les STIC sont une science et quelles questions fondamentales elles permettent de poser.
Un livre de culture pour un large public, ludique, et aussi une base pour les étudiants.
The Colossal Book of Mathematics. Classic Puzzles, Paradoxes and Problems
Martin Gardner (W.W. Norton & Company 2001)
Sélection des meilleurs articles de Martin Gardner, ce livre composé de 50 chapitres indépendants fait découvrir en s'amusant toutes sortes d'idées mathématiques. Théorie des nombres, algèbre, géométrie, probabilités, topologie, théorie des jeux, logique, méthodes de calculs, paradoxes, etc. Ces textes dont l'ensemble a sans doute contribué à changer l'image des mathématiques et de ses liens avec la vie courante et les applications, ouvrent l'esprit du lecteur en lui montrant que partout l'esprit logique et mathématique peut trouver à s'exercer. Jamais abstraits ni difficiles ces textes seront appréciés par tous. La rationnalité à l'œuvre chez Martin Gardner est exactement celle qu'on trouve dans les technologies de l'information : concrète mais parfois très subtile, elle associe les questions les plus combinatoires aux thèmes les plus philosophiques et les plus profonds. Le sommet du diverstissement mathématique et logique.
Un livre pour découvrir et réfléchir, et aussi une base pour les étudiants.
Ma Thémagie : en quête de l'essence de l'esprit et du sens
Douglas Hofstadter (InterÉditions 1988)
Traduction de Metamagical Themas (Basic Books 1985).
Ce livre est composé de la réédition des articles (revus et complétés) du Scientific American publié par Douglas Hofstadter, quand, pendant quelques années, il succéda à Martin Gardner. Toutes sortes de thèmes y sont abordés associant des réflexions sur les mathématiques, la logique, l'informatique, l'intelligence artificielle et bien d'autres sujets encore. On se délectera de ces textes amusants et profonds, à la frontière de la philosophie et des sciences qui provoquent et font réfléchir.
