PHON 发表于 2025-3-26 22:15:58

http://reply.papertrans.cn/88/8797/879686/879686_31.png

清楚 发表于 2025-3-27 03:10:02

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

打算 发表于 2025-3-27 05:23:27

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

ostrish 发表于 2025-3-27 12:14:47

http://reply.papertrans.cn/88/8797/879686/879686_34.png

消息灵通 发表于 2025-3-27 14:39:02

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

强所 发表于 2025-3-27 21:42:24

http://reply.papertrans.cn/88/8797/879686/879686_36.png

脆弱吧 发表于 2025-3-28 01:16:59

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 发表于 2025-3-28 02:26:05

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 发表于 2025-3-28 06:57:41

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 发表于 2025-3-28 12:20:58

http://reply.papertrans.cn/88/8797/879686/879686_40.png
页: 1 2 3 [4] 5
查看完整版本: Titlebook: Strict Finitism and the Logic of Mathematical Applications; Feng Ye Book 2011 Springer Netherlands 2011 Constructive Mathematics.Construct