- Minds beyond brains and algorithms.Jan M. Zytkow - 1990 - Behavioral and Brain Sciences 13 (4):691-692.details
|
|
Toward a constructive theory of unbounded linear operators.Feng Ye - 2000 - Journal of Symbolic Logic 65 (1):357-370.details
|
|
Computability, consciousness, and algorithms.Robert Wilensky - 1990 - Behavioral and Brain Sciences 13 (4):690-691.details
|
|
Nonstandard analysis and constructivism?Frank Wattenberg - 1988 - Studia Logica 47 (3):303 - 309.details
|
|
Penrose's grand unified mystery.David Waltz & James Pustejovsky - 1990 - Behavioral and Brain Sciences 13 (4):688-690.details
|
|
On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.details
|
|
Feng Ye. Strict Finitism and the Logic of Mathematical Applications.Nigel Vinckier & Jean Paul Van Bendegem - 2016 - Philosophia Mathematica 24 (2):247-256.details
|
|
Simulation, computation and dynamics in economics.K. Vela Velupillai & Stefano Zambelli - 2015 - Journal of Economic Methodology 22 (1):1-27.details
|
|
Brouwer’s Fan Theorem as an axiom and as a contrast to Kleene’s alternative.Wim Veldman - 2014 - Archive for Mathematical Logic 53 (5):621-693.details
|
|
Between Turing and quantum mechanics there is body to be found.Francisco J. Varela - 1990 - Behavioral and Brain Sciences 13 (4):687-688.details
|
|
Exactly which emperor is Penrose talking about?John K. Tsotsos - 1990 - Behavioral and Brain Sciences 13 (4):686-687.details
|
|
What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.details
|
|
The thinker dreams of being an emperor.M. M. Taylor - 1990 - Behavioral and Brain Sciences 13 (4):685-686.details
|
|
A non-standard construction of Haar measure and weak könig's lemma.Kazuyuki Tanaka & Takeshi Yamazaki - 2000 - Journal of Symbolic Logic 65 (1):173-186.details
|
|
Powers of positive elements in C *-algebras.Hiroki Takamura - 2011 - Mathematical Logic Quarterly 57 (5):481-484.details
|
|
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.details
|
|
And then a miracle happens….Keith E. Stanovich - 1990 - Behavioral and Brain Sciences 13 (4):684-685.details
|
|
The pretender's new clothes.Tim Smithers - 1990 - Behavioral and Brain Sciences 13 (4):683-684.details
|
|
Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.details
|
|
Theological Underpinnings of the Modern Philosophy of Mathematics.Vladislav Shaposhnikov - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):147-168.details
|
|
The Objectivity of Mathematics.Stewart Shapiro - 2007 - Synthese 156 (2):337-381.details
|
|
Structures and Logics: A Case for (a) Relativism.Stewart Shapiro - 2014 - Erkenntnis 79 (S2):309-329.details
|
|
Possibilities, models, and intuitionistic logic: Ian Rumfitt’s The boundary stones of thought.Stewart Shapiro - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):812-825.details
|
|
Too simple solutions of hard problems.Peter M. Schuster - 2010 - Nordic Journal of Philosophical Logic 6 (2):138-146.details
|
|
Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.details
|
|
Seeing truth or just seeming true?Adina Roskies - 1990 - Behavioral and Brain Sciences 13 (4):682-683.details
|
|
Rings and Fields, a Constructive View.Daniel A. Romano - 1988 - Mathematical Logic Quarterly 34 (1):25-40.details
|
|
Rings and Fields, a Constructive View.Daniel A. Romano - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):25-40.details
|
|
Equality and Coequality Relations on the Cartesian Product of Sets.Daniel A. Romano - 1988 - Mathematical Logic Quarterly 34 (5):471-480.details
|
|
Equality and Coequality Relations on the Cartesian Product of Sets.Daniel A. Romano - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):471-480.details
|
|
Construction of An Equality Relation on a Set with Coequality Relation.Daniel A. Romano - 1989 - Mathematical Logic Quarterly 35 (6):515-516.details
|
|
Construction of An Equality Relation on a Set with Coequality Relation.Daniel A. Romano - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):515-516.details
|
|
A theorem on cocongruence of rings.Daniel A. Romano - 1990 - Mathematical Logic Quarterly 36 (1):87-88.details
|
|
A theorem on cocongruence of rings.Daniel A. Romano - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):87-88.details
|
|
Systematic, unconscious thought is the place to anchor quantum mechanics in the mind.Thomas Roeper - 1990 - Behavioral and Brain Sciences 13 (4):681-682.details
|
|
Eliminating disjunctions by disjunction elimination.Davide Rinaldi, Peter Schuster & Daniel Wessel - 2017 - Bulletin of Symbolic Logic 23 (2):181-200.details
|
|
Nick Haverkamp. Intuitionism vs. Classicism: A Mathematical Attack on Classical Logic. Studies in Theoretical Philosophy, Vol. 2. Frankfurt: Klostermann, 2015. ISBN 978-3-465-03906-8 . Pp. xvi + 270. [REVIEW]Fred Richman - 2016 - Philosophia Mathematica 24 (2):278-278.details
|
|
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.details
|
|
Mathematical Knowledge and Pattern Cognition.Michael D. Resnik - 1975 - Canadian Journal of Philosophy 5 (1):25 - 39.details
|
|
Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.details
|
|
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.details
|
|
The emperor's old hat.Don Perlis - 1990 - Behavioral and Brain Sciences 13 (4):680-681.details
|
|
The nonalgorithmic mind.Roger Penrose - 1990 - Behavioral and Brain Sciences 13 (4):692-705.details
|
|
Precis of the emperor's new mind.Roger Penrose - 1990 - Behavioral and Brain Sciences 13 (4):643-705.details
|
|
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.details
|
|
Developments in constructive nonstandard analysis.Erik Palmgren - 1998 - Bulletin of Symbolic Logic 4 (3):233-272.details
|
|
A constructive examination of a Russell-style ramified type theory.Erik Palmgren - 2018 - Bulletin of Symbolic Logic 24 (1):90-106.details
|
|
Steadfast intentions.Keith K. Niall - 1990 - Behavioral and Brain Sciences 13 (4):679-680.details
|
|
Paradoxes.John Myhill - 1984 - Synthese 60 (1):129 - 143.details
|
|
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.details
|
|