Titre : | La logique : Le vrai, le faux et l'incertain : Tangente Hors-série n°15 |
Auteurs : | Benoît Rittaud, Auteur ; Alain Zalmanski, Auteur ; Daniel Temam, Auteur ; Daniel Barthe, Auteur ; Gérard Cohen-Zardi, Auteur ; Hervé Lehning, Auteur ; F. Casiro, Auteur ; Christophe Tollu, Auteur ; Nicolas Delerue, Auteur ; Bernadette Bouchon-Meunier, Auteur ; Norbert Verdier, Auteur ; Jean-Louis Krivine, Auteur ; Martin Jardin, Auteur ; E. Janvresse, Auteur ; T. de la Rue, Auteur ; Michel Criton, Auteur ; A. Cardon, Auteur ; Jacques Sélamé, Auteur ; Jim Propp, Auteur ; Marie Berrondo-Agrell, Auteur |
Type de document : | texte imprimé |
Editeur : | Paris : Editions Pôle, 2004 |
Collection : | Bibliothèque Tangente, l'aventure mathématique, ISSN 0987-0806 |
ISBN/ISSN/EAN : | 978-2-84884-018-5 |
Format : | 139 p. / ill. en coul. / 25 cm |
Langues: | Français |
Sujets : |
Champion (test) Turing, Alan (1912-1954)Champion Thesaurus analyse : logique ; Aristote : 0384-0322 AV-JC ; Carroll, Lewis (1832-1898) ; circuit logique ; déduction ; ensemble : mathématique ; géométrie ; informatique ; intelligence artificielle ; jeu ; langage de programmation ; logique ; logique mathématique ; raisonnement ; robot ; syllogisme ; test d'aptitude |
Résumé : |
Comment garantir qu'une argumentation est correcte et qu'aucun cercle vicieux ne s'immisce dans des propos qui se veulent justes? On comprend à ces mots que la logique est un indispensable bagage pour tous. Syllogismes, tiers exclu, implication ou règles de déduction: le lecteur de cet ouvrage verra naître avec Aristote la logique élémentaire. Puis il rêvera avec Hilbert d'un absolu mathématique avant de l'abattre en compagnie de Gödel. Il se frottera aux logiques nouvelles avec la logique floue. Enfin, il découvrira un immense territoire ludique fait d'énoncés auto-référents ou de joutes impitoyables où s'affrontent Menteurs et Sincères, Sages et Fous, Barbiers, Princesses.
|
Note de contenu : | Le projet de Hilbert;Les machines de Turing;La correspondance de Curry-Howard; jeux et paradoxes; |
Exemplaires (1)
Localisation | Section | Support | Cote de rangement | Statut | Disponibilité |
---|---|---|---|---|---|
Bibliothèque Pédagogique de Champion | 51. Mathématiques | Livre | 514 TAN LOG | Empruntable | Disponible |