Number of items at this level: 56.
Preprint
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]
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
(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]
Barany, Michael J
(2020)
Abstract Relations: Bibliography and the Infra-structures of Modern Mathematics.
[Preprint]
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]
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]
Darnell, Eamon and Thomas-Bolduc, Aaron
(2018)
Takeuti's Well-Ordering Proof: Finitistically Fine?
[Preprint]
Ehrlich, Philip
(2021)
Are Points (Necessarily) Unextended?
[Preprint]
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]
Friedman, Michael and Rittberg, Colin Jakob
(2019)
The Material Reasoning of Folding Paper.
[Preprint]
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]
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
(2024)
Mathematics and Society Reunited: The Social Aspects of Brouwer’s Intuitionism.
[Preprint]
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]
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]
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]
Perry, Stephen
(2021)
What is "Applied Mathematics" Anyway? How the History of Fluid Mechanics Demonstrates the Role of Concepts in Applied Mathematics.
[Preprint]
Rodin, Andrei
(2023)
Kolmogorov's Calculus of Problems and Its Legacy.
[Preprint]
Szabó, Máté
(2021)
Péter on Church's Thesis, Constructivity and Computers.
[Preprint]
Toader, Iulian Danut
(2024)
Weyl's Quantifiers.
[Preprint]
Published Article or Volume
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)
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
(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.
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
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
Erfanifar, T
(2023)
Existential Quantifiers and Contemporary Logic.
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
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
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
Patton, Lydia
(2018)
Laws of Thought and Laws of Logic After Kant.
Logic from Kant to Russell.
Other
Penchev, Vasil
A complement to "Fermat's last theorem proved by induction".
UNSPECIFIED.
This list was generated on Sat Oct 5 15:30:20 2024 EDT.