scientific article
From MaRDI portal
Publication:4068683
zbMath0311.01021MaRDI QIDQ4068683
No author found.
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)
Related Items (53)
Searches for the origins of the epistemological concept of model in mathematics ⋮ Proof of stability in the Brower-Paul problem ⋮ Recursive categoricity and recursive stability ⋮ Logical predictivism ⋮ The Philosophical Impact of the Löwenheim-Skolem Theorem ⋮ L. E. J. Brouwer: Toward intuitionistic logic ⋮ Between Turing and Kleene ⋮ Type-1 fuzzy sets and intuitionistic fuzzy sets ⋮ Equality and equivalence, intuitionistically ⋮ The curious neglect of geometry in modern philosophies of mathematics ⋮ Splittings and disjunctions in reverse mathematics ⋮ Spreads or choice sequences? ⋮ Heyting’s contribution to the change in research into the foundations of mathematics ⋮ Intuitionistic completeness of first-order logic ⋮ Unnamed Item ⋮ Proof vs Provability: On Brouwer’s Time Problem ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Retracing Cantor's first steps in Brouwer's company ⋮ Does Mathematics Need Foundations? ⋮ To be or not to be constructive, that is not the question ⋮ Intuitionism and effective descriptive set theory ⋮ Brouwer and Euclid ⋮ Adding Negation to Lambda Mu ⋮ Projective sets, intuitionistically ⋮ How to solve the knowability paradox with transcendental epistemology ⋮ A framework for intuitionistic grammar logics ⋮ Laplace's demon consults an oracle: the computational complexity of prediction ⋮ On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic 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 ⋮ Notes on computable analysis ⋮ Constructing type systems over an operational semantics ⋮ The dynamical systems approach to differential equations ⋮ The first axiomatization of relevant logic ⋮ Brouwer's intuitionism vis à vis Kant's intuition and imagination ⋮ Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations ⋮ Brouwer and cardinalities ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ Brouwer’s Ideas and Intuitionistic Fuzziness ⋮ Reverse formalism 16 ⋮ What the Applicability of Mathematics Says About Its Philosophy ⋮ Preference, indifference, and Markov's principle ⋮ On the historical transformations of the square of opposition as semiotic object ⋮ From constructivism to computer science ⋮ Intuitionism: an inspiration? ⋮ On brouwer's definition of unextendable order ⋮ Gödel and Intuitionism ⋮ Intuitionistic truth ⋮ The indefinability of ``one ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
This page was built for publication:
