Braucht die konstruktive Mathematik Grundlagen?

MaRDI QIDQ1056740zbMATH OpenFDO

Authors 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

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

Cited in

(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?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1056740)