scientific article
From MaRDI portal
Publication:3606209
zbMATH Open1157.03320MaRDI QIDQ3606209
Publication date: 26 February 2009
Title of this publication is not available (Why is that?)
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)
Related Items (4)
Constructive sets in computable sets ⋮ Continuity, Constructibility, and Intuitivity ⋮ Logical Approaches to Computational Barriers ⋮ Turing determinacy and the continuum hypothesis
Recommendations
- Title not available (Why is that?) 👍 👎
- Constructive mathematics: a foundation for computable analysis 👍 👎
- Continuity, proof systems and the theory of transfinite computations 👍 👎
- Continuity and computability of reachable sets 👍 👎
- From Mathesis Universalis to Provability, Computability, and Constructivity 👍 👎
- Continuity and nondiscontinuity in constructive mathematics 👍 👎
- Continuity, Constructibility, and Intuitivity 👍 👎
- Intuitionistic/Constructive Accounts of the Continuum Today 👍 👎
- Constructive decidability of classical continuity 👍 👎
- 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)
