Number of items at this level: **55**.

## A

Andrei, Rodin
(2024)
*Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin.*
[Preprint]

Asghari, Amir
(2018)
*Equivalence: An Attempt at a History of the Idea.*
[Preprint]

## B

Bacelar Valente, Mario
(2018)
*The Conventionality of Simultaneity and Einstein’s Conventionality of Geometry.*
Kairos. Journal of Philosophy & Science, 20 (1).
pp. 159-180.

Bacelar Valente, Mario
(2019)
*“Critique of mensurational reason”: on Høyrup’s notion of critique.*
[Preprint]

Bacelar Valente, Mario
(2017)
*From practical to pure geometry and back.*
[Preprint]

Bacelar Valente, Mario
(2019)
*Geometry of motion: some elements of its historical
development.*
Artefactos. Revista de estudios sobre la ciencia y la tecnología, 8 (2).
pp. 4-26.
ISSN 1989-3612

Bacelar Valente, Mario
(2020)
*On the correctness of problem solving in ancient mathematical procedure texts.*
[Preprint]

Bacelar Valente, Mario
(2021)
*On the relationship between geometric objects and figures in Euclidean geometry.*
[Preprint]

Bacelar Valente, Mario
(2018)
*Perverted space-time geodesy in Einstein's views on geometry.*
Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences, 22 (2).
pp. 137-162.

Bacelar Valente, Mario
(2022)
*The correctness of reasoning, logical models, and the faithfulness problem.*
Principia: an international journal of epistemology, 26 (3).
pp. 429-447.

Barany, Michael J
(2020)
*Abstract Relations: Bibliography and the Infra-structures of Modern Mathematics.*
[Preprint]

Bentzen, Bruno
(2023)
*Frege's theory of types.*
Manuscrito. Rev. Int. Fil.,.
ISSN 0100-6045

Bentzen, Bruno
(2020)
*Sense, reference, and computation.*
Perspectiva Filosofica, 47 (2).
pp. 179-203.
ISSN 2357-9986

Bertran-San-Millán, Joan
(2022)
*Peano's Structuralism and the Birth of Formal Languages.*
[Preprint]

Bonatti, Nicola
(2022)
*A Reassessment of Cantorian Abstraction based on the ε-operator.*
[Preprint]

## C

Chua, Eugene Y. S.
(2021)
*Degeneration and Entropy.*
[Preprint]

Corfield, David
(2022)
*Thomas Kuhn, Modern Mathematics and the Dynamics of Reason.*
[Preprint]

Csatári, Ferenc
(2024)
*In Defense of a Constructive Truth Concept.*
[Preprint]

## D

D'Alessandro, William
(2020)
*Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth.*
Synthese.
ISSN 1573-0964

Dal Magro, Tamires and García-Pérez, Manuel J.
(2019)
*On Euclidean diagrams and geometrical knowledge.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 34 (2).
pp. 255-276.
ISSN 2171-679X

Darnell, Eamon and Thomas-Bolduc, Aaron
(2018)
*Takeuti's Well-Ordering Proof: Finitistically Fine?*
[Preprint]

## E

Ehrlich, Philip
(2021)
*Are Points (Necessarily) Unextended?*
[Preprint]

Erfanifar, T
(2023)
*Existential Quantifiers and Contemporary Logic.*

## F

Fay, Jonathan
(2023)
*On the Relativity of Magnitudes: Delboeuf's forgotten contribution to the 19th Century problem of space.*
[Preprint]

Fay, Jonathan
(2023)
*On the Relativity of Magnitudes: Delboeuf's forgotten contribution to the 19th Century problem of space.*
[Preprint]

Ferreirós, José
(2017)
*Dedekind’s Map-theoretic Period.*
Philosophia Mathematica, 25 (3).
pp. 318-340.
ISSN 0031-8019

Ferreirós, José
(2005)
*La introducción de los números transfinitos.*
Fundamentos para una teoría general de conjuntos.

Ferreirós, José
(2004)
*The Motives behind Cantor’s Set Theory – Physical,
Biological, and Philosophical Questions.*
Science in Context, 17 (1).
pp. 49-83.

Ferreirós, José
(2004)
*On Quine, van Heijenoort, and modern logic: review of "From Frege to Gödel".*
Historia Mathematica, 31.
pp. 119-124.
ISSN 03150860

Ferreirós, José
(2000)
*Riemanniana Selecta: introducción.*

Ferreirós, José
(1995)
*"What Fermented in Me for Years": Cantor's discovery of transfinite numbers.*
Historia Mathematica, 22.
pp. 33-42.
ISSN 03150860

Ferreirós, José
(2017)
*Wigner's 'Unreasonable Effectiveness' in Context.*
Mathematical Intelligencer, 39 (2).
pp. 64-71.
ISSN 1866-7414

Fletcher, Samuel C.
(2017)
*Against the Topologists: Essay Review of New Foundations for Physical Geometry.*
Philosophy of Science.
ISSN 1539-767X

Franklin, James
(2017)
*Discrete and continuous: A fundamental dichotomy in mathematics.*
Journal of Humanistic Mathematics, 7 (2).
pp. 355-378.
ISSN 2159-8118

Friedman, Michael and Rittberg, Colin Jakob
(2019)
*The Material Reasoning of Folding Paper.*
[Preprint]

## H

Hewitt, Carl
(2019)
*For Cybersecurity, Computer Science Must Rely on Strong Types.*
[Preprint]

Hewitt, Carl
(2019)
*For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors.*
[Preprint]

## K

Kish Bar-On, Kati
(2022)
*Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl.*
[Preprint]

Kish Bar-On, Kati
(2022)
*From Philosophical Traditions to Scientific Developments: Reconsidering the Response to Brouwer’s Intuitionism.*
[Preprint]

Kish Bar-On, Kati
(2021)
*Towards a new philosophical perspective on Hermann Weyl’s turn to intuitionism.*
Science in Context, 34 (1).
pp. 51-68.
ISSN 1474-0664

Kosmann-Schwarzbach, Yvette
(2020)
*The Noether theorems in context.*
[Preprint]

Kuby, Daniel
(2021)
*Reinterpreting the universe-multiverse debate in light of inter-model inconsistency in set theory.*
[Preprint]

## L

Lampert, Timm
(2021)
*Newton’s experimental proofs.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 36 (2).
pp. 261-283.
ISSN 2171-679X

Landry, Elaine
(2017)
*Plato Was NOT A Mathematical Platonist.*
[Preprint]

Landsman, Klaas
(2019)
*Quantum theory and functional analysis.*
[Preprint]

Lazarovici, Dustin
(2023)
*Why the Book of Nature is Written in the Language of Mathematics.*
[Preprint]

## M

Moon, Stella S
(2023)
*Demarcating Descartes's Geometry with Clarity and Distinctness.*
[Preprint]

Muñoz Pérez, M.
(2024)
*Believing in the objects: the shift to faith.*
[Preprint]

Muñoz Pérez, M.
(2023)
*The Continuum Hypothesis: schisms and other isms.*
[Preprint]

## P

Patton, Lydia
(2018)
*Laws of Thought and Laws of Logic After Kant.*
Logic from Kant to Russell.

Penchev, Vasil
*A complement to "Fermat's last theorem proved by induction".*
UNSPECIFIED.

Perry, Stephen
(2021)
*What is "Applied Mathematics" Anyway? How the History of Fluid Mechanics Demonstrates the Role of Concepts in Applied Mathematics.*
[Preprint]

## R

Rodin, Andrei
(2023)
*Kolmogorov's Calculus of Problems and Its Legacy.*
[Preprint]

## S

Szabó, Máté
(2021)
*Péter on Church's Thesis, Constructivity and Computers.*
[Preprint]

## T

Toader, Iulian Danut
(2024)
*Weyl's Quantifiers.*
[Preprint]

This list was generated on **Sun Sep 8 13:21:08 2024 EDT**.