Constructive Mathematics
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Faith Believes, Hope Expects: The Impact of Calvin's Theology on the Mathematics of Chance
par: Johnson, Timothy C.
Publié: (2024)
par: Johnson, Timothy C.
Publié: (2024)
From Coefficients to Distributions: De~Moivre and the Operational View of Probability
par: Labouriau, R.
Publié: (2026)
par: Labouriau, R.
Publié: (2026)
Vopěnka's Alternative Set Theory as a framework for feasible numbers
par: Haniková, Zuzana
Publié: (2026)
par: Haniková, Zuzana
Publié: (2026)
Nelson's Logical Diagrams
par: Aberdein, Andrew
Publié: (2023)
par: Aberdein, Andrew
Publié: (2023)
The altitudes of a triangle
par: Mandelkern, Mark
Publié: (2024)
par: Mandelkern, Mark
Publié: (2024)
A Hierarchy of Geometric Constructions
par: Maarefvand, MohammadJavad
Publié: (2025)
par: Maarefvand, MohammadJavad
Publié: (2025)
Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
par: Mancosu, Paolo, et autres
Publié: (2023)
par: Mancosu, Paolo, et autres
Publié: (2023)
Secrets and Quantifiers
par: Bajnok, Bela, et autres
Publié: (2024)
par: Bajnok, Bela, et autres
Publié: (2024)
Formalism 25
par: Katz, Mikhail G., et autres
Publié: (2025)
par: Katz, Mikhail G., et autres
Publié: (2025)
On Godel's treatment of the undecidable in 1931
par: Cattabriga, Paola
Publié: (2024)
par: Cattabriga, Paola
Publié: (2024)
History of confluent Vandermonde matrices and inverting them algorithms
par: Respondek, Jerzy S
Publié: (2024)
par: Respondek, Jerzy S
Publié: (2024)
Meaning as Use, Application, Employment, Purpose, Usefulness
par: de Queiroz, Ruy J. G. B.
Publié: (2025)
par: de Queiroz, Ruy J. G. B.
Publié: (2025)
From the Notebooks to the Investigations and Beyond
par: de Queiroz, Ruy J. G. B.
Publié: (2025)
par: de Queiroz, Ruy J. G. B.
Publié: (2025)
Guises and Perspectives: An Intentional and Hyperintensional Sketch
par: Colomina-Alminana, Juan J.
Publié: (2026)
par: Colomina-Alminana, Juan J.
Publié: (2026)
Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
par: Colomina-Alminana, Juan J.
Publié: (2026)
par: Colomina-Alminana, Juan J.
Publié: (2026)
Hegel and Modern Topology
par: Protin, Clarence
Publié: (2025)
par: Protin, Clarence
Publié: (2025)
The story of geometry told by coins
par: Fukś, Henryk
Publié: (2025)
par: Fukś, Henryk
Publié: (2025)
Hilbert's Program and Infinity
par: Zach, Richard
Publié: (2026)
par: Zach, Richard
Publié: (2026)
Mathematics of Family Planning in Talmud
par: Blatt, Simon, et autres
Publié: (2024)
par: Blatt, Simon, et autres
Publié: (2024)
On foundations for deductive mathematics
par: Quinn, Frank
Publié: (2024)
par: Quinn, Frank
Publié: (2024)
Indigenous Beadwork as a Method of Teaching Linear Algebra
par: Plosker, Sarah, et autres
Publié: (2025)
par: Plosker, Sarah, et autres
Publié: (2025)
Mathematical Proof
par: Bauschke, Heinz H.
Publié: (2026)
par: Bauschke, Heinz H.
Publié: (2026)
The history of three wrong definitions
par: Boas, Harold P.
Publié: (2026)
par: Boas, Harold P.
Publié: (2026)
An interview with Bernard Teissier
par: Popescu-Pampu, Patrick
Publié: (2026)
par: Popescu-Pampu, Patrick
Publié: (2026)
Stamps and Mathematics
par: Ivanova, Nataliya M.
Publié: (2024)
par: Ivanova, Nataliya M.
Publié: (2024)
The Folding Mathematics
par: Morye, Archana S.
Publié: (2025)
par: Morye, Archana S.
Publié: (2025)
Arnold Scholz: Between Mathematics and Politics
par: Lemmermeyer, Franz
Publié: (2026)
par: Lemmermeyer, Franz
Publié: (2026)
An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
par: Coquand, Thierry, et autres
Publié: (2017)
par: Coquand, Thierry, et autres
Publié: (2017)
Teaching Mathematics for Economists
par: Hillebrand, Eric
Publié: (2025)
par: Hillebrand, Eric
Publié: (2025)
Estimating $π$ with a Coin
par: Propp, Jim
Publié: (2026)
par: Propp, Jim
Publié: (2026)
Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
par: Ruggeri, Tommaso, et autres
Publié: (2025)
par: Ruggeri, Tommaso, et autres
Publié: (2025)
An Episode in The Old Mathematical Intelligencer
par: Lamm, Christoph
Publié: (2025)
par: Lamm, Christoph
Publié: (2025)
Fraudulent Publishing in the Mathematical Sciences
par: Agricola, Ilka, et autres
Publié: (2025)
par: Agricola, Ilka, et autres
Publié: (2025)
AlephZero and Mathematical Experience
par: DeDeo, Simon
Publié: (2023)
par: DeDeo, Simon
Publié: (2023)
Mathematics in art, for art and as art
par: Esteban, Maria J.
Publié: (2025)
par: Esteban, Maria J.
Publié: (2025)
A foundation for deductive mathematics
par: Quinn, Frank
Publié: (2021)
par: Quinn, Frank
Publié: (2021)
Approximating Mathematical Constants using Minecraft
par: Lynch, Molly, et autres
Publié: (2024)
par: Lynch, Molly, et autres
Publié: (2024)
Elements of the Theory of Probability and Mathematical Statistics
par: Chinarova, Lidiia L., et autres
Publié: (2024)
par: Chinarova, Lidiia L., et autres
Publié: (2024)
From Concrete to Abstract in Indian Mathematics
par: Dasgupta, Jaidev
Publié: (2024)
par: Dasgupta, Jaidev
Publié: (2024)
A Concise Course in Galois Theory
par: Huang, Huichi
Publié: (2026)
par: Huang, Huichi
Publié: (2026)