Strict Finitism and the Logic of Mathematical Applications

AvFeng Ye

Inbunden, Engelska, 2011

Del 355 i serien Synthese Library

1 092 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

1 413 kr

Häftad

1 092 kr

Beskrivning

This book intends to show that radical naturalism (or physicalism), nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry (sufficient for the applications in classical quantum mechanics and general relativity). The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is surprising in itself. It also shows that the applications of those classical theories to the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity.Both professional researchers and students of philosophy of mathematics will benefit greatly from reading this book.

Produktinformation

Utgivningsdatum:2011-07-06
Mått:155 x 235 x 20 mm
Vikt:594 g
Format:Inbunden
Språk:Engelska
Serie:Synthese Library
Antal sidor:272
Upplaga:2011
Förlag:Springer
ISBN:9789400713468

Utforska kategorier

Mer om författaren

Feng Ye is a professor of philosophy at Peking University, China. He has a B.S. degree in mathematics from Xiamen University, China, and a Ph.D. degree in philosophy from Princeton University, U.S.A.. His research areas include constructive and finitistic mathematics, philosophy of mathematics, and philosophy of mind and language. He used to prove, for the first time, a constructive version of the spectral theorem and Stone’s theorem for unbounded linear operators on Hilbert spaces. He is currently developing a radically naturalistic, nominalistic, and strictly finitistic philosophy of mathematics, a naturalistic theory of content, and a naturalistic interpretation of modality. His research articles have been published in The Journal of Symbolic Logic, Philosophia Mathematica, and Synthese, among others. He is also the author of the book Philosophy of Mathematics in the 20th Century: a Naturalistic Commentary (in Chinese, Peking University Press, 2010). His philosophical interests revolve around naturalism.

Recensioner i media

"Strict finitism is a very attractive view that has generally suffered just from the sense that it couldn't reproduce enough mathematics. This book takes strides toward removing that worry and making the view a viable alternative." James Tappenden, University of Michigan, Ann Arbor, U.S.A.

Innehållsförteckning

1. Introduction.- 2. Strict Finitism.- 3. Calculus.- 4. Metric Space.- 5. Complex Analysis.- 6. Integration.- 7. Hilbert Space.- 8. Semi-Riemann Geometry.- References.- Index.