Mots-clés – Auteurs

récurrence transfinie

Il y a 13 résultats pour cette recherche

2017 Bibliothèque Tangente. N° 61. Les ensembles.
Auteur : Cohen Gilles. Dir.
2017 Bibliothèque Tangente. N° 61. L’axiome du choix. p. 132-134.
Auteur : Lehning Hervé
2016 Tangente Hors-série. N° 61. Les ensembles.
Auteur : Cohen Gilles. Dir.
2016 Tangente Hors-série. N° 61. p. 50-51. L’axiome du choix.
Auteur : Lehning Hervé
2015 Bibliothèque Tangente. N° 55. L’étrange axiome du choix. p. 84-86.
Auteur : Lehning Hervé
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. La récurrence et la base incomplète. p. 88-91.
Auteur : Lehning Hervé
2010 L’Ouvert. N° 118. p. 1-12. Quelques notions sur les ordinaux.
Auteur : Lefort Jean
2010 L’Ouvert. N° 118. p. 13-17. Deux exemples de récurrence transfinie.
Auteurs : Bopp Nicole ; Emery Michel
2010 L’Ouvert. N° 118.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
1962 Bulletin de l’APMEP. N° 222. p. 155-164. Un exemple d’abstraction, de formalisme et de métathéorie (suite).
Auteurs : Balibar Jean ; Gödel Kurt
1962 Lecture commentée d’une méta-démonstration de Gödel : la démonstration, par Kurt Gödel, de la compatibilité de l’axiome du choix et de l’hypothèse généralisée du continu avec les axiomes de la théorie des ensembles.
Auteurs : Balibar Jean ; Gödel Kurt
1961 Bulletin de l’APMEP. N° 217. p. 11-26. Un exemple d’abstraction, de formalisme et de métathéorie.
Auteurs : Balibar Jean ; Gödel Kurt