Stefan Neuwirth
82%
Libre accès
51
Documents
Affiliation actuelle
- Laboratoire de Mathématiques de Besançon (UMR 6623) (LMB)
Identifiants chercheurs
Publications
Publications
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-03523510
v1
|
|
|
|
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-03523633
v1
|
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-03523488
v1
|
|
|
|
Constructiveness and lattices in Lorenzen's workGeometric Logic, Constructivisation, and Automated Theorem Proving, Schloss Dagstuhl, Nov 2021, Wadern, Germany
Communication dans un congrès
hal-03525671
v1
|
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-03523683
v1
|
|
Improvisation et mathématiquesColloque du cinquantenaire des IREM, May 2019, Besançon, France
Communication dans un congrès
hal-03523564
v1
|
|
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-03643423
v1
|
|
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-03523713
v1
|
|
|
|
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-03523808
v1
|
|
|
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-03525746
v1
|
|
|
Lorenzen's free semilattices over integral domainsConference on rings and polynomials, TU Graz, Jul 2016, Graz, Austria
Communication dans un congrès
hal-03523459
v1
|
|
|
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
Communication dans un congrès
hal-03523423
v1
|
|
|
Le schème et le diagrammePresses universitaires de Franche-Comté, pp.172, 2024, 978-2-84867-994-5. ⟨10.4000/books.pufc.54961⟩
Ouvrages
hal-04555879
v1
|
|
|
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-03521758
v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-03522215
v2
|
|
|
Zénon, les philologues et les scientifiquesPhilippe Abgrall. Histoire et philosophie des mathématiques en Méditerranée, Presses Universitaires de Provence, 2023, Epistémè
Chapitre d'ouvrage
hal-03521670
v1
|
|
|
« 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-03104374
v2
|
|
|
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é, A paraître, Sciences : concepts et problèmes
Chapitre d'ouvrage
hal-03523948
v1
|
|
|
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-02896900
v1
|
|
|
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-02418320
v2
|
|
|
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, ⟨10.1007/978-3-030-65824-3_10⟩
Chapitre d'ouvrage
hal-05519471
v1
|
|
|
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-01349250
v1
|
|
|
IntroductionLe schème et le diagramme, 2024, pp.9-15. ⟨10.4000/books.pufc.55051⟩
Autre publication scientifique
hal-05240504
v1
|
|
|
In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl2024
Pré-publication, Document de travail
hal-04799576
v1
|
|
|
Constructive basic theory of central simple algebras2021
Pré-publication, Document de travail
hal-03521782
v1
|
|
|
Enquête sur les modes d'existence des êtres mathématiques (version augmentée)2018
Pré-publication, Document de travail
hal-01824928
v3
|
|
|
Multipliers and functional analysisMathematics [math]. Université Pierre et Marie Curie - Paris VI, 1999. English. ⟨NNT : ⟩
Thèse
tel-00010399
v1
|
|
|
Quantitative aspects of unconditionalityClassical Analysis and ODEs [math.CA]. Université de Franche-Comté (UFC), 2008
HDR
tel-02276162
v1
|
Chargement...
Chargement...