Expressions indéterminées, constructivisme et axiome du choix
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1992)
- Volume: 33, Issue: 3, page 279-288
- ISSN: 1245-530X
Access Full Article
topHow to cite
topReferences
top- [1] R. Diaconescu (1975) Axiom of Choice and Complementation. Proc. Amer. Math. Soc.51, 176-178. Zbl0317.02077MR373893
- [2] K. Gëdel (1931) Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System I. Monatsh. Math. Phys.38, 173-198. Zbl57.0054.02MR1549910JFM57.0054.02
- [3] A. Heyting (1955) Les fondements des mathématiques. Intuitionnesme. Théorie de la démonstration. Gauthier-Villars, Paris. Zbl0066.01006
- [4] P. Martin-Löf (1982) Constructive Mathematics and Computer Programming. dans: Cohen et al.: Logic, Methodology and Philosophy of Science VINorth-Holland, Amsterdam, 153-175. Zbl0541.03034MR682410