Arguments for the Continuity Principle

DOI10.2307/3062203zbMath1036.03047OpenAlexW2109302367MaRDI QIDQ4779633

Dirk van Dalen, Mark van Atten

Publication date: 16 December 2002

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26961

zbMATH Keywords

Brouwer's continuity principle

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (10)

Brouwer's weak counterexamples and the creative subject: a critical survey ⋮ A note on neat reducts ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ To be or not to be constructive, that is not the question ⋮ A Dialogical Account of the Intersubjectivity of Intuitionism ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Using Brouwer's continuity principle to pick stocks ⋮ Bishop-Style Constructive Reverse Mathematics ⋮ Formally computing with the non-computable

This page was built for publication: Arguments for the Continuity Principle