programme de Hilbert

Il y a 28 résultats avec cette recherche.

1994 Mathématiques constructives. Hier et demain. p. 3-14.

Auteur : Lombardi Henri
2000 Pour la Science. N° spécial. 278. Les infinis. p. 74-81. L’infini, pierre de touche du constructivisme.

Auteur : Calder Allan
1994 Mathématiques constructives. De la difficulté d’être omniscient. p. 25-37.

Auteur : Lombardi Henri
2014 Vidéo de l’IREM de Paris – Conférences. A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court).

Auteur : Krivine Jean-Louis