| Titre : |
Homo informatix |
| Type de document : |
texte imprimé |
| Auteurs : |
Luc (Belge) DE BRADANDERE (1948-....), Auteur |
| Editeur : |
Paris : Le Pommier |
| Année de publication : |
DL 2017 |
| Collection : |
Essai Le pommier |
| Importance : |
137 p. |
| Présentation : |
couv. ill. en coul. |
| Format : |
20 cm |
| ISBN/ISSN/EAN : |
978-2-7465-1285-6 |
| Prix : |
13,00 € |
| Note générale : |
Bibliogr. p.137 |
| Langues : |
Français (fre) |
| Catégories : |
Informatique -- Philosophie
Logique mathématique
|
| Mots-clés : |
Mathématique Algorithme Philosophie Informatique |
| Index. décimale : |
004 Informatique. Généralités |
| 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 ?
|
Homo informatix [texte imprimé] / Luc (Belge) DE BRADANDERE (1948-....), Auteur . - Paris : Le Pommier, DL 2017 . - 137 p. : couv. ill. en coul. ; 20 cm. - ( Essai Le pommier) . ISBN : 978-2-7465-1285-6 : 13,00 € Bibliogr. p.137 Langues : Français ( fre)
| Catégories : |
Informatique -- Philosophie
Logique mathématique
|
| Mots-clés : |
Mathématique Algorithme Philosophie Informatique |
| Index. décimale : |
004 Informatique. Généralités |
| 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 ? |
|
Affiner la recherche Interroger des sources externes
