- Alan Turing: person of the XXth century?José M. Sánchez Ron - 2013 - Arbor 189 (764):a085.details
|
|
Gödel, Realism and Mathematical 'Intuition'.Michael Hallett - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 113--131.details
|
|
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 249--350.details
|
|
The intuitionistic fragment of computability logic at the propositional level.Giorgi Japaridze - 2007 - Annals of Pure and Applied Logic 147 (3):187-227.details
|
|
Vom Unendlichen zum Endlichen.Eduard Wette - 1970 - Dialectica 24 (4):303-323.details
|
|
A proof of strongly uniform termination for Gödel's \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document} by methods from local predicativity. [REVIEW]Andreas Weiermann - 1997 - Archive for Mathematical Logic 36 (6):445-460.details
|
|
Non-principal ultrafilters, program extraction and higher-order reverse mathematics.Alexander P. Kreuzer - 2012 - Journal of Mathematical Logic 12 (1):1250002-.details
|
|
Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
William Tait. The provenance of pure reason. Essays on the philosophy of mathematics and on its history.Charles Parsons - 2009 - Philosophia Mathematica 17 (2):220-247.details
|
|
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.details
|
|
Realizability and intuitionistic logic.J. Diller & A. S. Troelstra - 1984 - Synthese 60 (2):253 - 282.details
|
|
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
Maria Hämeen-Anttila* and Jan von Plato,** eds, Kurt Gödel: The Princeton Lectures on Intuitionism.Ulrich Kohlenbach - 2023 - Philosophia Mathematica 31 (1):112-119.details
|
|
Jan von Plato.* Can Mathematics be Proved Consistent?John W. Dawson - 2023 - Philosophia Mathematica 31 (1):104-111.details
|
|
Identity in Martin‐Löf type theory.Ansten Klev - 2021 - Philosophy Compass 17 (2):e12805.details
|
|
On Not Saying What We Shouldn't Have to Say.Shay Logan & Leach-Krouse Graham - 2021 - Australasian Journal of Logic 18 (5):524-568.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
The Quantum Strategy of Completeness: On the Self-Foundation of Mathematics.Vasil Penchev - 2020 - Cultural Anthropology eJournal (Elsevier: SSRN) 5 (136):1-12.details
|
|
A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory.Vasil Penchev - 2020 - Information Theory and Research eJournal 1 (15):1-13.details
|
|
(1 other version)Representation and Reality by Language: How to make a home quantum computer?Vasil Penchev - 2020 - Philosophy of Science eJournal (Elsevier: SSRN) 13 (34):1-14.details
|
|
Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.details
|
|
Binary Refinement Implies Discrete Exponentiation.Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren & Peter Schuster - 2006 - Studia Logica 84 (3):361-368.details
|
|
On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.details
|
|
Functional interpretation of Aczel's constructive set theory.Wolfgang Burr - 2000 - Annals of Pure and Applied Logic 104 (1-3):31-73.details
|
|
Dialectica interpretation of well-founded induction.Helmut Schwichtenberg - 2008 - Mathematical Logic Quarterly 54 (3):229-239.details
|
|
Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.details
|
|
Fatal Heyting Algebras and Forcing Persistent Sentences.Leo Esakia & Benedikt Löwe - 2012 - Studia Logica 100 (1-2):163-173.details
|
|
The consistency problem for set theory: An essay on the Cantorian foundations of mathematics (II).John Mayberry - 1977 - British Journal for the Philosophy of Science 28 (2):137-170.details
|
|
Hilbert's philosophy of mathematics.Marcus Giaquinto - 1983 - British Journal for the Philosophy of Science 34 (2):119-132.details
|
|
When physical systems realize functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.details
|
|
Nonstandard Functional Interpretations and Categorical Models.Amar Hadzihasanovic & Benno van den Berg - 2017 - Notre Dame Journal of Formal Logic 58 (3):343-380.details
|
|
Truth vs. provability – philosophical and historical remarks.Roman Murawski - 2002 - Logic and Logical Philosophy 10:93.details
|
|
Semantical games, the alleged ambiguity of 'is', and aristotelian categories.Jaakko Hintikka - 1983 - Synthese 54 (3):443 - 468.details
|
|
On Paradoxes in Normal Form.Mattia Petrolo & Paolo Pistone - 2019 - Topoi 38 (3):605-617.details
|
|
Identity and intensionality in Univalent Foundations and philosophy.Staffan Angere - 2017 - Synthese 198 (Suppl 5):1-41.details
|
|
(2 other versions)Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems.G. Kreisel & A. Lévy - 1968 - Mathematical Logic Quarterly 14 (7-12):97-142.details
|
|
Soft Axiomatisation: John von Neumann on Method and von Neumann's Method in the Physical Sciences.Miklós Rédei & Michael Stöltzner - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 235--249.details
|
|
Classical truth in higher types.Ulrich Berger - 2008 - Mathematical Logic Quarterly 54 (3):240-246.details
|
|
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.details
|
|
Type theory.Thierry Coquand - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
A decidable theory of type assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.details
|
|
Ptykes in GödelsT und Definierbarkeit von Ordinalzahlen.Peter Päppinghaus - 1989 - Archive for Mathematical Logic 28 (2):119-141.details
|
|
Unique solutions.Peter Schuster - 2006 - Mathematical Logic Quarterly 52 (6):534-539.details
|
|
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.details
|
|
The metamathematics of ergodic theory.Jeremy Avigad - 2009 - Annals of Pure and Applied Logic 157 (2-3):64-76.details
|
|
Reflections on gödel's and Gandy's reflections on Turing's thesis.David Israel - 2002 - Minds and Machines 12 (2):181-201.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Wilfried Sieg. Hilbert's Programs and Beyond. Oxford: Oxford University Press, 2013. ISBN 978-0-19-537222-9 ; 978-0-19-970715-7 . Pp. xii + 439†. [REVIEW]Oran Magal - 2014 - Philosophia Mathematica 22 (3):417-423.details
|
|