Zobrazeno 1 - 10
of 148
pro vyhledávání: '"Neuwirth, Stefan"'
We compare two henselisations of a residually discrete valuation domain. Our constructive proof that a certain natural morphism is an isomorphism is also a proof in classical mathematics. Although this isomorphism is implicitly accepted as obvious in
Externí odkaz:
http://arxiv.org/abs/2411.18186
In 1955, Paul Lorenzen is a mathematician who devotes all his research to foundations of mathematics, on a par with Hans Hermes, but his academic background is algebra in the tradition of Helmut Hasse and Wolfgang Krull. This shift from algebra to lo
Externí odkaz:
http://arxiv.org/abs/2411.16469
Let M be a finitely generated submodule of a free module over a multivariate polynomial ring with coefficients in a discrete coherent ring. We prove that its module MLT(M ) of leading terms is countably generated and provide an algorithm for computin
Externí odkaz:
http://arxiv.org/abs/2411.16460
There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent to the classical notion within classical mathematics, and they can be
Externí odkaz:
http://arxiv.org/abs/2311.05218
We study etale topology and the notion of Azumaya algebra over a commutative ring constructively. As an application of the syntactic version of Barr's Theorem, we show the equivalence between two definitions of Azumaya algebra.
Externí odkaz:
http://arxiv.org/abs/2306.17679
Autor:
Neuwirth, Stefan
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 propos
Externí odkaz:
http://arxiv.org/abs/2201.04838
Publikováno v:
Rep{\`e}res IREM, IREM, 2019, 115, pp.53-64
This article gives an account of a teaching experience carried out from 2008 to 2021 at the university of Franche-Comt{\'e} as an answer to the ministerial command of proposing cross-disciplinary courses in the curricula. The goal of the experience w
Externí odkaz:
http://arxiv.org/abs/2201.04375
Publikováno v:
Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Schuster. Mathematics for Computation - M4C, World Scientific, In press
In Chapter 3 of his Notes on constructive mathematics, Martin-L{\"o}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable ordinals. In fact, the Turing definition of computable functions is
Externí odkaz:
http://arxiv.org/abs/2201.04352
Autor:
Neuwirth, Stefan
Publikováno v:
Actes du colloque " Histoire et philosophie des math{\'e}matiques et des disciplines associ{\'e}es en M{\'e}diterran{\'e}e '' (Marseille, novembre 2015), Presses Universitaires de Provence, A para{\^i}tre, Epist{\'e}m{\`e}
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 quest
Externí odkaz:
http://arxiv.org/abs/2201.04345
Publikováno v:
In Journal of Algebra 1 June 2024 647:206-229
