Méthode et problèmes de l'intuitionnisme

A. Heyting

Annales scientifiques de l'Université de Clermont. Mathématiques (1962)

  • Volume: 7, Issue: 1, page 101-105
  • ISSN: 0249-7042

How to cite

top

Heyting, A.. "Méthode et problèmes de l'intuitionnisme." Annales scientifiques de l'Université de Clermont. Mathématiques 7.1 (1962): 101-105. <http://eudml.org/doc/80342>.

@article{Heyting1962,
author = {Heyting, A.},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
language = {fre},
number = {1},
pages = {101-105},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Méthode et problèmes de l'intuitionnisme},
url = {http://eudml.org/doc/80342},
volume = {7},
year = {1962},
}

TY - JOUR
AU - Heyting, A.
TI - Méthode et problèmes de l'intuitionnisme
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1962
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 7
IS - 1
SP - 101
EP - 105
LA - fre
UR - http://eudml.org/doc/80342
ER -

References

top
  1. 1 L.E.J. Brouwer - Intuitionistische Zerlegung mathematischer Grundbegriffe. Jahresber. Deutsch . Math. Ver.33 (1924), 251-256. JFM51.0047.06
  2. 2 L.E.J. Brouwer - Ueber Definitionsbereiche von Funktionen. Math. Annalen97 (1926), 60-76. JFM52.0239.01
  3. 3 L.E.J. Brouwer - Zur intuitionistischen Zerlegung mathematischer Grundbegriffe. Jahresber. Deutsch. Math. Ver.36 (1927), 127-129. Zbl53.0039.02JFM53.0039.02
  4. 4 L. E. J, Brouwer - Virtuelle Ordnung und unerweiterbare Ordnung. Journ. f. Math. (Crelle) 157 (1927), 255-257. JFM53.0040.01
  5. 5 H. Freudenthal - Zum intuitionistischen Raumbegriff. Compositio Math.4 (1936), 82-111. Zbl0015.24103MR1556963
  6. 6 A. Heyting - Intuitionism, an introduction. Amsterdam, 1956. Zbl0070.00801MR75147
  7. 7 A. Heyting - Axiomatic method and intuitionism. Essays on the foundations of mathematics, dedicated to A.A. Fraenkel. Jerusalem, 1961. Zbl0163.24401
  8. 8 B. Van Rootselaar - On intuitionistic difference relations. Proc. Kon. Ned. Akad. v. Wet. Amsterdam Sér. A, 63 = Indagationes Math.22 (1960), 316-322. Zbl0095.24203MR124216
  9. 9 A. Tarski - Sur les ensembles finis. Fundamenta Math.6 (1924), 45-95. JFM50.0135.02

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.