Catégories
Documents disponibles dans cette catégorie (4)
Faire une suggestion Affiner la recherche
Etendre la recherche sur niveau(x) vers le haut et vers le bas
Gödel, Escher, Bach : Les brins d'une guirlande éternelle / Douglas HOFSTADTER
Titre : Gödel, Escher, Bach : Les brins d'une guirlande éternelle Type de document : texte imprimé Auteurs : Douglas HOFSTADTER Editeur : InterEditions Année de publication : 1985 Importance : 883 p. ISBN/ISSN/EAN : 978-2-7296-0617-6 Note générale : Sommaire
Présentation
Avant-propos à l'édition française
Notes et références
Liste des illustrations
Sources iconographiques et bibliographiques
Bibliographie
Index analytiqueCatégories : Intelligence artificielle
Mathématiques
Mathématiques:PhilosophieIndex. décimale : 004.01 Résumé : GEB :
Introduction : Offrande musico-logique
L'énigme MU
Signification et forme en mathématiques
Figure et fond
Consistance, complétude et géométrie
Structures et processus récursifs
Où réside la signification?
Le calcul propositionnel
Unsystème explosif : la TNT
Mumon et Gödel
EGB :
Niveaux de description et ordinateurs
Cerveaux et pensées
Esprits et pensées
Bucle, Mucle, et Pucle
Dea propositions formellement indécidables dans la TNT et les systèmes apparentés
Sortir du système
Auto-réf et auto-rep
Church, Turing, Tarski et autres
Intelligence artificielle : passé
Intelligence artificielle : avenir
Boucles Etranges, ou Hiérarchies EnchevêtréesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001817 004.01 HOF Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Les mathématiques, plaisir et necéssité : un parcours guidé dans l'univers des mathématiques / Albert DUCROCQ
Titre : Les mathématiques, plaisir et necéssité : un parcours guidé dans l'univers des mathématiques Type de document : texte imprimé Auteurs : Albert DUCROCQ ; André WARUSFEL Mention d'édition : 1ere édition 2e tirage Editeur : Vuibert Année de publication : 2001 Importance : 378 p. ISBN/ISSN/EAN : 978-2-7117-5266-9 Note générale : Sommaire
Table des matières analytique
Prologue
Conclusion
IndexCatégories : Mathématiques
Mathématiques:Histoire
Mathématiques:PhilosophieIndex. décimale : 510 Mathématiques Résumé : Le matin des mathématiciens
Notation, symbolisme, vocabulaire: les mathématiques ont leur langage
Le calcul des limites
Mathématiques du ciel : mécanique et cadastre
L'académie des quarante problèmes
Qu'est-ce qu'un point ?
Qu'est-ce qu'un nombre?
Mathématiques et information (1) : vaincre les distances
Mathématiques et information (2) : un ordinateur pour chacun
Mathématiques et matériaux
Les sciences de la Terre : une planète en équations
Mathématiques et biologieExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001030 510 DUC Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible La notion d'infini : l'infini mathématique entre mystère et raison.Intuitions, paradoxes, rigueur / Thérèse GILBERT
Titre : La notion d'infini : l'infini mathématique entre mystère et raison.Intuitions, paradoxes, rigueur Type de document : texte imprimé Auteurs : Thérèse GILBERT ; Nicolas ROUCHE Editeur : Ellipses Année de publication : 2001 Importance : 348 p. ISBN/ISSN/EAN : 978-2-7298-0617-0 Note générale : Avant-propos
Solutions des exercices
Index
Bibliographie
Table des matièresCatégories : Infini
Mathématiques
Mathématiques:PhilosophieIndex. décimale : 510.1 Mathématiques discrètes (finies) Résumé : Le fini témoigne de l'infini
L'infini est-il dans la réalité ?
L'infini est en vue
Faire la droite avec des points
Les réels : mesures, écritures ou objets de calcul ?
L'infini acceptéExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001010 510.1 GIL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Pour l'honneur de l'esprit humain : les mathématiques aujourd'hui / Jean DIEUDONNE
Titre : Pour l'honneur de l'esprit humain : les mathématiques aujourd'hui Type de document : texte imprimé Auteurs : Jean DIEUDONNE Editeur : Hachette Année de publication : 1987 Collection : Histoire et Philosophie des Sciences Importance : 298 p. ISBN/ISSN/EAN : 978-2-01-011950-7 Note générale : Introduction
Index historique
Index terminologique
Table des matières
Bibliographie commentéeCatégories : Mathématiques
Mathématiques:Histoire
Mathématiques:PhilosophieIndex. décimale : 510.9 Résumé : Mathématiques et mathématiciens
La nature des problèmes des mathématiques
Objets et méthodes des mathématiques classiques
Quelques problèmes des mathématiques classiques
Nouveaux objets et nouvelles méthodes
Problèmes et pseudo-problèmes des "fondements"Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001077 510.9 DIE Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible