GEOTRUST SSL CERTIFICATE
Résultat de la recherche
9 recherche sur le mot-clé 'Gödel, théorème de'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Présente les bases de la théorie de la complexité des algorithmes et en dérive les théorèmes fondamentaux de décidabilité et d'indécidabilité pour la logique et l'arithmétique, dont le premier théorème d'incomplétude de Gödel.![]()
texte imprimé
André Delessert, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | 2000Histoire de la notion du nombre depuis Platon et Aristote jusqu'au renversement révolutionnaire des fondements mathématiques induit par les théorèmes de complétude et d'incomplétude de Gödel.![]()
texte imprimé
Jean Ladrière, Auteur | Sceaux (Hauts-de-Seine) : J. Gabay | Les grands classiques Gauthier-Villars, ISSN 0989-0602 | 1993Une étude sur le théorème de Gödel.![]()
texte imprimé
Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Gödel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés.![]()
texte imprimé
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.![]()
texte imprimé
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.![]()
texte imprimé
Les théorèmes d'incomplétude de Gödel démontrent qu'un système d'axiomes cohérent est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes dont résultent ces énoncés. Présente les résultats d'[...]![]()
texte imprimé
Les théorèmes d'incomplétude de Gödel démontrent qu'un système d'axiomes cohérent est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes dont résultent ces énoncés. Présente les résultats d'[...]![]()
texte imprimé
Ces études sont, pour l'essentiel, consacrées au statut et aux fonctions des preuves mathématiques et aux "réactions" du philosophe aux théorèmes de Gödel.