Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Stefan Neuwirth"'
Autor:
Guy Wallet, Stefan Neuwirth
Publikováno v:
Philosophia Scientiæ, Vol 23, Iss 3, Pp 83-108 (2019)
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 [Latour 2012]. An answer to this question is
Externí odkaz:
https://doaj.org/article/e659ce9c1569435b84200da6339aa63d
Publikováno v:
SSRN Electronic Journal.
Autor:
Stefan Neuwirth
Publikováno v:
Actes de la journée d’étude « Eurêka ! Le récit savant de découverte et d’invention » (Besançon, novembre 2018)
Laurence Dahan-Gaida. Actes de la journée d’étude « Eurêka ! Le récit savant de découverte et d’invention » (Besançon, novembre 2018), Hermann, A paraître
HAL
Laurence Dahan-Gaida. Actes de la journée d’étude « Eurêka ! Le récit savant de découverte et d’invention » (Besançon, novembre 2018), Hermann, A paraître
HAL
International audience; Paul Lorenzen, mathematician and philosopher of the 20th century, mentions October 1947 as the date of a crisis in his mathematical and philosophical investigations. An autograph dated 15 October 1947 documents this crisis. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ad24158d2bc2d95cd450459410b5a04e
https://hal.archives-ouvertes.fr/hal-03104374/file/ei.pdf
https://hal.archives-ouvertes.fr/hal-03104374/file/ei.pdf
Publikováno v:
SSRN Electronic Journal.
Autor:
Stefan Neuwirth, Thierry Coquand
Publikováno v:
History and Philosophy of Logic. 41:281-290
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 se...
Autor:
Stefan Neuwirth, Guy Wallet
Publikováno v:
Philosophia Scientiae
Philosophia Scientiae, Editions Kime, 2019, pp.83-108. ⟨10.4000/philosophiascientiae.2080⟩
Philosophia Scientiae, Editions Kime, 2019, pp.83-108. ⟨10.4000/philosophiascientiae.2080⟩
International audience; 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. An answer to this q
Publikováno v:
Mathematics of Computation
Mathematics of Computation, American Mathematical Society, 2020, 89, pp.941-964. ⟨10.1090/mcom/3466⟩
Mathematics of Computation, American Mathematical Society, 2020, 89, pp.941-964. ⟨10.1090/mcom/3466⟩
International audience; We provide constructive versions of Hilbert's syzygy theorem for Z and Z/nZ following Schreyer's method. Moreover, we extend these results to arbitrary coherent strict Bézout rings with a divisibility test for the case of fin
Publikováno v:
Journal of Algebra
Journal of Algebra, Elsevier, 2021, 570, pp.587-594. ⟨10.1016/j.jalgebra.2020.11.020⟩
Journal of Algebra, Elsevier, 2021, 570, pp.587-594. ⟨10.1016/j.jalgebra.2020.11.020⟩
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 r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7713dfff4e0acd1a149f2c44d655d522
https://hal.archives-ouvertes.fr/hal-02923338v2/document
https://hal.archives-ouvertes.fr/hal-02923338v2/document
Autor:
Stefan Neuwirth
Publikováno v:
Paul Lorenzen--Mathematician and Logician ISBN: 9783030658236
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 reform
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f144f2ad519e15e79091a8db1a092907
https://doi.org/10.1007/978-3-030-65824-3_9
https://doi.org/10.1007/978-3-030-65824-3_9
Publikováno v:
Paul Lorenzen--Mathematician and Logician
Paul Lorenzen: Mathematician and Logician
Gerhard Heinzmann; Gereon Wolters. Paul Lorenzen--Mathematician and Logician, 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⟩
Paul Lorenzen--Mathematician and Logician ISBN: 9783030658236
Paul Lorenzen: Mathematician and Logician, Philosophisches Archiv der Universität Konstanz, Mar 2018, Konstanz, Germany
Paul Lorenzen: Mathematician and Logician
Gerhard Heinzmann; Gereon Wolters. Paul Lorenzen--Mathematician and Logician, 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⟩
Paul Lorenzen--Mathematician and Logician ISBN: 9783030658236
Paul Lorenzen: Mathematician and Logician, Philosophisches Archiv der Universität Konstanz, Mar 2018, Konstanz, Germany
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 sh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f89d1922c610bab46288f091ee214b7
https://hal.archives-ouvertes.fr/hal-02418320v2/file/reg1.pdf
https://hal.archives-ouvertes.fr/hal-02418320v2/file/reg1.pdf