Strict Finitism and the Logic of Mathematical Applications

• Main Author: Ye, Feng (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
• Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 355
• Subjects: Philosophy.; Logic.; Philosophy and science.; Mathematical logic.; Philosophy of Science.; Mathematical Logic and Foundations.

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, comple...