Intuitionistic Proof Versus Classical Truth The Role of Brouwer's Creative Subject in Intuitionistic Mathematics /

• Main Author: Martino, Enrico (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Logic, Epistemology, and the Unity of Science, 42
• Subjects: Mathematics-Philosophy.; Mathematical logic.; Philology.; Logic.; Philosophy of Mathematics.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers - both new and previously published - it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism. The author expl...