Logic, ontology, mathematical practice
From MaRDI portal
Publication:1202496
DOI10.1007/BF00873255zbMath0757.03003WikidataQ114694168 ScholiaQ114694168MaRDI QIDQ1202496
Publication date: 2 February 1993
Published in: Synthese (Search for Journal in Brave)
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Cites Work
- A simple type theory without Platonic domains
- Principles of reflection and second-order logic
- Brouwer's constructivism
- Mathematics and Reality
- Mathematics as a Science of Patterns: Ontology and Reference
- Mathematics as a Science of Patterns: Epistemology
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item