Stefan Neuwirth
- Laboratoire de Mathématiques de Besançon (UMR 6623) (LMB)
Publications
Publications
|
|
Thierry Coquand and Paul LorenzenWorkshop in honour of Thierry Coquand's 60th birthday, Ana Bove; Anders Mörtberg; Andreas Abel; Peter Dybjer; Peter LeFanu Lumsdaine, Aug 2022, Göteborg, Sweden |
|
|
The philosophy of dynamical algebraProof and Computation 2022 (PC22), Klaus Mainzer; Peter Schuster; Helmut Schwichtenberg, Sep 2022, Fischbachau, Germany |
|
|
Le cours comme improvisation collectiveColloque international « Improviser l’enseignement… Enseigner I’improvisation », IEEI 2021, Université de Montpellier, Jun 2021, Montpellier, France |
Paul Lorenzen's reception of Gödel's incompleteness theoremsCelebrating 90 Years of Gödel's Incompleteness Theorems, Carl Friedrich von Weizsäcker-Zentrum, Eberhard Karls Universität Tübingen, Jul 2021, Nürtingen, Germany |
|
Hermann Weyl and Paul Lorenzen on predicative mathematicsWeyl 2021: a workshop dedicated to Hermann Weyl's philosophy of mathematics, Universitetet i Oslo, Dec 2021, Oslo, Norway |
|
|
|
Constructiveness and lattices in Lorenzen's workGeometric Logic, Constructivisation, and Automated Theorem Proving, Schloss Dagstuhl, Nov 2021, Wadern, Germany |
Lorenzen’s noncommutative divisibility theoriesConference “Algebra and Algorithms”, Università degli studi di Verona; Université de Sfax, Feb 2020, Djerba, Tunisia |
|
Improvisation et mathématiquesColloque du cinquantenaire des IREM, May 2019, Besançon, France |
|
Ancrages matériels de l’éléatisme II : la sphère de ParménideColloque « Ancrages matériels, imagination diagrammatique et publication encyclopédique », Fabien Ferri; Arnaud Macé; Stefan Neuwirth, Nov 2019, Besançon, France |
|
|
|
Philosophie de l’algèbre dynamiqueDixième Rencontre Française de Philosophie des Mathématiques (FPMW10), Nov 2018, Paris, France |
Paul Lorenzen et l'effondrement des preuves de non-contradictionEurêka ! Le récit savant de découverte et/ou d'invention, Centre de Recherches Interdisciplinaires et Transculturelles (CRIT), Université de Franche-Comté, Nov 2018, Besançon, France |
|
|
|
Littérature et mathématiquesForum Mathématiques vivantes: mathématiques et langages, Maison des mathématiques et de l’informatique, Mar 2017, Lyon, France |
|
|
Lorenzen's free semilattices over integral domainsConference on rings and polynomials, TU Graz, Jul 2016, Graz, Austria |
|
|
Les problèmes philologiques posés par les paradoxes de ZénonHistoire et philosophie des mathématiques et des disciplines associées, en Méditerranée, Aix Marseille Université, Nov 2015, Marseille, France |
|
|
Le schème et le diagrammePresses universitaires de Franche-Comté, pp.172, 2024, 978-2-84867-994-5. ⟨10.4000/books.pufc.54961⟩ |
|
|
Un cours d'algèbre constructivePresses universitaires de Franche-Comté, 2020, Pratiques et techniques, série Didactiques, mathématiques, Martin Meyer, 978-2-84867-782-8 |
|
|
Expériences de l’infini et de la généralité dans le premier livre des Éléments d’EuclideFabien Ferri; Arnaud Macé; Stefan Neuwirth. Le schème et le diagramme : les ancrages matériels de la pensée et le partage visuel des connaissances, Presses universitaires de Franche-Comté, pp.35-48, 2024, Sciences : concepts et problèmes, 978-2-84867-994-5. ⟨10.4000/books.pufc.54961⟩ |
|
|
Constructive theory of ordinalsMarco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Michael Schuster. Mathematics for Computation - M4C, World Scientific, pp.287-318, 2023, 978-981-124-521-3. ⟨10.1142/9789811245220_0012⟩ |
|
|
Zénon, les philologues et les scientifiquesPhilippe Abgrall. Histoire et philosophie des mathématiques en Méditerranée, Presses Universitaires de Provence, pp.51-65, 2023, Epistémè |
|
|
« C'est comme œuf » : Paul Lorenzen et l'effondrement des preuves de non-contradictionLaurence Dahan-Gaida. Eurêka ! Récits savants de découverte et d invention, Hermann, pp.241-258, 2022, Cahiers d'histoire et de philosophie des sciences, 9791037019622 |
|
|
Lorenzen's reshaping of Krull's Fundamentalsatz for integral domains (1938--1953) [with an edition of Lorenzen's correspondence with Hasse, Krull, and Aubert, together with some relevant documents]Gerhard Heinzmann; Gereon Wolters. Paul Lorenzen -- Mathematician and Logician, 51, Springer, pp.143-268, 2021, Logic, Epistemology, and the Unity of Science, 978-3-030-65823-6. ⟨10.1007/978-3-030-65824-3_9⟩ |
|
|
Regular entailment relationsGerhard Heinzmann; Gereon Wolters. Paul Lorenzen -- Mathematician and Logician, 51, Springer, pp.103-114, 2021, Logic, Epistemology, and the Unity of Science, 978-3-030-65823-6. ⟨10.1007/978-3-030-65824-3_7⟩ |
|
|
Lorenzen’s correspondence with Hasse, Krull, and Aubert, together with some relevant documentsGerhard Heinzmann; Gereon Wolters. Paul Lorenzen -- Mathematician and Logician, 51, Springer, pp.185-268, 2021, Logic, Epistemology, and the Unity of Science, 978-3-030-65823-6. ⟨10.1007/978-3-030-65824-3_10⟩ |
|
|
Un cours “Musique et mathématiques”Luis Radford; Fulvia Furinghetti; Thomas Hausberger. Proceedings of the 2016 ICME satellite meeting of the International study group on the relations between the History and Pedagogy of Mathematics, IREM de Montpellier, pp.715-725, 2016, 2-909916-51-0 |
|
|
IntroductionLe schème et le diagramme, 2024, pp.9-15. ⟨10.4000/books.pufc.55051⟩ |
|
|
In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl2024 |
|
|
Constructive basic theory of central simple algebras2021 |
|
|
Enquête sur les modes d'existence des êtres mathématiques (version augmentée)2018 |
|
|
Multipliers and functional analysisMathematics [math]. Université Pierre et Marie Curie - Paris VI, 1999. English. ⟨NNT : ⟩ |
|
|
Quantitative aspects of unconditionalityClassical Analysis and ODEs [math.CA]. Université de Franche-Comté (UFC), 2008 |