Braucht die konstruktive Mathematik Grundlagen?

zbMath0523.03004MaRDI QIDQ1056740

Dirk van Dalen

Publication date: 1982

Published in: Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)

zbMATH Keywords

constructive mathematicschoice sequencessemantic side of constructive mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Other constructive mathematics (03F65)

Related Items (2)

The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session

This page was built for publication: Braucht die konstruktive Mathematik Grundlagen?