36 citations · 106 across the 22 of their papers we have counts for
4 papers · 1 filter
Experiences of infinity and of generality in Book I of Euclid's Elements
Stefan Neuwirth
This article proposes a reading of Book I of Euclid's Elements with an emphasis of the experiences of infinity supplied by it, as a preparatory study for a research on the embodied…
A course Literature and mathematics
Spangle Durac, Claude Merker, Stefan Neuwirth
This article gives an account of a teaching experience carried out from 2008 to 2021 at the university of Franche-Comt{é} as an answer to the ministerial command of proposing cross…
Zeno, the philologists, and the scientists
Stefan Neuwirth
This article proposes a fresh and direct reading of foundational texts of philosophy and aims at bringing back the inflamed debates that are contemporaneous with the birth of Greek…
Constructive theory of ordinals
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
In Chapter 3 of his Notes on constructive mathematics, Martin-L{ö}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable…