The scientific work of A. Heyting

 Access to full text

 Full (PDF)

1. [1] Intuitionistische axiomatiek der projectieve meetkunde. Thesis. Amsterdam1925. (printed in Groningen). JFM51.0436.06
2. [2] Technische vaardigheid. Bijvoegsel van het Nieuw Tijdschrift voor Wiskunde gewijd aan onderwijsbelangen3 (1926-1927) nr. 1, pp. 21-26. JFM52.0063.02
3. [3] Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nicht kommutativer Multiplikation. Mathematische Annalen98 (1927), pp. 465-490. Zbl53.0120.01JFM53.0120.01
4. [4] Zur intuitionistischenAxiomatik der projektiven Geometrie. Mathematische Annalen98 (1927), pp. 491-538. Zbl53.0541.01JFM53.0541.01
5. [5] De telbaarheidspraedicaten van Prof. Brouwer. Nieuw Archief voor Wiskunde, Tweede reeks (second series) 16, fasc. 2 (1929), pp. 47-58. JFM55.0052.01
6. [6] Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der preuszischen Akademie von Wissenschaften, physikalisch-mathematische Klasse, 1930, pp. 42 - 56. JFM56.0823.01
7. [7, 8] Die formalen Regeln der intuitionistischen Mathematik, II, III. Sitzungsberichte der preuszischen Akademie von Wissenschaften, physikalisch-mathematische Klasse, 1930, pp. 57-71, pp. 158-169. JFM56.0823.01
8. [9] Sur la logique intuitionniste. Académie Royale de Belgique. Bulletins de la classe des Sciences. 5e Série, 16 (1930). pp. 957-963. Zbl56.0045.02JFM56.0045.02
9. [10] Die intuitionistische Grundlegung der Mathematik, Erkenntnis2 (1931), pp. 106-115. Zbl0002.32102JFM57.0053.01
10. [11] Die intuitionistische Mathematik. Forschungen und Fortschritte7 (1931), pp. 38 — 39. JFM57.1323.22
11. [12] A propos d'un article de M. M. Barzin et Errera. Enseignement Mathématique31 (1932), pp. 121-122. JFM59.0056.01
12. [13, 14] Réponse à M. M. Barzin et Errera. Enseignement Mathématique31 (1932), pp. 271-272, pp. 274-275. 
13. [15] Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Ergebnisse der Mathematik und ihrer Grenzgebiete, Berlin1934. Zbl0009.38501JFM60.0019.01
14. [16] De ontwikkeling van de intuitionistische wiskunde. Euclides13 (1936- 1937), pp. 129-144. Zbl62.1045.03
15. [17] Bemerkungen zu dem Aufsatz von Herrn Freudenthal "Zur intuitionistischen Deutung logischer Formeln". Compositio Mathematica4 (1937), pp. 117-118. Zbl0015.24202JFM62.1045.06
16. [18] Ruimteleer en axiomatiek. Openbare les, gegeven bij de aanvaarding van het ambt van lector aan de universiteit van Amsterdam op 27 september 1937. Groningen -Batavia 1937. 
17. [19-24] Intuitionistische wiskunde. Mathematica B (Leiden) 4 (1935-1936) pp. 72-83, 123-128, 129-136; 5 (1936 -1937) pp. 62-80, 105-112; 7 (1938 -1939) pp. 129-142. Zbl0020.33801JFM65.0191.03
18. [25] Wiskundige strengheid in wetenschap en school. Verslag 5e Nederlands Congres van leraren in de wiskunde en natuurwetenschappen, gehouden op 28 maart 1940 te Amsterdam, pp. 15-27. Groningen -Batavia 1940. 
19. [26] Untersuchungen über intuitionistische Algebra. Verhandelingen der Nederlandsche Academie van Wetenschappen, afdeling natuurkunde, 1e sectie, 18, no. 2. (1941). Zbl0027.15303MR15345JFM67.0045.04
20. [27] On weakened quantification. Journal of Symbolic Logic11 (1946), pp.119-121. Zbl0063.02004MR18616
21. [28] Matrices en determinanten. Den Haag1946. 
22. [29] Taal en teken in de wiskunde. Algemeen Nederlands Tijdschrift voor Wijsbegeerte en Psychologie40 (1947-1948), pp. 121-131. 
23. [30] Formal logic and mathematics. Synthese6 (1947-1948), pp. 275-282. MR23778
24. [31] Spanningen in de wiskunde. Rede uitgesproken bij de aanvaarding van het ambt van hoogleraar aan de universiteit van Amsterdam op 16 mei 1949. Groningen-Batavia 1949. 
25. [32] G.F.C. Griss and his negationless intuitionistic mathematics. Synthese9 (1950 -1951), pp. 91-96. 
26. [33] Note on the Riesz-Fischer theorem. Proc. Acad. Wet.Amsterdam54 (1951) = Indag. Math.13 (1951), pp. 35-40. Zbl0043.29101MR40251
27. [34] Mannoury's "Methodologisches und Philosophisches zur Elementarmathematik" . Synthese10a (1951-1952), pp. 440-444. 
28. [35] Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique. Paris1950. Colloques internationaux du C.N.R.S. no. 36. Published Paris1953. pp. 59-63. Zbl0053.00701MR56545
29. [36] Logique et intuitionnisme. Actes du 2e colloque internationale de logique mathématique. Paris1952. Published Paris1954, pp. 75-82. Zbl0056.00701MR66316
30. [37] Sur la tâche de la philosophie des mathématiques. (Actes du XIème congrès international de philosophie), Proceedings of the XIth international congres of philosophy, V, pp. 193-198. Amsterdam-Louvain1953. Zbl0051.24406
31. [38] Sur la théorie intuitionniste de la mesure. Bulletin de la société mathématique de Belgique6 (1953), pp. 70-78. Zbl0057.04404MR68610
32. [39] Over de betekenis van het wiskundig werk van G.F.C. Griss.Algemeen Nederlands Tijdschrift voor Wijsbegeerte en Psychologie47 (1954-1955), pp. 8-12. 
33. [40] Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Paris- Louvain1955. (Translation of [15], with many additions.) Zbl0066.01006
34. [41] Intuitionism, an introduction. Amsterdam1956. Second revised edition, Amsterdam1966. Zbl0070.00801MR221911
35. [42] La conception intuitionniste de la logique. Les études philosophiques11 (1956), pp. 226-233. 
36. [43] Toelichting. Euclides32 (1956-1957), pp. 295-297. 
37. [44] Intuitionisme en schoolwiskunde. Euclides33 (1957-1958), pp. 1-12. Zbl0077.00211
38. [45] La théorie élémentaire de l'intégration en mathématiques intuitionnistes. Le raisonnement en mathématiques et en sciences expérimentales. Paris1955. Colloques internationaux du C.N.R.S. no 70. Published Paris1958, pp. 85-90. Zbl0088.24802
39. [46] Blick von der intuitionistischenWarte. Dialectica12 (1958), pp. 332-345. Zbl0089.24502MR99924
40. [47] Over waarheid in de wiskunde. (De la vérité dans les mathématiques, On truth in mathematics). Verslag van de plechtige viering van het honderdvijftigjarig bestaan der Koninklijke Nederlandse Akademie van Wetenschappen met de teksten der bij die gelegenheid gehouden redevoeringen en voordrachten. Amsterdam1958. Dutch pp. 128-130, French pp. 204-206, English pp. 277-279. 
41. [48] Intuitionism in mathematics. Philosophy in the mid-century. A survey. (La philosophie au milieu du vingtième siècle. Chroniques.)Firenze1958. pp. 101-115. 
42. [49] Een benaderingsconstructie voor de trisectie van de hoek. Nieuw Tijdschrift voor Wiskunde46 (1958-1959), pp. 137-138. 
43. [50] Some remarks on intuitionism. Constructivity in mathematics, Proceedings Colloquium Amsterdam1957. Published Amsterdam1959, pp. 67-71. Zbl0085.25003
44. [51] Axioms for intuitionistic plane affine geometry. The axiomatic method, Proceedings International Symposium Berkeley1957-1958. Published Amsterdam1959, pp. 160-173. Zbl0092.25002MR120154
45. [52] Infinitistic methods from a finitist point of view. Infinitistic methods, Proceedings of the symposium on foundations of mathematics, Warsaw1959. Warszawa1959, pp. 185-192. Zbl0116.00801MR144822
46. [53] Remarques sur le constructivisme. Logique et Analyse3 (1960), pp. 177-182. 
47. [54] Axiomatic method and intuitionism. Essays on the foundations of mathematics. Amsterdam1962 (Jerusalem1961), pp. 237-247. Zbl0163.24401MR162717
48. [55] Méthodes et problèmes de l'intuitionnisme. Annales Faculté des Sciences Clermont No. 7, 1962, pp. 101-106. 
49. [56] After thirty years. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress. Stanford1962, pp. 194-197. Zbl0166.24702MR151381
50. [57] Axiomatic projective geometry. Amsterdam1963. Zbl0114.12601
51. [58] Projectieve meetkunde. Groningen, undated. (Appeared in 1964). Zbl49.0438.08
52. [59] Remarques sur la théorie intuitionniste des espaces linéaires. Synthese16 (1966), pp. 47-52. Zbl0192.03101
53. [60] Conclusions. Synthese16 (1966), pp. 85-88. 
54. [61] In memoriam L.E.J. Brouwer.Algemeen Nederlands Tijdschrift voor Wijsbegeerte en Psychologie59 (1967), pp. 1-13. 
55. [62] L.E.J. Brouwer (27 februari 1881 — 2 december 1966), vernieuwer op de toppen en in de diepste gronden der wiskunde. De Gids130 (1967), pp. 287-294. 
56. [63] (met H. Freudenthal) Levensbericht van L. E. J. Brouwer (27 februari 1881- 2 december 1966). Jaarboek der Koninklijke NederlandseAkademie van Wetenschappen1966-1967, pp. 335-340. 
57. Ashvinikumar [1] Hilbert spaces in intuitionism - Hilbertaj spacoj en intuiciismo. ThesisAmsterdam1966. 
58. L.E.J. Brouwer [2] Zur Begründung der intuitionistischen Mathematik I. Math. Annalen93 (1924), pp. 244- 258. JFM51.0164.02
59. D. Van Dalen [3] Extension problems in intuitionistic plane projective geometry. Proc. Akad. Amsterdam Series A66 (1963) = Indagationes Math. 25 (1963), pp.349-383. Zbl0127.11304MR153567
60. S.C. Kleene and R.E. Vesley [4] Foundations of intuitionistic mathematics. Amsterdam1965. Zbl0133.24601
61. A.S. Troelstra [5] Finite and infinite in intuitionistic mathematics. Compositio mathematica18 (1967) pp. 94-116. Zbl0163.00501MR226997