Stefan Neuwirth
Bureau: 413B au quatrième étage du bâtiment de métrologie au campus universitaire de la Bouloie.
Adresse postale: Laboratoire de mathématiques de Besançon, Université de Franche-Comté, 16 route de Gray, 25030 BESANCON CEDEX.
Adresse électronique: stefan.neuwirth@univ-fcomte.fr ; téléphone: +33-38166-6351 et +33-695943267 ; téléfax: +33-38166-6623.
Mes axes de recherche s’articulent autour de la volonté de comprendre ce que nous faisons lorsque nous faisons des mathématiques, tant du point de vue réflexif mathématique, philosophique, historique, anthropologique qu’artistique. Cette recherche, enrichie par mon expérience d’apprentissage de la danse, s’étend aussi au métier d’enseignant. Je répertorie ci-dessous mes publications selon un classement thématique.
Philosophie mathématique.
Je travaille actuellement sur la genèse des mathématiques opératives chez Paul Lorenzen et sur la philosophie de l’algèbre dynamique, ainsi que, en collaboration avec Guy Wallet, sur la dimension diagrammatique de l’activité mathématique.
Publications acceptées et référencées.
- 2022. « C’est comme œuf » : Paul Lorenzen et l’effondrement des preuves de non-contradiction, in Laurence Dahan-Gaida (éditrice), Eurêka ! Récits savants de découverte et d’invention, Cahiers d’histoire et de philosophie des sciences, Hermann, 241-258. src pdf
- Paul Lorenzen’s reception of Gödel’s incompleteness theorems, exposé à la conférence Celebrating 90 years of Gödel’s incompleteness theorems à Nürtingen le 6 juillet 2021: mpeg4 (captation réalisée par Tamara Köhler pour le Carl Friedrich von Weizsäcker-Zentrum).
- 2019. Enquête sur les modes d’existence des êtres mathématiques (avec Guy Wallet), Philosophia Scientiæ 23-3, 83-108. src dvi ps pdf
- 2017. Roger Apéry, l’humour au service d’une pensée libre et originale sur les mathématiques constructives (avec Henri Lombardi), Repères IREM 107, 45-66. tex dvi ps pdf
- 2015. Les définitions de nom et les autres, Repères IREM 100, 25-50. src ps pdf
Prépublications.
- 2022. Épistémologie mathématique (2e édition, avec Henri Lombardi), 278 pages.
- 1995. L’analogie, 15 pages. src dvi ps pdf
Philosophie et mathématiques antiques.
En collaboration avec Arnaud Macé, je réfléchis actuellement aux ancrages matériels de l’éléatisme et en particulier des paradoxes de Zénon.
Publications référencées et acceptées.
- 2024. Introduction (avec Fabien Ferri et Arnaud Macé), in Fabien Ferri, Arnaud Macé, Stefan Neuwirth (éditeurs), Le schème et le diagramme : les ancrages matériels de la pensée et le partage visuel des connaissances, Sciences : concepts et problèmes, Presses universitaires de Franche-Comté, 9-15. html
- 2024. Expériences de l’infini et de la généralité dans le premier livre des Éléments d’Euclide, ibid., 35-48. pdf.
- 2023. Zénon, les philologues et les scientifiques, in Philippe Abgrall (éditeur), Histoire et philosophie des mathématiques en Méditerranée, Épistémè, Presses universitaires de Provence, 51-65. src dvi ps pdf
Prépublications.
- 2013. L’anti-Terre de Philolaos de Crotone, 4 pages. src ps pdf
- 2011. La mathématisation du continu par les Éléates et les Pythagoriciens. tex dvi ps pdf
- 2011. Les mathématiques de l’Antiquité, 27 pages. src ps pdf
Logique, treillis et analyse.
Je travaille actuellement, en collaboration avec Thierry Coquand, sur les treillis comme incarnation de certains systèmes de règles. Une conception claire de la construction des premiers a pour conséquence la non-contradiction des seconds ; cette recherche s’accompagne d’une édition de la correspondance entre Lorenzen et Paul Bernays, en préparation. Je travaille en outre sur la constructivité du théorème de Cantor-Bendixson, en rapport avec les définitions inductives généralisées et avec une édition de la correspondance entre Lorenzen et Georg Kreisel.
Publications acceptées et référencées.
- 2024. An introduction to Lorenzen’s « Algebraic and logistic investigations on free lattices » (1951) (avec Thierry Coquand), à paraitre dans History and Philosophy of Logic, 46 pages. pdf
- Cet article inclut une traduction de l’article « Algebraische und logistische Untersuchungen über freie Verbände » de Paul Lorenzen (1951).
- 2023. A constructive theory of ordinals (avec Thierry Coquand et Henri Lombardi), in Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Michael Schuster (éditeurs), Mathematics for computation (M4C), World Scientific, 287-318. pdf
- 2020. Lorenzen’s proof of consistency for elementary number theory (avec Thierry Coquand), History and Philosophy of Logic 41, 265-290. src dvi ps pdf
- Cet article inclut une édition et la traduction d’un manuscrit de Paul Lorenzen.
Prépublication.
- 2015. The free Lorenzen algebra generated by a preordered set, 12 pages. pdf
Algèbre, algorithmes et logique.
En collaboration avec María Emilia Alonso García, Thierry Coquand, Henri Lombardi, Peter Schuster et Ihsen Yengui, je travaille sur plusieurs sujets qui mettent l’algèbre en rapport étroit avec la logique et le calcul : une mise à jour de la théorie multiplicative des idéaux de Lorenzen dans le cadre des relations implicatives; dimension valuative et dimension de Krull; les bases de Gröbner et le théorème des syzygies.
Publications acceptées et référencées.
- 2024. Valuative dimension, constructive points of view (avec Ihsen Yengui et Henri Lombardi), Journal of Algebra 647, 206-229. hal-04274384.
- 2021. On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case (avec María Emilia Alonso García et Henri Lombardi), Journal of Algebra 570, 587-594. tex ps pdf
- Version préliminaire française : À propos d’un théorème de De Felipe et Teissier sur la comparaison, 13 pages, arXiv:2005.00422.
- 2021. Regular entailment relations (avec Thierry Coquand et Henri Lombardi), in Gerhard Heinzmann et Gereon Wolters (éditeurs), Paul Lorenzen: mathematician and logician, Springer, 103-114. tex dvi ps pdf
- 2021. Lorenzen’s reshaping of Krull’s Fundamentalsatz for integral domains (1938–1953), ibid., 143-183. src dvi ps pdf
- 2020. The syzygy theorem for Bézout rings (avec Maroua Gamanda, Henri Lombardi et Ihsen Yengui), Mathematics of Computation 89, 941-964. tex dvi ps pdf
- 2020. Un cours d’algèbre constructive (révision de la traduction par Henri Lombardi de l’ouvrage de Ray Mines, Fred Richman et Wim Ruitenburg), Presses universitaires de Franche-Comté. En ligne sur le site de l’éditeur.
- 2019. Lattice-ordered groups generated by an ordered group (avec Thierry Coquand et Henri Lombardi), Rocky Mountain Journal of Mathematics 49, 1449-1489. tex dvi ps pdf
- 2015. Euclide avait-il besoin de l’algorithme d’Euclide pour démontrer l’unicité de la factorisation ?, traduction annotée (avec Henri Lombardi) d’un article de David Pengelley et Fred Richman, Repères IREM 98, 53-64, arXiv:1503.05611.
Publication soumise.
- 2023. Multivariate Hensel Lemma for valuated fields (avec María Emilia Alonso García et Henri Lombardi), 14 pages, arXiv:2301.06546.
- La prépublication sur arXiv est suivie de la version française : Lemme de Hensel multivarié pour les corps valorisés, 15 pages.
Prépublications.
- 2024. Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings (avec Henri Lombardi et Ihsen Yengui), 24 pages. pdf
- 2024. Note sur la coïncidence de deux hensélisations (avec María Emilia Alonso García et Henri Lombardi), 9 pages. pdf
- 2023. Constructive remarks on Azumaya algebras (avec Thierry Coquand et Henri Lombardi), 7 pages, arXiv:2306.17679.
- 2023. Constructive basic theory of central simple algebras (avec Thierry Coquand et Henri Lombardi), 20 pages, arXiv:2102.12775.
- 2018. Lorenzen’s theory of divisibility in monoid-preordered sets, 11 pages. pdf
Histoire des mathématiques.
Cette rubrique rend compte de mes recherches historiques, en particulier un travail d’archives sur la constitution de la collection de modèles mathématiques par la chaire de mécanique de l’université de Besançon dans les années 1880, accompagné de l’organisation d’expositions. Je travaille aussi sur les œuvres mathématiques de Pascal et sur l’analyse algébrique de Cauchy.
Diffusion des connaissances et vulgarisation scientifique.
- Je suis responsable scientifique d’expositions des modèles de plâtre et de fils tendus sur cadre de laiton du Laboratoire de mathématiques de Besançon au Musée du Temps (Besançon, 2013-2014), à la BU Sciences-Sport (Besançon, 2014), à la BU Sciences et Économie (Dijon, 2015), à la BU Lucien Febvre (Belfort, 2017 et 2022), au FRAC Franche-Comté (Besançon, 2018) et à la BU Éducation (Besançon, 2020).
Les événements organisés autour de la collection de modèles mathématiques du Laboratoire de mathématiques de Besançon sont présentés dans un dossier de candidature au prix D’Alembert téléchargeable sous http://epiphymaths.univ-fcomte.fr/modeles/dossier_de_candidature-objets_mathematiques.pdf.
Publications acceptées et référencées.
- 2024. Le CTU et la création de l’université de Djibouti : douze années de partenariat (avec Ronan Chabauty), à paraitre dans Trésors du savoir : 1423-2023, 600 ans d’histoire(s) de l’université de Franche-Comté, tome 2 : 1968-2023, Presses universitaires de Franche-Comté. pdf
- 2024. Les mobilisations universitaires 1968-2023 (avec Vincent Lebrou et Michel Savaric), ibid. pdf
- 2024. Les syndicats à l’université de Franche-Comté (avec Vincent Lebrou), ibid. pdf
- 2024. Ludwig Boltzmann: « Model » (1902) (avec Michel Bourdeau, présentation et traduction d’un article de la 10e édition de l’Encyclopaedia Britannica), Cahiers philosophiques 176, 77-94.
- 2023. Objets mathématiques, in Marie Barral-Baron, Jean-Paul Barrière, Pascal Brunet, Maryse Graner, Laurent Tatu et Pierre Verschueren (coordonnateurs), Trésors du savoir : 1423-2023, 600 ans d’histoire(s) de l’université de Franche-Comté, tome 1 : 1423-1968, Presses universitaires de Franche-Comté, 466-467. pdf
- 2023. Louis Bachelier, précaire fondateur de la finance mathématique, ibid., 531-532. pdf
- 2021. Lorenzen’s correspondence with Hasse, Krull, and Aubert, together with some relevant documents, in Gerhard Heinzmann et Gereon Wolters (éditeurs), Paul Lorenzen: mathematician and logician, Springer, 185-268. src dvi ps pdf
- 2019. Préface, in Yvette Perrin, Modèles géométriques du laboratoire de mathématiques Blaise Pascal, Université Clermont Auvergne. rtf
- 2014. Les « objets mathématiques » comme modèles mathématiques : introduction historique et inventaire, in musée du Temps de Besançon, université de Franche-Comté (éditeurs), Objets mathématiques, SilvanaEditoriale, 13-37. src ps pdf
- Ce texte est paru dans un catalogue d’exposition. Il résulte d’un travail de recherche de plusieurs mois qui a abouti à l’inventaire exhaustif de la collection de modèles mathématiques de Besançon, à l’élucidation et à la vulgarisation des mathématiques sous-jacentes, à la compréhension du contexte historique local et global, à une bibliographie complète et à un site web, http://epiphymaths.univ-fcomte.fr/modeles.
Mémoire de DEA.
- 1996. John von Neumann : mathématiques pures et mathématiques appliquées, 54 pages. tex dvi ps pdf
Prépublications.
- 2014. La continuité chez Cauchy, 4 pages. tex dvi ps pdf
- 2006. Plan d’un cours d’histoire des mathématiques, 9 pages. tex dvi ps pdf
- 1996. Bernard Bolzano : le problème de la rectification des courbes, 17 pages. tex dvi ps pdf
Didactique des mathématiques.
En collaboration avec Philippe Le Borgne et Arnaud Simard, je maintiens à Besançon un dialogue entre didactique et épistémologie, en particulier dans le cadre des Journées bisontines de didactique et d’épistémologie. Mes recherches sur l’improvisation en musique et en danse donnent aussi lieu à une réflexion sur la pédagogie mathématique.
Mathématiques et arts.
Au contact de musiciens, de chorégraphes et de plasticiens, je mène une réflexion sur le rapport entre les arts et les sciences et sur la place du corps, en lien étroit avec mon enseignement. Elle se prolonge par mon investissement dans les associations de danse grOup et Teyaso.
Diffusion des connaissances et vulgarisation scientifique.
Publications acceptées et référencées.
- 2024. Fractales de mouvements (avec Pauline Poignand), à paraitre dans les actes de la journée L’inattendu en arts et sciences organisée par Laurence Dahan-Gaida et Claudia Desblaches le 1er avril 2022 à Rennes, 8 pages. tex dvi ps pdf
- 2021. Mathématiques à la Grande Échelle, Repères IREM 124, 5-8. html pdf
- Le Mont d’Or mathématique : post-scriptum aux « Mathématiques à la Grande Échelle ». html
- 2019. Un cours Littérature et mathématiques (avec Spangle Durac et Claude Merker), Repères IREM 115, 53-64. src ps pdf
- 2016. Un cours Musique et mathématiques, in Luis Radford, Fulvia Furinghetti et Thomas Hausberger (éditeurs), 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, 715-725. src pdf
- 2010. Esthétique et mathématiques : une exploration goodmanienne de Caroline Jullien [recension], Repères IREM 79, 101-103. tex dvi ps pdf
Publication soumise.
- 2024. Le sens de la musique improvisée et expérimentale, 12 pages. tex dvi ps pdf
Publication en ligne.
Analyse fonctionnelle.
L’analyse fonctionnelle a été mon domaine de spécialité mathématique de 1993 à 2013, dans lequel je maintiens une veille scientifique par curiosité et par ambition.
Publications référencées.
- 2013. On the (Fourier analytic) Sidon constant of {0, 1, 2, 3}, conférence au 4th Workshop on Fourier analysis and related fields, 26-30 août 2013, Budapest, http://www.renyi.hu/conferences/fourier4/Neuwirth.pdf, 4 pages.
- 2011. Transfer of Fourier multipliers into Schur multipliers and sumsets in a discrete group (avec Éric Ricard), Journal canadien de mathématiques 63, 1161-1187. tex dvi ps pdf
- 2008. The maximum modulus of a trigonometric trinomial, Journal d’Analyse Mathématique 104, 371-396. tex dvi ps pdf
- 2006. Cycles and 1-unconditional matrices, Proceedings of the London Mathematical Society (3) 93, 761-790. src dvi ps pdf
- 2003. Matrix inequalities with applications to the theory of iterated kernels (avec William Banks, Asma Harcharras et Éric Ricard), Linear Algebra and its Applications 362, 275-286. tex dvi ps pdf
- 2001. Lacunary matrices (avec Asma Harcharras et Krzysztof Oleszkiewicz), Indiana University Mathematics Journal 50, 1675-1689. tex dvi ps pdf
- 1999. Two random constructions inside lacunary sets, Annales de l’Institut Fourier 49, 1853-1867. tex dvi ps pdf
- Version courte française: Ensembles uniformément répartis et ensembles Λ(p), in Gustave Choquet, Gilles Godefroy, Marc Rogalski, Jean Saint Raymond (éditeurs), Séminaire d’initiation à l’analyse: 37ème et 38ème années: 1997/1999, Université Pierre et Marie Curie. tex dvi ps pdf
- 1998. Metric unconditionality and Fourier analysis, Studia Mathematica 131, 19-62. tex dvi ps pdf
Mémoires et cours.
Les mémoires de thèse et d’habilitation contiennent une introduction en français, certains des travaux ci-dessus ainsi que des manuscrits.
- 2008. Aspects quantitatifs de l’inconditionnalité (mémoire d’habilitation). src dvi ps pdf
- Introduction du mémoire. tex dvi ps pdf
- 2004. On the Sidon constant of {0, 1, 2, 3}.
- 2000. Ordering simultaneously the columns and lines of 0,1 matrices.
- 2006. Cours de théorie spectrale, 93 pages. src dvi ps pdf
- 1999. Multiplicateurs et analyse fonctionnelle (mémoire de thèse). tex dvi ps pdf
- Introduction du mémoire. tex dvi ps pdf
- 1998. Unconditional entry basic sequences.
- 1995. Ensembles Λ(2) uniformisables, 35 pages (mémoire de DEA). tex dvi ps pdf
- 1995. Propriété d’approximation commutative, 11 pages (mémoire de magistère). tex dvi ps pdf
Prépublications.