Advertisement

Abstract

One may distinguish two components in Brouwer’s proposal for an intuitionistic reform of the existing mathematical practice.

Keywords

Borel Subset Baire Space Reasoning Step Cantor Space Canonical Proof 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Authors and Affiliations

  • Wim Veldman
    • 1
  1. 1.Institute for Mathematics, Astrophysics and Particle Physics, Faculty of ScienceRadboud UniversityNijmegenThe Netherlands

Personalised recommendations