Erik Palmgren (palmgren)
Mentionné.e sur les pages du portail suivantes
Stanford Encyclopedia of PhilosophyContributions à Philosophie.ch
No contributions yet
Bibliography
Bridges, Douglas S. and Palmgren, Erik. 2013. “Constructive Mathematics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2013/entries/mathematics-constructive/.
Bridges, Douglas S. and Palmgren, Erik. 2018. “Constructive Mathematics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2018/entries/mathematics-constructive/.
Bridges, Douglas S., Palmgren, Erik and Ishihara, Hajime. 2022. “Constructive Mathematics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2022/entries/mathematics-constructive/.
Dybjer, Peter, Lindström, Sten, Palmgren, Erik and Sundholm, Göran, eds. 2012. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.
Dybjer, Peter and Palmgren, Erik. 2016. “Intuitionistic Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2016/entries/type-theory-intuitionistic/.
Dybjer, Peter and Palmgren, Erik. 2020. “Intuitionistic Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2020/entries/type-theory-intuitionistic/.
Lindström, Sten and Palmgren, Erik. 2009. “Introduction: The Three Foundational Programmes.” in Logicism, Intuitionism, and Formalism. What Has Become of Them?, edited by Sten Lindström, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, pp. 1–25. Synthese Library n. 341. Dordrecht: Springer.
Lindström, Sten, Palmgren, Erik, Segerberg, Krister and Stoltenberg-Hansen, Viggo, eds. 2009. Logicism, Intuitionism, and Formalism. What Has Become of Them? Synthese Library n. 341. Dordrecht: Springer.
Lindström, Sten, Palmgren, Erik and Westerståhl, Dag. 2012. “Introduction: The Philosophy of Logical Consequence and Inference.” Synthese 187(3): 817–820.
Palmgren, Erik. 1998. “Developments in Constructive Nonstandard Analysis.” The Bulletin of Symbolic Logic 4(3): 233–272.
Palmgren, Erik. 2009. “From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory.” in Logicism, Intuitionism, and Formalism. What Has Become of Them?, edited by Sten Lindström, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, pp. 237–254. Synthese Library n. 341. Dordrecht: Springer.
Palmgren, Erik. 2012. “Constructivist Versus Structuralist Foundations.” in Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, edited by Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, pp. 265–280. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.