- Philosophy of mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The Epistemological Subject(s) of Mathematics.Silvia De Toffoli - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 2880-2904.details
|
|
(1 other version)Recalcitrant Disagreement in Mathematics: An “Endless and Depressing Controversy” in the History of Italian Algebraic Geometry.Silvia De Toffoli & Claudio Fontanari - 2023 - Global Philosophy 33 (38):1-29.details
|
|
Objectivity and Rigor in Classical Italian Algebraic Geometry.Silvia De Toffoli & Claudio Fontanari - 2022 - Noesis 38:195-212.details
|
|
What is Mathematical Rigor?John Burgess & Silvia De Toffoli - 2022 - Aphex 25:1-17.details
|
|
Anti-exceptionalism about logic as tradition rejection.Ben Martin & Ole Thomassen Hjortland - 2022 - Synthese 200 (2):1-33.details
|
|
What are mathematical diagrams?Silvia De Toffoli - 2022 - Synthese 200 (2):1-29.details
|
|
Reconciling Rigor and Intuition.Silvia De Toffoli - 2020 - Erkenntnis 86 (6):1783-1802.details
|
|
Reliability: an introduction.Stefano Bonzio, Jürgen Landes & Barbara Osimani - 2020 - Synthese (Suppl 23):1-10.details
|
|
Demostraciones «tópicamente puras» en la práctica matemática: un abordaje elucidatorio.Guillermo Nigro Puente - 2020 - Dissertation, Universidad de la República Uruguaydetails
|
|
Informal and formal proofs, metalogic, and the groundedness problem.Mario Bacelar Valente - manuscriptdetails
|
|
Ontological Purity for Formal Proofs.Robin Martinot - 2024 - Review of Symbolic Logic 17 (2):395-434.details
|
|
Epistemic phase transitions in mathematical proofs.Scott Viteri & Simon DeDeo - 2022 - Cognition 225 (C):105120.details
|
|
Proofs, Reliable Processes, and Justification in Mathematics.Yacin Hamami - 2021 - British Journal for the Philosophy of Science 74 (4):1027-1045.details
|
|
Mathematical consensus: a research program.Roy Wagner - 2022 - Axiomathes 32 (3):1185-1204.details
|
|
Role of Imagination and Anticipation in the Acceptance of Computability Proofs: A Challenge to the Standard Account of Rigor.Keith Weber - 2022 - Philosophia Mathematica 30 (3):343-368.details
|
|
Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.details
|
|
Relocating mathematics: a case of moving texts between the front and back of mathematics.Jemma Lorenat - 2023 - Synthese 202 (1):1-39.details
|
|
Visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs?Simon Weisgerber - 2022 - In Giardino V., Linker S., Burns R., Bellucci F., Boucheix J.-M. & Viana P. (eds.), Diagrammatic Representation and Inference. 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings. Springer, Cham. pp. 37-53.details
|
|
Reliability: an introduction.Stefano Bonzio, Jürgen Landes & Barbara Osimani (eds.) - 2020 - Springer.details
|
|
On the unreasonable reliability of mathematical inference.Brendan Philip Larvor - 2022 - Synthese 200 (4):1-16.details
|
|