7 citations · 7 across the 6 of their papers we have counts for
6 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…
Lorenzen's reshaping of Krull's Fundamentalsatz for integral domains (1938--1953)
Stefan Neuwirth
Krull's Fundamentalsatz, the generalisation of the main theorem of elementary number theory to integral domains, is the starting point of Lorenzen's career in mathematics. This art…
Lorenzen's proof of consistency for elementary number theory [with an edition and translation of "Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis'']
Thierry Coquand, Stefan Neuwirth
We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseu…
Roger Apéry: humour at the service of a free and original thinking on constructive mathematics
Henri Lombardi, Stefan Neuwirth
This article is an invitation to read a famous text of Roger Ap{é}ry, "Math{é}matique constructive", published in the book "Penser les math{é}matiques: s{é}minaire de philosophie e…