The following pages link to (Q4068683):
Displaying 43 items.
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Notes on computable analysis (Q519888) (← links)
- Laplace's demon consults an oracle: the computational complexity of prediction (Q639767) (← links)
- Preference, indifference, and Markov's principle (Q751944) (← links)
- Logical predictivism (Q830365) (← links)
- Intuitionistic truth (Q1062982) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- Constructing type systems over an operational semantics (Q1199709) (← links)
- The first axiomatization of relevant logic (Q1206805) (← links)
- From constructivism to computer science (Q1274450) (← links)
- The indefinability of ``one'' (Q1610608) (← links)
- Type-1 fuzzy sets and intuitionistic fuzzy sets (Q1657090) (← links)
- Retracing Cantor's first steps in Brouwer's company (Q1688956) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations (Q1788334) (← links)
- Brouwer and cardinalities (Q1788336) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- L. E. J. Brouwer: Toward intuitionistic logic (Q1899011) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Proof of stability in the Brower-Paul problem (Q2121841) (← links)
- Between Turing and Kleene (Q2151416) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- Brouwer's intuitionism vis à vis Kant's intuition and imagination (Q2268038) (← links)
- On the historical transformations of the square of opposition as semiotic object (Q2307713) (← links)
- Searches for the origins of the epistemological concept of model in mathematics (Q2357601) (← links)
- Equality and equivalence, intuitionistically (Q2658274) (← links)
- The curious neglect of geometry in modern philosophies of mathematics (Q2658290) (← links)
- How to solve the knowability paradox with transcendental epistemology (Q2695398) (← links)
- A framework for intuitionistic grammar logics (Q2695538) (← links)
- The Philosophical Impact of the Löwenheim-Skolem Theorem (Q2908779) (← links)
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- A Dialogical Account of the Intersubjectivity of Intuitionism (Q3305646) (← links)
- The Truth of Proof: A Hegelian Perspective on Constructivism (Q3305649) (← links)
- The dynamical systems approach to differential equations (Q3326957) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Adding Negation to Lambda Mu (Q6135761) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)
