Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Livres Jean-Yves Girard
Éditeur(s) :
Seuil
Une machine de Turing est un modèle mathématique simple pour tout processus de calcul. Ce modèle de la calculabilité a sa source dans un article de 1936 traduit ici pour la première fois en français. Alan Turing (1912-1954) y démontre, entre autres, qu'il existe des ...
8,70 €
Chargement...
Éditeur(s) :
Seuil
En 1931, Kurt Gödel démontrait, dans un article révolutionnaire, l'incomplétude de tout système axiomatique contenant la théorie des nombres. Apparemment très technique, ce théorème bouleversait de fond en comble la philosophie des mathématiques. ©Electre 2025
8,70 €
Chargement...
Éditeur(s) :
Seuil
En 1931, Kurt Gödel démontrait, dans un article révolutionnaire, l'incomplétude de tout système axiomatique contenant la théorie des nombres. Apparemment très technique, ce théorème bouleversait de fond en comble la philosophie des mathématiques. ©Electre 2025
21,70 €
Chargement...
Éditeur(s) :
Hermann
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; Autour de Curry-Howard...
36,00 €
Chargement...
Éditeur(s) :
Hermann
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il développe une méthodologie de l'interprétation de l'imperfection, postulant une pérennité non pérenne qui s'exprime dans les...
38,00 €
Chargement...
Éditeur(s) :
Seuil
Une machine de Turing est un modèle mathématique simple pour tout processus de calcul. Ce modèle de la calculabilité a sa source dans un article de 1936 traduit ici pour la première fois en français. Alan Turing (1912-1954) y démontre, entre autres, qu'il existe des ...
23,40 €
Chargement...
Éditeur(s) :
Allia
Le logicien s'attache à démontrer l'impossibilité de l'exigence contemporaine de transparence absolue. Tracer les limites de la raison est donc l'objet de cet essai, soulignant qu'il faut aussi compter sur la déraison, du moins avec elle. Le propos s'appuie sur diver...
14,00 €
Chargement...
