scientific article; zbMATH DE number 1301805
From MaRDI portal
Publication:4247023
Recommendations
Cited in
(24)- Constructive mathematics: a foundation for computable analysis
- Reverse formalism 16
- Cantor's paradise regained: constructive mathematics from Brouwer to Kolmogorov to Gelfond
- Manifest of applied constructivism
- Constructivism Is Difficult
- On the constructive and computational content of abstract mathematics
- An introduction to constructive mathematics
- Gilt das Lemma von König „konstruktiv“?
- scientific article; zbMATH DE number 3977011 (Why is no real title available?)
- Constructive Mathematics
- scientific article; zbMATH DE number 4029560 (Why is no real title available?)
- scientific article; zbMATH DE number 4118367 (Why is no real title available?)
- scientific article; zbMATH DE number 1860669 (Why is no real title available?)
- scientific article; zbMATH DE number 1867340 (Why is no real title available?)
- Did Bishop Have a Philosophy of Mathematics?†
- scientific article; zbMATH DE number 936956 (Why is no real title available?)
- Five stages of accepting constructive mathematics
- Constructive belief reports
- Constructive mathematics in St Petersburg, Russia: a (somewhat subjective) view from within
- Proof-theoretic semantics and feasibility
- Pluralism in mathematics
- Church's thesis and Bishop's constructivism
- scientific article; zbMATH DE number 2233169 (Why is no real title available?)
- scientific article; zbMATH DE number 4183380 (Why is no real title available?)
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 Q4247023)
