Stefan Neuwirth
35
Documents
Publications
|
Le cours comme improvisation collectiveColloque international « Improviser l’enseignement… Enseigner I’improvisation », IEEI 2021, Université de Montpellier, Jun 2021, Montpellier, France
Communication dans un congrès
hal-03523633v1
|
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
Communication dans un congrès
hal-03523488v1
|
|
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
Communication dans un congrès
hal-03523510v1
|
|
Lorenzen’s noncommutative divisibility theoriesConference “Algebra and Algorithms”, Università degli studi di Verona; Université de Sfax, Feb 2020, Djerba, Tunisia
Communication dans un congrès
hal-03523683v1
|
|
Improvisation et mathématiquesColloque du cinquantenaire des IREM, May 2019, Besançon, France
Communication dans un congrès
hal-03523564v1
|
|
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
Communication dans un congrès
hal-03643423v1
|
|
|
Philosophie de l’algèbre dynamiqueDixième Rencontre Française de Philosophie des Mathématiques (FPMW10), Nov 2018, Paris, France
Communication dans un congrès
hal-03523808v1
|
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
Communication dans un congrès
hal-03523713v1
|
|
|
Littérature et mathématiquesForum Mathématiques vivantes: mathématiques et langages, Maison des mathématiques et de l’informatique, Mar 2017, Lyon, France
Communication dans un congrès
hal-03525746v1
|
|
Lorenzen's free semilattices over integral domainsConference on rings and polynomials, TU Graz, Jul 2016, Graz, Austria
Communication dans un congrès
hal-03523459v1
|
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
Ouvrages
hal-03521758v1
|
|
« 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
Chapitre d'ouvrage
hal-03104374v2
|
|
Constructive theory of ordinalsMarco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Schuster. Mathematics for Computation - M4C, World Scientific, inPress
Chapitre d'ouvrage
hal-03522215v1
|
|
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. Ancrages matériels, imagination diagrammatique et publication encyclopédique, Presses universitaires de Franche-Comté, inPress, Sciences : concepts et problèmes
Chapitre d'ouvrage
hal-03523948v1
|
|
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⟩
Chapitre d'ouvrage
hal-02896900v1
|
|
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⟩
Chapitre d'ouvrage
hal-02418320v2
|
|
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
Chapitre d'ouvrage
hal-01349250v1
|
|
Valuative dimension, constructive points of view2023
Pré-publication, Document de travail
hal-04274384v1
|
|
An introduction to Lorenzen's ``Algebraic and logistic investigations on free lattices'' (1951)2023
Pré-publication, Document de travail
hal-01629913v2
|
Constructive basic theory of central simple algebras2021
Pré-publication, Document de travail
hal-03521782v1
|
|
|
Enquête sur les modes d'existence des êtres mathématiques (version augmentée)2018
Pré-publication, Document de travail
hal-01824928v3
|
|
Multipliers and functional analysisMathematics [math]. Université Pierre et Marie Curie - Paris VI, 1999. English. ⟨NNT : ⟩
Thèse
tel-00010399v1
|
|
Quantitative aspects of unconditionalityClassical Analysis and ODEs [math.CA]. Université de Franche-Comté (UFC), 2008
HDR
tel-02276162v1
|