La philosophie intuitionniste et ses conséquences mathématiques
Séminaire de Philosophie et Mathématiques, no. 2 (1980), pp. 1-17.
@article{SPHM_1980___2_A1_0,
     author = {Van Dalen, D.},
     title = {La philosophie intuitionniste et ses cons\'equences math\'ematiques},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     pages = {1--17},
     publisher = {IREM Paris-Nord~; \'Ecole Normale Sup\'erieure},
     number = {2},
     year = {1980},
     language = {fr},
     url = {http://archive.numdam.org/item/SPHM_1980___2_A1_0/}
}
TY  - JOUR
AU  - Van Dalen, D.
TI  - La philosophie intuitionniste et ses conséquences mathématiques
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1980
SP  - 1
EP  - 17
IS  - 2
PB  - IREM Paris-Nord ; École Normale Supérieure
UR  - http://archive.numdam.org/item/SPHM_1980___2_A1_0/
LA  - fr
ID  - SPHM_1980___2_A1_0
ER  - 
%0 Journal Article
%A Van Dalen, D.
%T La philosophie intuitionniste et ses conséquences mathématiques
%J Séminaire de Philosophie et Mathématiques
%D 1980
%P 1-17
%N 2
%I IREM Paris-Nord ; École Normale Supérieure
%U http://archive.numdam.org/item/SPHM_1980___2_A1_0/
%G fr
%F SPHM_1980___2_A1_0
Van Dalen, D. La philosophie intuitionniste et ses conséquences mathématiques. Séminaire de Philosophie et Mathématiques, no. 2 (1980), pp. 1-17. http://archive.numdam.org/item/SPHM_1980___2_A1_0/

M. Beeson 1979 A Theory of Constructions and Proofs. Department of Mathem. Utrecht, preprint no.134

E. Bishop 1967 Foundations of Constructive Mathematics.New-York.

L.E.J. Brouwer 1905 Leven, Kunst en Mystiek. Delft.

L.E.J. Brouwer 1907 Over de Grondslagen der Wiskunde. (Sur les fondements de mathématique). Collected Works I, pp 11-101. | JFM | MR

L.E.J. Brouwer 1924 Beweis dass jede volle Funktion gleichmässig stetig ist.Cf. Collection Works, Vol.I, pp.286-290

L.E.J. Brouwer 1948 Consciousness, Philosophy and Mathematics. Proc. 10th Intern. Congress of Philosophy, Amsterdam pp 1235-1249. | MR

L.E.J. Brouwer 1950 Sur la possibilité d'ordonner le continu. C.R.Ac. Sci. Paris. pp 349-350. | MR | Zbl

L.E.J. Brouwer 1952 b Historical background, principles and methods of intuitionism. South African Journal of Science pp 139-146. | MR

D. Van Dalen 1977 The use of Kripke's Schema as a reduction Principle. Journal of Symbol Logic, pp 238-240. | MR | Zbl

D. Van Dalen 1978 Brouwer : the genesis of his intuitionism. Dialectica, pp 291-303. | MR

D. Van Dalen 1978 a An interpretation of intuitionistic analysis. Ann. Math. Logic. pp 1-43. | MR | Zbl

S. Feferman 1979 Constructive theories of functions and classes. Logic Colloqium' 78 (eds. M. Boffa, D. van Dalen, K. McAloon) pp 159-224, Amsterdam. | MR | Zbl

N. Goodman 1970 A theory of constructions equivalent to arithmetic. Intuitionism and Proof Theory, (eds. A. Kins, J. Myhill, R.E. Vesley) pp 100-120. Noth-Holland Publ. Co., Amsterdam. | MR | Zbl

S.C. Kleene 1952 Introduction to Metamathematics. North-Holland. Publ. Co., Amsterdam. | MR | Zbl

A.S. Troelstra 1969 Principles of Intuitionism. Springer Lecture Notes 95. | MR | Zbl

A.S. Troelstra 1973 Metamathematical investigation of intuitionistic arithmetic and analysis, (ed.) Springer Lecture Notes 344. | MR | Zbl

A.S. Troelstra 1977 Choice Sequences. Oxford University Press. | MR | Zbl

A.S. Troelstra 1977 a Axioms for intuitionistic mathematics incompatible with classical logic. in Logic, Foundations of Mathematics and Computability theory. Reidel, Dordrecht pp 59-84. | MR | Zbl

A.S. Troelstra 1980 Intuitionistic extensions of the reals. Nieuw Archief voor Wiskunde. pp 63-113. | MR | Zbl