Results for 'A. Heyting'

1000+ found
Order:
  1. 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  
  2. Spanningen in de wiskunde.A. Heyting - 1949 - Groningen,: P. Noordhoff.
     
    Export citation  
     
    Bookmark  
  3. Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  4.  25
    Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  5. Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.
     
    Export citation  
     
    Bookmark   99 citations  
  6.  20
    Das Aktual-Unendliche in der Mathematik.A. Heyting - 1957 - Philosophia Naturalis 4:3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  24
    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 (...)
  8. Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam 1957.A. Heyting (ed.) - 1959 - Amsterdam: North-Holland.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  2
    Intuitionism Reconsidered.A. Heyting - 1963 - Journal of Symbolic Logic 28 (3):256-256.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  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  
  11.  26
    Intuitionism in Mathematics.A. Heyting - 1975 - Journal of Symbolic Logic 40 (3):472-472.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  12.  13
    La conception intuitionniste de la logique.A. Heyting - 1956 - Les Etudes Philosophiques 11 (2):226 - 233.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  13. Constructivity in mathematics.A. Heyting (ed.) - 1959 - Amsterdam,: North-Holland Pub. Co..
     
    Export citation  
     
    Bookmark   5 citations  
  14.  10
    After Thirty Years.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):674-674.
  15.  30
    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  
  16.  11
    La Conception Intuitionniste de la Logique.A. Heyting - 1958 - Journal of Symbolic Logic 23 (3):344-345.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  10
    Some Remarks on Intuitionism.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):673-674.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  64
    G. F. C. griss and his negationless intuitionistic mathematics.A. Heyting - 1955 - Synthese 9 (1):91 - 96.
  19.  16
    Infinitistic Methods from a Finitist Point of View.A. Heyting - 1967 - Journal of Symbolic Logic 32 (4):515-515.
  20. Les fondements des mathématiques.A. Heyting - 1955 - Paris,: Gauthier-Villars.
  21. Blick von der intuitionistischen Warte.A. Heyting - 1958 - Dialectica 12 (3):332.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  22.  24
    On weakened quantification.A. Heyting - 1946 - Journal of Symbolic Logic 11 (4):119-121.
  23. G. F. C. Griss and His Negationless Intuitionistic Mathematics.A. Heyting - 1953 - Synthese 9 (2):91-96.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  24.  13
    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  
  25.  38
    Conclusions.A. Heyting - 1966 - Synthese 16 (1):86-88.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  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.
  27.  5
    Intuïtionistic Mathematics.A. Heyting - 1940 - Journal of Symbolic Logic 5 (2):73-74.
  28.  3
    Language and Sign in Mathematics.A. Heyting - 1949 - Journal of Symbolic Logic 14 (3):195-195.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  6
    Logique et Intuitionnisme.A. Heyting - 1958 - Journal of Symbolic Logic 23 (1):33-33.
  30. 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  
  31.  9
    L'Axiomatique Intuitionniste.A. Heyting - 1958 - Journal of Symbolic Logic 23 (3):343-344.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  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  
  33.  41
    Mannoury's „methodologisches und philosophisches zur elementarmathematik”.A. Heyting - 1956 - Synthese 10 (1):440 - 444.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  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.
  35.  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  
  36.  10
    Sur la T'che de la Philosophie des Mathématiques.A. Heyting - 1954 - Journal of Symbolic Logic 19 (3):225-225.
  37.  9
    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.  10
    Gödel's Intepretation of Heyting's Arithmetic.Georg Kreisel, G. Kreisel & A. Heyting - 1971 - Journal of Symbolic Logic 36 (1):169-171.
  40.  10
    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  
  41.  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  
  42. 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  
  43.  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  
  44.  27
    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.  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  
  46.  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  
  47.  3
    Review: Masao Ohnishi, On Intuitionistic Functional Calculus. [REVIEW]A. Heyting - 1957 - Journal of Symbolic Logic 22 (3):299-299.
  48.  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  
  49. Logic and foundations of mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra (eds.) - 1969 - Groningen,: Wolters-Noordhoff.
  50.  19
    Negotiating the world: Some philosophical considerations on dealing with differential academic language proficiency in schools.Frieda Heyting Roel van Goor - 2008 - Educational Philosophy and Theory 40 (5):652-665.
    Differential academic language proficiency is an issue of major educational concern, bearing on problems varying from pupil performance, to social prospects, and citizenship. In this paper we develop a conception of the language-acquiring subject, and we discuss the consequences for understanding differential language proficiency in schools. Starting from Wittgenstein's meaning-as-use theory we show that learning a language requires an activity that relates the subject both to the community of language users, and to the things language is about. In opposition to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000