Braucht die konstruktive Mathematik Grundlagen?

zbMATH Open0523.03004MaRDI QIDQ1056740FDOQ1056740

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)