Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
La machine de Turing
É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,30 €
Chargement...
Le théorème de Gödel
É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 2024
8,30 €
Chargement...
Le Théorème de Gödel
É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 2024
21,70 €
Chargement...
Le point aveugle : cours de logique. Vol. 1. Vers la perfection
É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...
Cinq conférences sur l'indécidabilité
Éditeur(s): Presses de l'Ecole nationale des ponts et chaussées
19,82 €
Chargement...
Le point aveugle : cours de logique. Vol. 2. Vers l'imperfection
É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...
La machine de Turing
É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...
Le fantôme de la transparence
É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...