Titlebook: Strict Finitism and the Logic of Mathematical Applications; Feng Ye Book 2011 Springer Netherlands 2011 Constructive Mathematics.Construct

PHON

清楚

Metric Space,bstract format, and then they can be instantiated into more and more concrete concepts, thoughts and proofs in a few stages, with their logical structures preserved. The resulted thoughts and proofs can become much more complex than the original ones. That is how abstraction helps to simplify the pr

打算

Synthese Libraryhttp://image.papertrans.cn/s/image/879686.jpg

ostrish

消息灵通

978-94-007-3631-3Springer Netherlands 2011

强所

脆弱吧

Calculus,This chapter develops the basics of calculus in strict finitism. Notions such as limit, convergence, continuity, differentiability, and Riemann integration are introduced, and their basic properties are proved. A case study of demonstrating applicability by reducing to strict finitism is also presented in the last section of this chapter.

carbohydrate

Feng YeProvides the first logical analysis of the applicability of infinite mathematics to finite physical things, by eliminating infinity in the applications.Defends radical naturalism, nominalism and stric

Connotation

Complex Analysis,entiation, and analytic functions, and including results such as Cauchy’s integral theorem, Cauchy’s integral formula, some properties regarding maximum values and zeros, and the Fundamental Theorem of Algebra.

Feedback