BASE DE DONNÉES
DES REVUES DE LA FDE
Liste des revues dépouillées
de la Faculté d'Éducation de l'Académie de Montpellier.
Pour connaître la disponibilité d'un numéro, reportez vous au catalogue BIU
![](http://crd34.free.fr/images/Logo-FDE-UM-couleur-2015.png)
![](http://crd34.free.fr/images/logo-um.png)
CRD11
CRD30
CRD34
CRD48
CRD66
A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'programme Hilbert'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Le programme de Hilbert et les mathématiques constructives / Henri Lombardi in Repères - IREM, 50 (01/2003)
![]()
[article]
Titre : Le programme de Hilbert et les mathématiques constructives Type de document : texte imprimé Auteurs : Henri Lombardi, Auteur Année de publication : 2003 Article en page(s) : p. 85-104 : Langues : Français Mots-clés : arithmétique programme Hilbert théorème d'incomplétude mathématique constructive mathématique classique Résumé : Discussion sur le programme de Hilbert. Seule sa version la plus primitive a été mise en échec par le théorème d'incomplétude de Gödel. On peut considérer qu'il a été réalisé pour l'arithmétique élémentaire (décrite par le système formel appelé arithmétique de Peano). L'idée que les mathématiques constructives sont les mieux à même de réaliser le programme de Hilbert, et donc de lever les doutes quant à la validité des mathématiques classiques. En ligne : https://publimath.univ-irem.fr/numerisation/WR/IWR03006/IWR03006.pdf Format de la ressource électronique : Texte intégral
in Repères - IREM > 50 (01/2003) . - p. 85-104 :[article] Le programme de Hilbert et les mathématiques constructives [texte imprimé] / Henri Lombardi, Auteur . - 2003 . - p. 85-104 :.
Langues : Français
in Repères - IREM > 50 (01/2003) . - p. 85-104 :
Mots-clés : arithmétique programme Hilbert théorème d'incomplétude mathématique constructive mathématique classique Résumé : Discussion sur le programme de Hilbert. Seule sa version la plus primitive a été mise en échec par le théorème d'incomplétude de Gödel. On peut considérer qu'il a été réalisé pour l'arithmétique élémentaire (décrite par le système formel appelé arithmétique de Peano). L'idée que les mathématiques constructives sont les mieux à même de réaliser le programme de Hilbert, et donc de lever les doutes quant à la validité des mathématiques classiques. En ligne : https://publimath.univ-irem.fr/numerisation/WR/IWR03006/IWR03006.pdf Format de la ressource électronique : Texte intégral