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.

中文翻译：

---

直觉、迭代、归纳

布劳威尔关于归纳法的观点最近被范达伦描述为不仅直观（如预期）而且实用的观点。他声称布劳威尔的“你的直觉”也产生了递归器。诉诸胡塞尔的现象学，我对布劳威尔的观点进行了分析，支持这种描述和主张，即使将主要角色分配给迭代器。与庞加莱、海廷和克赖泽尔的归纳法的描述进行了对比。在现象学方面，该分析提供了蒂森《数学直觉》中的替代方案，并证实了哥德尔对其《辩证法解释》的看法。