Weyl and intuitionistic infinitesimals - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2018

Weyl and intuitionistic infinitesimals

Résumé

As Weyl was interested in infinitesimal analysis and for some years embraced Brouwer's intuitionism, which he continued to see as an ideal even after he had convinced himself that it is a practical necessity for science to go beyond intuitionistic mathematics, this note presents some remarks on infinitesimals from a Brouwerian perspective. After an introduction and a look at Robinson's and Nelson's approaches to classical nonstandard analysis, three desiderata for an intuitionistic construction of infinitesimals are extracted from Brouwer's writings. These cannot be met, but in explicitly Brouwerian settings what might in different ways be called approximations to infinitesimals have been developed by early Brouwer, Vesley, and Reeb. I conclude that perhaps Reeb's approach, with its Brouwerian motivation for accepting Nelson's classical formalism, would have suited Weyl best.

Domaines

Philosophie
Fichier principal
Vignette du fichier
VanAtten_IntuitionisticInfinitesimals_preprint.pdf (141.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

halshs-01730473 , version 1 (13-03-2018)
halshs-01730473 , version 2 (02-07-2018)

Identifiants

  • HAL Id : halshs-01730473 , version 1

Citer

Mark van Atten. Weyl and intuitionistic infinitesimals. 2018. ⟨halshs-01730473v1⟩
149 Consultations
541 Téléchargements

Partager

Gmail Facebook X LinkedIn More