McLarty, Colin Poincaré on the value of reasoning machines. (English) Zbl 1540.68003 Bull. Am. Math. Soc., New Ser. 61, No. 3, 411-422 (2024). MSC: 68-03 01A55 68V20 × Cite Format Result Cite Review PDF Full Text: DOI
Arana, Andrew Purity and explanation: essentially linked? (English) Zbl 1532.00004 Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 25-39 (2023). MSC: 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Pambuccian, Victor Varieties of infiniteness in the existence of infinitely many primes. (English) Zbl 07632453 Ferreira, Fernando (ed.) et al., Axiomatic thinking II. Cham: Springer. 157-164 (2022). MSC: 03-03 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Marfori, Marianna Antonutti Intuition, understanding, and proof: Tatiana Afanassjewa on teaching and learning geometry. (English) Zbl 07857597 Uffink, Jos (ed.) et al., The legacy of Tatjana Afanassjewa. Philosophical insights from the work of an original physicist and mathematician. Cham: Springer. Women Hist. Philos. Sci. 7, 29-54 (2021). Reviewer: Andrea Blunck (Hamburg) MSC: 01A60 01A70 97-03 97G10 × Cite Format Result Cite Review PDF Full Text: DOI
Lorenat, Jemma A competent translation/a pitiful bungle: The foundations of geometry. (English) Zbl 1522.01029 Math. Intell. 43, No. 3, 60-70 (2021). Reviewer: Martin Lukarevski (Skopje) MSC: 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Eder, Günther Frege and the origins of model theory in nineteenth century geometry. (English) Zbl 1507.03004 Synthese 198, No. 6, 5547-5575 (2021). MSC: 03-03 03C65 51-03 01A55 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Eder, Günther Projective duality and the rise of modern logic. (English) Zbl 1500.03001 Bull. Symb. Log. 27, No. 4, 351-384 (2021). Reviewer: Jim Mackenzie (Sydney) MSC: 03-03 03A05 01A55 01A60 51-03 × Cite Format Result Cite Review PDF Full Text: DOI
Pambuccian, Victor Existence of special rainbow triangles in weak geometries. (English) Zbl 1431.51007 Georgian Math. J. 26, No. 4, 489-498 (2019). MSC: 51F05 51F15 51F20 51G05 × Cite Format Result Cite Review PDF Full Text: DOI
Corry, Leo Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics. (English) Zbl 1470.81007 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 376, No. 2118, Article ID 20170221, 16 p. (2018). MSC: 81-03 01A60 00A30 81P05 × Cite Format Result Cite Review PDF Full Text: DOI
Struve, Rolf A theory of duality in Euclidean geometry. (English) Zbl 1393.51011 Beitr. Algebra Geom. 59, No. 2, 221-246 (2018). MSC: 51M05 03B30 51F15 51G05 × Cite Format Result Cite Review PDF Full Text: DOI
Eder, Günther; Schiemer, Georg Hilbert, duality, and the geometrical roots of model theory. (English) Zbl 1522.03015 Rev. Symb. Log. 11, No. 1, 48-86 (2018). MSC: 03A05 00A30 03-03 01A55 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Hollings, Christopher D. ‘Nobody could possibly misunderstand what a group is’: a study in early twentieth-century group axiomatics. (English) Zbl 1379.01014 Arch. Hist. Exact Sci. 71, No. 5, 409-481 (2017). Reviewer: Reinhard Siegmund-Schultze (Kristiansand) MSC: 01A55 01A60 20-03 20A05 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Rowe, David E. Book review of: B. Riemann, Über die Hypothesen, welche der Geometrie zu Grunde liegen; D. Hilbert, Grundlagen der Geometrie (Festschrift 1899). (English) Zbl 1378.00070 Jahresber. Dtsch. Math.-Ver. 119, No. 3, 169-186 (2017). MSC: 00A17 01A75 01A55 53-03 01-00 01A70 51-03 51A05 × Cite Format Result Cite Review PDF Full Text: DOI
De Risi, Vincenzo The development of Euclidean axiomatics. The systems of principles and the foundations of mathematics in editions of the Elements in the early modern age. (English) Zbl 1355.01007 Arch. Hist. Exact Sci. 70, No. 6, 591-676 (2016). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 01A20 01A40 01A45 01A50 × Cite Format Result Cite Review PDF Full Text: DOI
Baldwin, John T. Formalization, primitive concepts, and purity. (English) Zbl 1272.03006 Rev. Symb. Log. 6, No. 1, 87-128 (2013). MSC: 03A05 00A30 03B30 × Cite Format Result Cite Review PDF Full Text: DOI
Smadja, Ivahn Local axioms in disguise: Hilbert on Minkowski diagrams. (English) Zbl 1274.03006 Synthese 186, No. 1, 315-370 (2012). MSC: 03-03 00A30 01A60 03B30 × Cite Format Result Cite Review PDF Full Text: DOI
Stroppel, Markus Early explicit examples of non-Desarguesian plane geometries. (English) Zbl 1247.51004 J. Geom. 102, No. 1-2, 179-188 (2011). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 51A35 51-03 01A55 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Landry, Elaine How to be a structuralist all the way down. (English) Zbl 1219.03008 Synthese 179, No. 3, 435-454 (2011). MSC: 03A05 00A30 18A15 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Mumma, John Proofs, pictures, and Euclid. (English) Zbl 1198.03021 Synthese 175, No. 2, 255-287 (2010). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03B30 00A35 01A20 51-03 51M05 × Cite Format Result Cite Review PDF Full Text: DOI
Pease, Alison; Smaill, Alan; Colton, Simon; Lee, John Bridging the gap between argumentation theory and the philosophy of mathematics. (English) Zbl 1170.00003 Found. Sci. 14, No. 1-2, 111-135 (2009). Reviewer: Roman Murawski (Poznań) MSC: 00A30 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Brading, K. A.; Ryckman, T. A. Hilbert’s ‘Foundations of physics’: gravitation and electromagnetism within the axiomatic method. (English) Zbl 1223.78001 Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. 39, No. 1, 102-153 (2008). MSC: 78-03 83-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI