scientific article; zbMATH DE number 3298807
From MaRDI portal
Publication:5579001
zbMath0187.26307MaRDI QIDQ5579001
No author found.
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
Creative subject, Beth models and neighbourhood functions ⋮ Provability in principle and controversial constructivistic principles ⋮ Realizing Brouwer's sequences ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ Intuitionism and effective descriptive set theory ⋮ Unnamed Item ⋮ Weyl and Intuitionistic Infinitesimals ⋮ Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics ⋮ Bibliography of John Myhill ⋮ Brouwer's constructivism ⋮ Über das Markov-Prinzip II ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ The theory of empirical sequences ⋮ Informal theory of choice sequences ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Gödel and Intuitionism
This page was built for publication:
