Material to categorize
- Foucault, Deleuze, and Nietzsche.Ilexa Yardley - 2021 - Https://Medium.Com/the-Circular-Theory/.details
- Functorial Semantics for the Advancement of the Science of Cognition.Venkata Posina, Dhanjoo N. Ghista & Sisir Roy - 2017 - Mind and Matter 15 (2):161-184.details
- Nudging Scientific Advancement Through Reviews.Venkata Rayudu Posina, Hippu Salk K. Nathan & Anshuman Behera - details
- Foundation of Paralogical Nonstandard Analysis and its Application to Some Famous Problems of Trigonometrical and Orthogonal Series.Jaykov Foukzon - manuscriptdetails
- On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers.Urszula Wybraniec-Skardowska - 2019 - Axioms 2019 (Deductive Systems).details
- Carnap Rudolf. On the Use of Hilbert's Ε-Operator in Scientific Theories. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkel on His Seventieth Anniversary, Edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, Pp. 156–164. [REVIEW]H. Bohnert - 1971 - Journal of Symbolic Logic 36 (2):320-321.details
- Numerical Infinities and Infinitesimals: Methodology, Applications, and Repercussions on Two Hilbert Problems.Yaroslav Sergeyev - 2017 - EMS Surveys in Mathematical Sciences 4 (2):219–320.details
- Genetic Counseling in Historical Perspective: Understanding Our Hereditary Past and Forecasting Our Genomic Future. [REVIEW]618 622 - 2013 - Studies in History and Philosophy of Science Part A 44 (4):Devon-Stillwell.details
- Subregular Tetrahedra.John Corcoran - 2008 - Bulletin of Symbolic Logic 14 (3):411-2.details
- A Logic Of Sequences.Norihiro Kamide - 2011 - Reports on Mathematical Logic:29-57.details
- Logicism Reconsidered.Patricia A. Blanchette - 1990 - Dissertation, Stanford Universitydetails
- Finitism: An Essay on Hilbert's Programme.David Watson Galloway - 1991 - Dissertation, Massachusetts Institute of Technologydetails
- Strict Constructivism and the Philosophy of Mathematics.Feng Ye - 2000 - Dissertation, Princeton Universitydetails
- Facets of Infinity: A Theory of Finitistic Truth.Zlatan Damnjanovic - 1992 - Dissertation, Princeton Universitydetails
- The Social Problem: A Constructive Analysis.Dickinson S. Miller - 1916 - Journal of Philosophy, Psychology and Scientific Methods 13 (3):81-82.details
- Errett Bishop Reflections on Him and His Research.Murray Rosenblatt & Errett Bishop - 1985details
- What Is Mathematics, Really? By Reuben Hersh. [REVIEW]Mary Tiles - 1999 - Isis 90:344-345.details
- The Foundations of Intuitionistic Mathematics. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):154-155.details
- Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. Volume 1: The Dawning Revolution. [REVIEW]Diederick Raven - 2001 - British Journal for the History of Science 34 (1):97-124.details
- Cofinally Invariant Sequences and Revision.Edoardo Rivello - 2015 - Studia Logica 103 (3):599-622.details
- Brouwer Versus Hilbert: 1907–1928.J. Posy Carl - 1998 - Science in Context 11 (2):291-325.details
- Penelope Maddy, Naturalism in Mathematics.N. Tennant - 2000 - Philosophia Mathematica 8 (3):316-338.details
- Mathematics in and Behind Russell's Logicism and its Reception'.I. Grattan-Guinness - 2003 - In Nicholas Griffin (ed.), Bulletin of Symbolic Logic. Cambridge University Press. pp. 51.details
- Lebesgue Integral in Constructive Analysis.Oswald Demuth - 1969 - In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York: Consultants Bureau. pp. 9--14.details
- On Constructive Groups.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York: Consultants Bureau. pp. 32--35.details
- About Brouwer's Fan Theorem.Thierry Coquand - 2004 - Revue Internationale de Philosophie 230:483-489.details
- Arithmetic of Infinity.Yaroslav D. Sergeyev - 2013 - E-book.details
- A Characterization of Constructive Dimension.Satyadev Nandakumar - 2009 - Mathematical Logic Quarterly 55 (2):185-200.details
- Lawless Mind.John Martin Fischer - 1991 - Philosophical Books 32 (4):240-241.details
- Unavoidable Sequences in Constructive Analysis.Joan Rand Moschovakis - 2010 - Mathematical Logic Quarterly 56 (2):205-215.details
- Product a-Frames and Proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.details
- A Constructive Treatment of Urysohn's Lemma in an Apartness Space.Douglas Bridges & Hannes Diener - 2006 - Mathematical Logic Quarterly 52 (5):464-469.details
- On Local Non‐Compactness in Recursive Mathematics.Jakob G. Simonsen - 2006 - Mathematical Logic Quarterly 52 (4):323-330.details
- Constructive Complements of Unions of Two Closed Sets.Douglas S. Bridges - 2004 - Mathematical Logic Quarterly 50 (3):293.details
- On Weak Markov's Principle.Ulrich Kohlenbach - 2002 - Mathematical Logic Quarterly 48 (S1):59-65.details
- Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets.Andrzej Orlicki - 1987 - Mathematical Logic Quarterly 33 (4):371-384.details
- Fundamental Sequences for Exponential Polynomials.Rod McBeth - 1980 - Mathematical Logic Quarterly 26 (7‐9):115-122.details
- The Anti-Specker Property, a Heine–Borel Property, and Uniform Continuity.Josef Berger & Douglas Bridges - 2008 - Archive for Mathematical Logic 46 (7-8):583-592.details
- Brouwer's Fan Theorem and Unique Existence in Constructive Analysis.Josef Berger & Hajime Ishihara - 2005 - Mathematical Logic Quarterly 51 (4):360-364.details
- The Problem of the Formalization of Constructive Topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.details
- Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2-3):153-207.details
- The Consistency of Arithmetic, Based on a Logic of Meaning Containment.Ross T. Brady - 2012 - Logique Et Analyse 55 (219).details
- The Intermediate Value Theorem in Constructive Mathematics Without Choice.Matthew Hendtlass - 2012 - Annals of Pure and Applied Logic 163 (8):1050-1056.details
- Brève note sur l'intuitionnisme de Brouwer.J. Largeault - 1992 - Revue Philosophique de la France Et de l'Etranger 182 (3):317 - 324.details
- Dummett on Impredicativity.Alan Weir - 1998 - Grazer Philosophische Studien 55 (1):65-101.details
- Chateaubriand's Logicism.Abel Casanave - 2004 - Manuscrito 27 (1):13-20.details
- The Foundations of Arithmetic.Brian Coffey - 1952 - Modern Schoolman 29 (2):157-157.details
- Truth Through Proof: A Formalist Foundation for Mathematics * by Alan Weir.Z. Damnjanovic - 2012 - Analysis 72 (2):415-418.details
- Blinking Fractals and Their Quantitative Analysis Using Infinite and Infinitesimal Numbers.Yaroslav Sergeyev - 2007 - Chaos, Solitons and Fractals 33 (1):50-75.details
- Finitism in Mathematics (II.).Alice Ambrose - 1935 - Mind 44 (175):317-340.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|