scientific article; zbMATH DE number 2204804
From MaRDI portal
Publication:5316409
Philosophy of mathematics (00A30) Biographies, obituaries, personalia, bibliographies (01A70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)
Recommendations
Cited in
(32)- Like a bee on a windowpane: Heyting's reflections on solipisms
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- Buekenhout unitals
- Mathematical intuitionism and intersubjectivity. A critical exposition of arguments for intuitionism
- Formally computing with the non-computable
- Brouwer's intuitionism vis à vis Kant's intuition and imagination
- Mathematics as information compression via the matching and unification of patterns
- Intuitionistic logic and the creative subject
- Weyl and Intuitionistic Infinitesimals
- A Dialogical Account of the Intersubjectivity of Intuitionism
- Brouwer's incomplete objects
- Intuitionistic completeness of first-order logic
- From a Brouwerian Point of View
- scientific article; zbMATH DE number 1254489 (Why is no real title available?)
- scientific article; zbMATH DE number 1303425 (Why is no real title available?)
- A solution to the surprise exam paradox in constructive mathematics
- The philosophy of logic
- Higher order functions and Brouwer's thesis
- Brouwer's ideas and intuitionistic fuzziness
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- Gödel and intuitionism
- Proof vs Provability: On Brouwer’s Time Problem
- Something But Not Too Much: Ontological Considerations in Intuitionistic Mathematics
- Choice sequences and the continuum
- From philosophical traditions to scientific developments: reconsidering the response to Brouwer's intuitionism
- Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle
- Does reason have limits? Review Essay: Stephen Budiansky, Journey to the edge of reason: the life of Kurt Gödel
- Separating Markov's principles
- Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
- What is intuitionistic arithmetic?
- Book review of: C. Lion, L'Intuitionnisme dialogique. Une lecture iconoclaste de liconoclasme de Brouwer
- Against against intuitionism
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 Q5316409)
