scientific article; zbMATH DE number 5519284

MaRDI QIDQ3606209zbMATH OpenFDO

Authors Michael Beeson

Publication date 26 February 2009

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 17564
• Continuity, Constructibility, and Intuitivity
• Logical Approaches to Computational Barriers
• Continuity, proof systems and the theory of transfinite computations
• Constructive mathematics: a foundation for computable analysis
• Intuitionistic/constructive accounts of the continuum today
• From mathesis universalis to provability, computability, and constructivity
• Constructive decidability of classical continuity
• Continuity and computability of reachable sets
• Continuity and nondiscontinuity in constructive mathematics

Cited in

(4)

• Constructive sets in computable sets
• Turing determinacy and the continuum hypothesis
• Continuity, Constructibility, and Intuitivity
• Logical Approaches to Computational Barriers

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 Q3606209)