54 found
Order:
Disambiguations
A. Heyting [45]Arend Heyting [9]
  1.  99
    Intuitionism an Introduction.Arend Heyting - 1956 - Amsterdam, Netherlands: North-Holland.
  2.  20
    Intuitionism.A. Heyting - 1956 - Amsterdam: North-Holland Pub. Co..
  3. Intuitionism.A. Heyting - 1966 - Amsterdam: North-Holland Pub. Co..
  4. Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.
    Translate
     
     
    Export citation  
     
    Bookmark   80 citations  
  5.  62
    Die Intuitionistische Grundlegung der Mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.
  6.  15
    Mathematische Grundlagenforschung Intuitionismus Beweistheorie.A. Heyting - 1934 - J. Springer.
    In den letzten Jahrzehntel! hat sich das Interesse an der Grund­ legung der Mathematik immer gesteigert. Fanden frtiher die wenigen Forscher, die sich emsthaft mit dieser 'Frage beschaftigten, wenig Be­ achtung, heute ist die Teilnahme sowohl von mathematischer wie von philosophischer Seite fast allgemein. Zu diesem Umschwung hat sieher die CANToRSche Mengenlehre, die gleich nach ihrem Entstehen lebhafte Erorterungen tiber ihre Berechtigung hervorrief, den AnstoB gegeben, und besonders die bei riicksichtsloser Durchfiihrung ihrer Grundgedanken auftretenden Widerspriiche zogen die allgemeine Aufmerksamkeit auf (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   27 citations  
  7.  92
    Intuitionistic Views on the Nature of Mathematics.Arend Heyting - 1974 - Synthese 27 (1-2):79 - 91.
  8.  19
    Intuitionism in Mathematics.A. Heyting - 1975 - Journal of Symbolic Logic 40 (3):472-472.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  9. Constructivity in Mathematics.A. Heyting (ed.) - 1959 - Amsterdam: North-Holland Pub. Co..
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  10.  9
    La conception intuitionniste de la logique.A. Heyting - 1956 - Les Etudes Philosophiques 11 (2):226 - 233.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  11. Symposium on the Foundations of Mathematics.Rudolf Carnap, Arend Heyting & Johann von Neumann - 1964 - In P. Benacerraf H. Putnam (ed.), Philosophy of Mathematics. Prentice-Hall.
  12.  5
    After Thirty Years.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):674-674.
  13.  8
    La Conception Intuitionniste de la Logique.A. Heyting - 1958 - Journal of Symbolic Logic 23 (3):344-345.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  14. Les Fondements des Mathématiques.A. Heyting - 1955 - Paris: Gauthier-Villars.
  15.  8
    Some Remarks on Intuitionism.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):673-674.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  12
    Das Aktual-Unendliche in der Mathematik.A. Heyting - 1957 - Philosophia Naturalis 4:3.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  17. Blick von der intuitionistischen Warte.A. Heyting - 1958 - Dialectica 12 (3):332.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  18. Remarques Sur le Constructivisme.Arend Heyting - 1960 - Logique Et Analyse 3:177-182.
     
    Export citation  
     
    Bookmark   3 citations  
  19. Les Fondements des Mathématiques Intuitionnisme, Théorie de la Démonstration.A. Heyting - 1955 - Gauthier-Villars.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  20. G. F. C. Griss and His Negationless Intuitionistic Mathematics.A. Heyting - 1953 - Synthese 9 (2):91-96.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  21.  56
    G. F. C. Griss and His Negationless Intuitionistic Mathematics.A. Heyting - 1955 - Synthese 9 (1):91 - 96.
  22.  7
    On Weakened Quantification.A. Heyting - 1946 - Journal of Symbolic Logic 11 (4):119-121.
  23.  12
    Infinitistic Methods From a Finitist Point of View.A. Heyting - 1967 - Journal of Symbolic Logic 32 (4):515-515.
  24. Les fondements des mathématiques : intuitionnisme, théorie de la démonstration.A. Heyting - 1958 - Revue Philosophique de la France Et de l'Etranger 148:119-119.
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Note sur le constructivisme.Arend Heyting - 1960 - Logique Et Analyse 3 (11):177.
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Intuitionism Reconsidered.A. Heyting - 1963 - Journal of Symbolic Logic 28 (3):256-256.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Logic and Foundations of Mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra - 1968 - Wolters-Noordhoff.
  28.  24
    Leblanc Hugues and Belnap Nuel D. Jr., Intuitionism Reconsidered. Notre Dame Journal of Formal Logic, Vol. 3 , Pp. 79–82. [REVIEW]A. Heyting - 1963 - Journal of Symbolic Logic 28 (3):256-256.
  29.  36
    Conclusions.A. Heyting - 1966 - Synthese 16 (1):86-88.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  3
    Das Aktual-Unendliche in der Mathematik.A. Heyting - 1957 - Journal of Symbolic Logic 22 (4):368-368.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  32
    Mannoury's „Methodologisches Und Philosophisches Zur Elementarmathematik”.A. Heyting - 1956 - Synthese 10 (1):440 - 444.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  29
    Remarques Sur la Théorie Intuitionniste Des Espaces Linéaires.A. Heyting - 1966 - Synthese 16 (1):47 - 52.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  28
    Book Reviews. [REVIEW]A. Heyting, P. H. Esser & Gabriël Nuchelmans - 1961 - Synthese 13 (1):86-97.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Review: Paul Lorenzen, Das Aktual-Unendliche in der Mathematik; Paul Lorenzen, Die Rolle der Logik in der Grundlagenkrisis der Analysis; G. Kurepa, G. Kreisel, A. Robinson, Die Rolle der Logik in der Grundlagenkrisis der Analysis: Discussion. [REVIEW]A. Heyting - 1957 - Journal of Symbolic Logic 22 (4):368-368.
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  10
    Lorenzen Paul. Dar, Aktual-Unendliche in der Mathematik. Philosophia naturalis, vol. 4 , pp. 1–11.Lorenzen Paul. Die Rolle der Logik in der Grundlagenkrisis der Analysis. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris–25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 65–73.Kurepa G., Kreisel G., Robinson A.. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris–25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 73–74. [REVIEW]A. Heyting - 1957 - Journal of Symbolic Logic 22 (4):368-368.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  10
    Ohnishi Masao. On Intuitionistic Functional Calculus. Osaka Mathematical Journal, Vol. 5 , Pp. 203–209.A. Heyting - 1957 - Journal of Symbolic Logic 22 (3):299-299.
  37. La fundamentación intuicionista de la matemática.Arend Heyting - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):73--78.
    This is the Spanish translation, by María Gabriela Fulugonio, of Arend Heyting’s classical text “Die logizistische Grundlegung der Mathematik”, which was originally presented at the Königsberg’s Symposium on Philosophy of Mathematics in 1930, and finally published in Erkenntnis in 1931.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  8
    J.-L. Destouches. Sur la mécanique classique et l'intuitionnisme. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 , pp. 74–79; also ibid., pp. 74-79. [REVIEW]A. Heyting - 1969 - Journal of Symbolic Logic 34 (2):307-307.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  49
    Formal Logic and Mathematics.Arend Heyting - 1947 - Synthese 6 (7-8):275 - 282.
  40.  7
    Gödel's Intepretation of Heyting's Arithmetic.Georg Kreisel, G. Kreisel & A. Heyting - 1971 - Journal of Symbolic Logic 36 (1):169-171.
  41.  8
    Review: J.-L. Destouches, Sur la Mecanique Classique et l'Intuitionnisme. [REVIEW]A. Heyting - 1969 - Journal of Symbolic Logic 34 (2):307-307.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  4
    The Development of Intuitionistic Mathematics.A. Heyting - 1937 - Journal of Symbolic Logic 2 (2):89-89.
  43.  2
    Review: Masao Ohnishi, On Intuitionistic Functional Calculus. [REVIEW]A. Heyting - 1957 - Journal of Symbolic Logic 22 (3):299-299.
  44.  21
    In Memoriam: Evert Willem Beth (1909--1964).Arend Heyting - 1966 - Notre Dame Journal of Formal Logic 7 (4):289-295.
  45.  3
    L'Axiomatique Intuitionniste.A. Heyting - 1958 - Journal of Symbolic Logic 23 (3):343-344.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  6
    Sur la t'che de la philosophie des mathématiques.A. Heyting - 1953 - Proceedings of the XIth International Congress of Philosophy 5:193-198.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  47.  7
    Axiomatic Method and Intuitionism.A. Heyting, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1971 - Journal of Symbolic Logic 36 (3):522-523.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  7
    Sur la T'che de la Philosophie des Mathématiques.A. Heyting - 1954 - Journal of Symbolic Logic 19 (3):225-225.
  49.  2
    Language and Sign in Mathematics.A. Heyting - 1949 - Journal of Symbolic Logic 14 (3):195-195.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  1
    Review: Hugues Leblanc, Nuel D. Belnap, Intuitionism Reconsidered. [REVIEW]A. Heyting - 1963 - Journal of Symbolic Logic 28 (3):256-256.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 54