Intuition, Iteration, Induction - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Philosophia Mathematica Année : 2023

Intuition, Iteration, Induction

Résumé

Abstract Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an alternative to that in Tieszen’s Mathematical Intuition, and confirms a view of Gödel on his Dialectica Interpretation.

Dates et versions

hal-04321868 , version 1 (04-12-2023)

Identifiants

Citer

Mark van Atten. Intuition, Iteration, Induction. Philosophia Mathematica, 2023, ⟨10.1093/philmat/nkad017⟩. ⟨hal-04321868⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More