Arend Heyting (heyting)

Cited in the following articles

Contributions to Philosophie.ch

Bibliography

Carnap, Rudolf, Hahn, Hans, Neumann, John von, Heyting, Arend, Gödel, Kurt and Reidemeister, Kurt. 1931. “Diskussion zur Grundlegung der Mathematik.” Erkenntnis 2: 135–149. Reprinted in Gödel (1986).
Heyting, Arend. 1930. “Die formalen Regeln der intuitionistischen Logik I.” Sitzungsberichte der Preussischen Akademie der Wissenschaften 2: 42–56. English translation in Mancosu (1998, 311–327).
Heyting, Arend. 1931. “Die intuitionistische Grundlegung der Mathematik.” Erkenntnis 2: 106–115. Reprinted and translated in Benacerraf and Putnam (1964).
Heyting, Arend. 1934. Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Berlin: Springer Verlag. French translation, with additions: Heyting (1955a).
Heyting, Arend. 1937. “Bemerkungen zu dem Aufsatz von Herrn Freudenthal (freudenthal_h:1937a?).” Compositio Mathematica 4: 112–116, http://eudml.org/doc/88647.
Heyting, Arend. 1948. “Formal Logic and Mathematics.” Synthese 6(7–8): 275–282.
Heyting, Arend. 1955a. Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Paris: Gauthier Villars Éditeur. French translation, with additions, of Heyting (1934).
Heyting, Arend. 1955b. “G.F.C. Griss and His Negationless Intuitionistic Mathematics.” Synthese 9(1): 91–96.
Heyting, Arend. 1956a. Intuitionism: An Introduction. Studies in Logic and the Foundations of Mathematics n. 17. Amsterdam: North-Holland Publishing Co. Second edition: Heyting (1966a).
Heyting, Arend. 1956b. “La conception intuitionniste de la logique.” Les Études Philosophiques 11(2): 226–233.
Heyting, Arend. 1958. “Blick von der intuitionistischen Warte.” Dialectica 12(47–48): 332–345.
Heyting, Arend, ed. 1959a. Constructivity in Mathematics. Amsterdam: North-Holland Publishing Co. Colloquium on Constructivity in mathematics, Amsterdam, August 1957.
Heyting, Arend. 1959b. “Some Remarks on Intuitionism.” in Constructivity in Mathematics, edited by Arend Heyting. Amsterdam: North-Holland Publishing Co. Colloquium on Constructivity in mathematics, Amsterdam, August 1957.
Heyting, Arend. 1959c. “Axioms for Intuitionistic Plane Affine Geometry.” in The Axiomatic Method with Special Reference to Geometry and Physics, edited by Leon Henkin, Patrick Suppes, and Alfred Tarski, pp. 160–173. Amsterdam: North-Holland Publishing Co.
Heyting, Arend. 1960. “Remarques sur le constructivisme.” Logique et Analyse [N.S.] 3(11–12): 177–182.
Heyting, Arend. 1961. “Axiomatic Method and Intuitionism.” in Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary, edited by Yehoshua Bar-Hillel, Edward Poznański, Michael O. Rabin, and Abraham Robinson, pp. 237–247. Jerusalem: The Magnes Press. Second edition: Bar-Hillel et al. (1966).
Heyting, Arend. 1962. “After Thirty Years.” in Logic, Methodology and Philosophy of Science I: Proceedings of the 1960 International Congress in Stanford, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, pp. 194–197. Stanford, California: Stanford University Press.
Heyting, Arend. 1966a. Intuitionism: An Introduction. 2nd ed. Studies in Logic and the Foundations of Mathematics n. 41. Amsterdam: North-Holland Publishing Co. First edition: Heyting (1956a).
Heyting, Arend. 1966b. “Remarques sur la théorie intuitionniste des espaces linéaires.” Synthese 16(1): 47–52. Reprinted in Destouches (1967, 4–9).
Heyting, Arend. 1966c. “Conclusions.” Synthese 16(1): 86–88. Reprinted in Destouches (1967, 118–120).
Heyting, Arend. 1970. “Recent Progress in Intuitionistic Analysis.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 95–100. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Heyting, Arend. 1971. Intuitionism: An Introduction. 3rd ed. Amsterdam: North-Holland Publishing Co. First edition: Heyting (1956a).
Heyting, Arend, ed. 1974a. Proceedings of the Tarski Symposium. An International Symposium Held to Honor Alfred Tarski on the Occasion of his Seventieth Birthday. Proceedings of Symposia in Pure Mathematics n. 25. Providence, Rhode Island: American Mathematical Society. Held at the University of California, Berkeley, June 23-30, 1971.
Heyting, Arend. 1974b. “Intuitionistic Views on the Nature of Mathematics.” Synthese 27(1-2): 79–91.

Further References

Benacerraf, Paul and Putnam, Hilary, eds. 1964. Philosophy of Mathematics: Selected Readings. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. Second edition: Benacerraf and Putnam (1983).
Benacerraf, Paul and Putnam, Hilary, eds. 1983. Philosophy of Mathematics: Selected Readings. 2nd ed. Cambridge: Cambridge University Press. First edition: Benacerraf and Putnam (1964), doi:10.1017/cbo9781139171519.
Destouches, Jean-Louis, ed. 1967. E.W. Beth: Memorial Colloquium. Logic and Foundations of Science (Paris, Institut Henri Poincaré, 19-21 May 1964). Dordrecht: D. Reidel Publishing Co.
Gödel, Kurt. 1986. Collected Works. Volume I: Publications 1929–1936. Oxford: Oxford University Press. Edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay and Jean van Heijenoort, doi:10.1093/oso/9780195147209.001.0001.
Mancosu, Paolo, ed. 1998. From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s. Oxford: Oxford University Press.