Book contents
- Mathematics and Its Logics
- Mathematics and Its Logics
- Copyright page
- Contents
- Acknowledgements
- Introduction
- Part I Structuralism, Extendability, and Nominalism
- Part II Predicative Mathematics and Beyond
- Part III Logics of Mathematics
- 11 Logical Truth by Linguistic Convention
- 12 Never Say “Never”!
- 13 Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem
- Introduction
- 13.1 Preliminaries
- 13.2 Non-Constructivity of Unbounded Operators: Application of a Theorem of Pour-El and Richards
- 13.3 The Problem of Domains
- 13.4 Are Unbounded Operators Required to Sustain Life in the Quantum World?
- Appendix Appendices
- 14 If “If-Then” Then What?
- 15 Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis
- Index
Appendix - Appendices
from 13 - Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem
Published online by Cambridge University Press: 26 January 2021
- Mathematics and Its Logics
- Mathematics and Its Logics
- Copyright page
- Contents
- Acknowledgements
- Introduction
- Part I Structuralism, Extendability, and Nominalism
- Part II Predicative Mathematics and Beyond
- Part III Logics of Mathematics
- 11 Logical Truth by Linguistic Convention
- 12 Never Say “Never”!
- 13 Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem
- Introduction
- 13.1 Preliminaries
- 13.2 Non-Constructivity of Unbounded Operators: Application of a Theorem of Pour-El and Richards
- 13.3 The Problem of Domains
- 13.4 Are Unbounded Operators Required to Sustain Life in the Quantum World?
- Appendix Appendices
- 14 If “If-Then” Then What?
- 15 Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis
- Index
Summary

- Type
- Chapter
- Information
- Mathematics and Its LogicsPhilosophical Essays, pp. 233 - 236Publisher: Cambridge University PressPrint publication year: 2021