Results for 'A. Heyting'

966 found
Order:
  1. Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  2.  26
    Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  3. Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.
     
    Export citation  
     
    Bookmark   99 citations  
  4.  21
    Das Aktual-Unendliche in der Mathematik.A. Heyting - 1957 - Philosophia Naturalis 4:3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  25
    Mathematische grundlagenforschung: intuitionismus, beweistheorie.A. Heyting - 1934 - Berlin,: 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 (...)
  6. Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam 1957.A. Heyting (ed.) - 1959 - Amsterdam: North-Holland.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  3
    Intuitionism Reconsidered.A. Heyting - 1963 - Journal of Symbolic Logic 28 (3):256-256.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  6
    Das Aktual-Unendliche in der Mathematik.A. Heyting - 1957 - Journal of Symbolic Logic 22 (4):368-368.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  27
    Intuitionism in Mathematics.A. Heyting - 1975 - Journal of Symbolic Logic 40 (3):472-472.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  10.  14
    La conception intuitionniste de la logique.A. Heyting - 1956 - Les Etudes Philosophiques 11 (2):226 - 233.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  11. Constructivity in mathematics.A. Heyting (ed.) - 1959 - Amsterdam,: North-Holland Pub. Co..
     
    Export citation  
     
    Bookmark   5 citations  
  12.  11
    After Thirty Years.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):674-674.
  13.  31
    Blick Von der intuitionistischen warte.von A. Heyting - 1958 - Dialectica 12 (3‐4):332-345.
    ZusammenfassungDie Arbeit enthält Bemerkungen über den Intuitionismus and über seine Beziehungen zu anderen Gebieten der Grundlagenforschung. Innerhalb der intuitionistischen Mathematik werden, im Anschluss an die Kritik von Griss gegen den Gebrauch der Negation, Evidenzstufen unterschieden, abhängend von der Art, in der bedingte Konstruktionen zugelassen werden. Auch werden gewisse Schwierigkeiten in der Theorie der endlichen Spezies diskutiert. Was die Grundlagenforschung im Aligemeinen betrifft, wird bemerkt, dass sie die klassische Mathematik weitgehend in ihre intuitiven, formalen and platonischen Bestandteile zerlegt hat. Es wird (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  12
    La Conception Intuitionniste de la Logique.A. Heyting - 1958 - Journal of Symbolic Logic 23 (3):344-345.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  11
    Some Remarks on Intuitionism.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):673-674.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  65
    G. F. C. griss and his negationless intuitionistic mathematics.A. Heyting - 1955 - Synthese 9 (1):91 - 96.
  17.  17
    Infinitistic Methods from a Finitist Point of View.A. Heyting - 1967 - Journal of Symbolic Logic 32 (4):515-515.
  18. Les fondements des mathématiques.A. Heyting - 1955 - Paris,: Gauthier-Villars.
  19. Blick von der intuitionistischen Warte.A. Heyting - 1958 - Dialectica 12 (3):332.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  20.  25
    On weakened quantification.A. Heyting - 1946 - Journal of Symbolic Logic 11 (4):119-121.
  21. G. F. C. Griss and His Negationless Intuitionistic Mathematics.A. Heyting - 1953 - Synthese 9 (2):91-96.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  22.  14
    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  
  23.  39
    Conclusions.A. Heyting - 1966 - Synthese 16 (1):86-88.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  8
    Espace de Hilbert et Intuitionnisme.A. Heyting, Paul Bernays, H. Hermes, Ingebrigt Johansson & Abraham Robinson - 1958 - Journal of Symbolic Logic 23 (2):228-229.
  25.  5
    Intuïtionistic Mathematics.A. Heyting - 1940 - Journal of Symbolic Logic 5 (2):73-74.
  26.  4
    Language and Sign in Mathematics.A. Heyting - 1949 - Journal of Symbolic Logic 14 (3):195-195.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  6
    Logique et Intuitionnisme.A. Heyting - 1958 - Journal of Symbolic Logic 23 (1):33-33.
  28. L. E. J. Brouwer Collected Works Vol. I: Philosophy and Foundations of Mathematics.A. Heyting (ed.) - 1975 - North-Holland Publishing.
    No categories
     
    Export citation  
     
    Bookmark  
  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.  10
    L'Axiomatique Intuitionniste.A. Heyting - 1958 - Journal of Symbolic Logic 23 (3):343-344.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  7
    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  
  32.  41
    Mannoury's „methodologisches und philosophisches zur elementarmathematik”.A. Heyting - 1956 - Synthese 10 (1):440 - 444.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  13
    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.
  34.  35
    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  
  35. Spanningen in de wiskunde.A. Heyting - 1949 - Groningen,: P. Noordhoff.
     
    Export citation  
     
    Bookmark  
  36.  10
    Sur la T'che de la Philosophie des Mathématiques.A. Heyting - 1954 - Journal of Symbolic Logic 19 (3):225-225.
  37.  10
    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  
  38.  10
    The Development of Intuitionistic Mathematics.A. Heyting - 1937 - Journal of Symbolic Logic 2 (2):89-89.
  39.  92
    Methods in philosophy of education.Frieda Heyting, Dieter Lenzen & John White (eds.) - 2001 - New York: Routledge.
    This book gives a comprehensive account of methods in philosophy of education, it also examines their application in the 'real world' of education. It will therefore be of interest to philosophers and educators alike.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  11
    Gödel's Intepretation of Heyting's Arithmetic.Georg Kreisel, G. Kreisel & A. Heyting - 1971 - Journal of Symbolic Logic 36 (1):169-171.
  41.  13
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    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  
  43. 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.
     
    Export citation  
     
    Bookmark  
  44.  31
    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  
  45.  29
    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.
  46.  3
    Review: Hugues Leblanc, Nuel D. Belnap, Intuitionism Reconsidered. [REVIEW]A. Heyting - 1963 - Journal of Symbolic Logic 28 (3):256-256.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  10
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  3
    Review: Masao Ohnishi, On Intuitionistic Functional Calculus. [REVIEW]A. Heyting - 1957 - Journal of Symbolic Logic 22 (3):299-299.
  49.  40
    The role of critique in philosophy of education: Its subject matter and its ambiguities.Frieda Heyting & Christopher Winch - 2004 - Journal of Philosophy of Education 38 (3):311–321.
    The role of critique in the Anglophone analytical tradition of philosophy of education is outlined and some of its shortcomings are noted, particularly its apparent claim to methodological objectivity in arriving at what are clearly contestable positions about the normative basis of education. Many of these issues can be seen to have a long history within European, and especially German, philosophy of education. In the light of this the discussion moves on to a consideration of similarities and contrasts between the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  50. Logic and foundations of mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra (eds.) - 1969 - Groningen,: Wolters-Noordhoff.
1 — 50 / 966