- A proof of the impossibility of completing infinitely many tasks.Jeremy Gwiazda - 2012 - Pacific Philosophical Quarterly 93 (1):1-7.details
|
|
The Crisis in the Foundations of Mathematics.J. Ferreiros - 2008 - In T. Gowers (ed.), Princeton Companion to Mathematics. Princeton University Press.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Epistemic optimism.Mihai Ganea - 2008 - Philosophia Mathematica 16 (3):333-353.details
|
|
(1 other version)A most artistic package of a jumble of ideas.Fernando Ferreira - 2008 - Dialectica 62 (2):205–222.details
|
|
Dummett's objection to the ontological route to intuitionistic logic: a rejoinder.Mark van Atten - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):725-742.details
|
|
Proof vs Provability: On Brouwer’s Time Problem.Palle Yourgrau - 2020 - History and Philosophy of Logic 41 (2):140-153.details
|
|
Philosophy of Mathematical Practice — Motivations, Themes and Prospects†.Jessica Carter - 2019 - Philosophia Mathematica 27 (1):1-32.details
|
|
Scientific phenomena and patterns in data.Pascal Ströing - 2018 - Dissertation, Lmu Münchendetails
|
|
Intuitionistic logic and its philosophy.Panu Raatikainen - 2013 - Al-Mukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy (6):114-127.details
|
|
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.details
|
|
Is There a Philosophy of Information?Fred Adams & João Antonio de Moraes - 2016 - Topoi 35 (1):161-171.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)Choice Sequences and the Continuum.Casper Storm Hansen - 2020 - Erkenntnis 87 (2):517-534.details
|
|
Brouwer and Nietzsche: Views about Life, Views about Logic.Miriam Franchella - 2015 - History and Philosophy of Logic 36 (4):367-391.details
|
|
(1 other version)Choice Sequences and the Continuum.Casper Storm Hansen - 2020 - Erkenntnis 87 (2):517-534.details
|
|
Brouwer's Conception of Truth.Casper Storm Hansen - 2016 - Philosophia Mathematica 24 (3):379-400.details
|
|
From Philosophical Traditions to Scientific Developments: Reconsidering the Response to Brouwer’s Intuitionism.Kati Kish Bar-On - 2022 - Synthese 200 (6):1–25.details
|
|
Is unsaying polite?Berislav Žarnić - 2011 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Dordrecht and New York: Springer. pp. 201--224.details
|
|
(1 other version)Applied Mathematics in the Sciences.Dale Jacquette - 2006 - Croatian Journal of Philosophy 6 (2):237-267.details
|
|
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark van Atten & Göran Sundholm - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann (eds.), One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 60-77.details
|
|