How to Frame a Mathematician

DOI10.1007/978-3-030-15655-8_19zbMath1528.00002OpenAlexW2985519796MaRDI QIDQ6075438

Bernhard Schröder, Unnamed Author, Martin Schmitt, Bernhard Fisseni

Publication date: 20 September 2023

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-15655-8_19

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Why do informal proofs conform to formal norms?
• A Problem with the Dependence of Informal Proofs on Formal Proofs
• The Logic of Typed Feature Structures
• The Derivation-Indicator View of Mathematical Practice
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices

This page was built for publication: How to Frame a Mathematician