45 found
Order:
Disambiguations
A. Heyting [37]Arend Heyting [14]
  1. (1 other version)Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  2.  35
    (1 other version)Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.Arend Heyting - 1934 - Berlin,: 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  3.  98
    Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.
  4. Intuitionistic views on the nature of mathematics.Arend Heyting - 1974 - Synthese 27 (1-2):79 - 91.
  5.  21
    (1 other version)La conception intuitionniste de la logique.Arend Heyting - 1956 - Les Etudes Philosophiques 11 (2):226 - 233.
  6. Sur la logique intuitionniste.Arend Heyting - 1930 - Académie Royale de Belgique, Bulletin de la Classe des Sciences 16 (7):957-963.
  7.  7
    (1 other version)Constructivity in mathematics.A. Heyting (ed.) - 1959 - Amsterdam,: North-Holland Pub. Co..
  8.  11
    Les fondements des mathématiques.Arend Heyting - 1955 - Paris,: Gauthier-Villars.
  9.  17
    After Thirty Years.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):674-674.
  10.  17
    Some Remarks on Intuitionism.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):673-674.
  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. Blick von der intuitionistischen Warte.A. Heyting - 1958 - Dialectica 12 (3):332.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  13. Intuitionism in mathematics.A. Heyting - 1958 - In R. Klibansky (ed.), Philosophy in the mid-century. A survey. Nuova Italia. pp. 101–115.
  14.  28
    Das Aktual-Unendliche in der Mathematik.A. Heyting - 1957 - Philosophia Naturalis 4:3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  15. (1 other version)G. F. C. Griss and His Negationless Intuitionistic Mathematics.A. Heyting - 1953 - Synthese 9 (2):91-96.
  16.  42
    On weakened quantification.A. Heyting - 1946 - Journal of Symbolic Logic 11 (4):119-121.
  17. Remarques sur le constructivisme.Arend Heyting - 1960 - Logique Et Analyse 3 (11):177-182.
     
    Export citation  
     
    Bookmark   3 citations  
  18.  38
    In memoriam: Evert Willem Beth (1909--1964).Arend Heyting - 1966 - Notre Dame Journal of Formal Logic 7 (4):289-295.
  19.  26
    Infinitistic Methods from a Finitist Point of View.A. Heyting - 1967 - Journal of Symbolic Logic 32 (4):515-515.
  20.  23
    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  
  21. After thirty years.Arend Heyting - 1970 - In Studies in Logic and the Foundations of Mathematics. Elsevier. pp. 194–197.
     
    Export citation  
     
    Bookmark  
  22.  51
    Conclusions.A. Heyting - 1966 - Synthese 16 (1):86-88.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  13
    Espace de Hilbert et Intuitionnisme.A. Heyting, Paul Bernays, H. Hermes, Ingebrigt Johansson & Abraham Robinson - 1958 - Journal of Symbolic Logic 23 (2):228-229.
  24.  64
    Formal logic and mathematics.Arend Heyting - 1947 - Synthese 6 (7-8):275 - 282.
  25.  9
    Intuïtionistic Mathematics.A. Heyting - 1940 - Journal of Symbolic Logic 5 (2):73-74.
  26.  9
    Language and Sign in Mathematics.A. Heyting - 1949 - Journal of Symbolic Logic 14 (3):195-195.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  13
    Logique et Intuitionnisme.A. Heyting - 1958 - Journal of Symbolic Logic 23 (1):33-33.
  28.  20
    L. E. J. Brouwer Collected Works Vol. I: Philosophy and Foundations of Mathematics.A. Heyting (ed.) - 1975 - North-Holland Publishing.
  29. 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.
     
    Export citation  
     
    Bookmark  
  30. 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
     
    Export citation  
     
    Bookmark  
  31.  17
    L'Axiomatique Intuitionniste.A. Heyting - 1958 - Journal of Symbolic Logic 23 (3):343-344.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  11
    Méthodes et Problèmes de L'intuitionnisme.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):674-675.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  51
    Mannoury's „methodologisches und philosophisches zur elementarmathematik”.A. Heyting - 1956 - Synthese 10 (1):440 - 444.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  32
    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.
  35.  45
    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  
  36. Spanningen in de wiskunde.A. Heyting - 1949 - Groningen,: P. Noordhoff.
     
    Export citation  
     
    Bookmark  
  37. Sur la logique intuitionniste.Arend Heyting - 1930 - Académie Royale de Belgique, Bulletin de la Classe des Science 16:957–963.
     
    Export citation  
     
    Bookmark  
  38.  15
    (1 other version)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  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  16
    The Development of Intuitionistic Mathematics.A. Heyting - 1937 - Journal of Symbolic Logic 2 (2):89-89.
  40.  17
    Gödel's Intepretation of Heyting's Arithmetic.Georg Kreisel, G. Kreisel & A. Heyting - 1971 - Journal of Symbolic Logic 36 (1):169-171.
  41. Logic and foundations of mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra (eds.) - 1969 - Groningen,: Wolters-Noordhoff.
  42.  36
    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  
  43.  38
    J.-L. Destouches. Sur la mécanique classique et l'intuitionnisme. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 74–79; also ibid., pp. 74-79. [REVIEW]A. Heyting - 1969 - Journal of Symbolic Logic 34 (2):307-307.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  59
    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.
  45.  32
    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)  
     
    Export citation  
     
    Bookmark