BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Stefan Neuwirth

Stefan Neuwirth contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.HOmath.ACmath.LOmath.AG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2022arXiv

A course Literature and mathematics

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-disciplinary courses in the curricula. The goal of the experience was to develop simultaneously a discourse on mathematics and a discourse on literature, two independent discourses, but each filled with the gap between one domain and the other and mindful of the flashes of thought that are lightening from one to the other, witnesses of unity in their reasoning. -- Cet article rend compte d'une exp{é}rience d'enseignement men{é}e de 2008 {à} 2012 {à} l'universit{é} de Franche-Comt{é} en r{é}ponse {à} l'injonction minist{é}rielle de proposer des unit{é}s transversales dans les maquettes de dipl{ô}me. Le but de cette exp{é}rience a {é}t{é} de d{é}velopper {à} la fois un discours sur les math{é}matiques et un discours sur la litt{é}rature, deux discours ind{é}pendants, mais chacun rempli de l'{é}cart entre l'un des domaines et l'autre, et attentif aux {é}clairs de la pens{é}e qui jaillissent de l'un vers l'autre, t{é}moignages d'unit{é} dans la d{é}marche intellectuelle.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Experiences of infinity and of generality in Book I of Euclid's Elements

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 cognition of infinity and its material anchors. -- Cet article propose une lecture du premier livre des Éléments d'Euclide. Il soutient qu'une telle lecture procure des expériences de l'infini. Il s'agit selon son auteur d'une étude préliminaire à une recherche sur la cognition incarnée de l'infini et de ses ancrages matériels.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Zeno, the philologists, and the scientists

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 axiomatics, and indeed at understanding what is timeless in the questions addressed by Zeno. -- Cet article propose une lecture fraiche et directe de textes fondateurs de la philosophie et veut faire revivre les d{é}bats enflamm{é}s qui ont vu naitrel'axiomatique l{é}gu{é}e par les Grecs, voire de comprendre ce qu'il y a d'intemporel dans les questions pos{é}es par Z{é}non.]

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case

Let R be a local domain, v a valuation of its quotient field centred in R at its maximal ideal. We investigate the relationship between R^h, the henselisation of R as local ring, and {v}, the henselisation of the valuation v, by focussing on the recent result by de Felipe and Teissier referred to in the title. We give a new proof that simplifies the original one by using purely algebraic arguments. This proof is moreover constructive in the sense of Bishop and previous work of the authors, and allows us to obtain as a by-product a (slight) generalisation of the theorem by de Felipe and Teissier.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

À propos d'un théorème de de Felipe et Teissier sur la comparaison de deux hensélisés dans le cas non noethérien

This paper gives an elementary proof of a theorem by de Felipe and Teissier in the paper "Valuations and henselization" (arXiv:1903.10793v1), to appear in Math. Annalen. The theorem compares two henselizations of a local domain dominated by a valuation domain. Our proofs are written in the constructive Bishop style.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Enquête sur les modes d'existence des êtres mathématiques (version augmentée) [An inquiry into the modes of existence of mathematical beings (expanded version)]

This essay inquires how mathematical beings could be inserted into the architecture of modes of existence proposed by Bruno Latour in the framework of his pluralist and renewed ontology of the modern world. After a description of the problem, the work of Reviel Netz on the emergence of Greek mathematics, and of Charles Sanders Peirce on the diagrammatic dimension of mathematical practice are presented, as well as their impact on our essay. Its central part is the development of an empirical conception of mathematics that plays a central rôle in the sequel. Our analysis is based on the notion of experience according to William James; it is also inspired by certain aspects of Per Martin-Löf's philosophy. It provides a way of thinking the firm certainty with which proofs endow theorems, while invalidating the interpretation of this certainty as the mark of a direct access to an absolute and transcendental truth. The sequel of our essay builds on this analysis for defining a sort of quasi-mode of existence appropriate for mathematical beings that respects the principal features of modes of existence according to the latourian ontology. In the conclusion, the way this quasi-mode might be integrated into this ontology is discussed, in particular with respect to the mode of reference that prevails in many other sciences.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Lorenzen's proof of consistency for elementary number theory [with an edition and translation of "Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis'']

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 pseudocomplemented semilattice over a preordered set. This manuscript rests in the Oskar-Becker-Nachlass at the Philosophisches Archiv of Universit{ä}t Konstanz, file OB 5-3b-5. It has probably been written between March and May 1944. We also compare this proof to Gentzen's and Novikov's, and provide a translation of the manuscript.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Lorenzen's reshaping of Krull's Fundamentalsatz for integral domains (1938--1953)

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 article traces a conceptual history of Lorenzen's successive reformulations of the Fundamentalsatz on the basis of excerpts of his articles. An edition of the extant correspondence of Lorenzen with Hasse, Krull, and Aubert provides a better understanding of the context of these investigations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Regular entailment relations

Inspired by the work of Lorenzen on the theory of preordered groups in the forties and fifties, we define regular entailment relations and show a crucial theorem for this structure. We also describe equivariant systems of ideals {à} la Lorenzen and show that the remarkable regularisation process invented by him yields a regular entailment relation. By providing constructive objects and arguments, we pursue Lorenzen's aim of "bringing to light the basic, pure concepts in their simple and transparent clarity"

0 citations0 reviewsNo code linkedOpen access