scientific article; zbMATH DE number 3485716
From MaRDI portal
Publication:4068683
Recommendations
Cited in
(79)- Intuitionistic truth
- Recursive categoricity and recursive stability
- Constructing type systems over an operational semantics
- The first axiomatization of relevant logic
- From constructivism to computer science
- The indefinability of ``one
- Type-1 fuzzy sets and intuitionistic fuzzy sets
- Retracing Cantor's first steps in Brouwer's company
- To be or not to be constructive, that is not the question
- Intuitionism and effective descriptive set theory
- Brouwer and Euclid
- Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations
- Brouwer and cardinalities
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- L. E. J. Brouwer: Toward intuitionistic logic
- Reverse formalism 16
- Intuitionism: an inspiration?
- Proof of stability in the Brower-Paul problem
- Between Turing and Kleene
- Splittings and disjunctions in reverse mathematics
- Brouwer's intuitionism vis à vis Kant's intuition and imagination
- On the historical transformations of the square of opposition as semiotic object
- Searches for the origins of the epistemological concept of model in mathematics
- Equality and equivalence, intuitionistically
- The curious neglect of geometry in modern philosophies of mathematics
- How to solve the knowability paradox with transcendental epistemology
- A framework for intuitionistic grammar logics
- The Philosophical Impact of the Löwenheim-Skolem Theorem
- On natural deduction for Herbrand constructive logics. I: Curry-Howard correspondence for Dummett's logic \(\mathsf {LC}\)
- Weyl and Intuitionistic Infinitesimals
- Objectivity and truth in mathematics: a sober non-Platonist perspective
- A Dialogical Account of the Intersubjectivity of Intuitionism
- The truth of proof: a Hegelian perspective on constructivism
- The dynamical systems approach to differential equations
- On brouwer's definition of unextendable order
- scientific article; zbMATH DE number 3663047 (Why is no real title available?)
- Intuitionistic completeness of first-order logic
- scientific article; zbMATH DE number 47777 (Why is no real title available?)
- Spreads or choice sequences?
- scientific article; zbMATH DE number 107604 (Why is no real title available?)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Heyting’s contribution to the change in research into the foundations of mathematics
- scientific article; zbMATH DE number 1952037 (Why is no real title available?)
- scientific article; zbMATH DE number 1833394 (Why is no real title available?)
- What the Applicability of Mathematics Says About Its Philosophy
- Computable analysis and notions of continuity in \textsc{Coq}
- Notes on computable analysis
- Computability theory, nonstandard analysis, and their connections
- Brouwer's ideas and intuitionistic fuzziness
- Gödel and intuitionism
- The prehistory of the subsystems of second-order arithmetic
- scientific article; zbMATH DE number 3249763 (Why is no real title available?)
- scientific article; zbMATH DE number 3053905 (Why is no real title available?)
- Proof vs Provability: On Brouwer’s Time Problem
- Does Mathematics Need Foundations?
- Adding Negation to Lambda Mu
- Projective sets, intuitionistically
- Laplace's demon consults an oracle: the computational complexity of prediction
- Disjunctive syllogism without \textit{ex falso}
- Paradoxes, intuitionism, and proof-theoretic semantics
- The geometer's gaze: on H. G. Zeuthen's holistic epistemology of mathematics
- Choice sequences and the continuum
- Mathematics and experience
- A constructive interpretation of the logical constants
- Wittgenstein and Brouwer
- Brouwer, as never read by Husserl
- Kuhn’s World Change and Mathematical Intuitionism
- The principle of open induction on \([0, 1]\) and the approximate-fan theorem
- Brouwer vindicated by neuroscience
- The temporal continuum
- On some of Brouwer's axioms
- The Fan Theorem, its strong negation, and the determinacy of games
- Analyticity and syntheticity in type theory revisited
- Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
- On different ways of being equal
- What is intuitionistic arithmetic?
- The logic of potential infinity
- Preference, indifference, and Markov's principle
- Logical predictivism
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4068683)
