Fibrin 发表于 2025-3-25 07:22:30
http://reply.papertrans.cn/83/8280/827978/827978_21.png箴言 发表于 2025-3-25 08:20:32
http://reply.papertrans.cn/83/8280/827978/827978_22.png大量 发表于 2025-3-25 12:58:26
,Takeuti’s Well-Ordering Proof: Finitistically Fine?,ould be vindicated. This paper focuses on whether the transfinite induction on ordinal notations needed for Gentzen’s second proof can be finitistically justified. In particular, the focus is on Takeuti’s purportedly finitistically acceptable proof of the well ordering of ordinal notations in Cantor滑动 发表于 2025-3-25 17:06:57
A Non-error Theory Approach to Mathematical Fictionalism,e. I offer as an alternative an anti-realist approach to mathematics that preserves many of Leng’s valuable insights while ridding fictionalism of its most unpalatable feature, the claim that substantive mathematical claims are “in error”. In making my argument, I first present the virtues of Leng’s有罪 发表于 2025-3-25 20:00:23
http://reply.papertrans.cn/83/8280/827978/827978_25.png和蔼 发表于 2025-3-26 04:02:21
The Axiom of Choice as Paradigm Shift: The Case for the Distinction Between the Ontological and thending AC was related either to the foundational crisis or to a polemic about the nature of mathematical demonstration, it is perhaps new to state that the question of the validity of AC not only was a central question of this period but also, furthermore, was one of its primary drivers—one which ledsaturated-fat 发表于 2025-3-26 07:25:16
http://reply.papertrans.cn/83/8280/827978/827978_27.pngConflagration 发表于 2025-3-26 12:29:46
http://reply.papertrans.cn/83/8280/827978/827978_28.png从容 发表于 2025-3-26 15:22:03
http://reply.papertrans.cn/83/8280/827978/827978_29.png娘娘腔 发表于 2025-3-26 18:19:24
What Mathematics Rittenhouse Knew, Based on his correspondence with Jefferson, some of the scratch work in his diary, and a new examination of some of the mathematical literature known to have passed through his hands as Librarian of the American Philosophical Society (APS), Rittenhouse’s mathematical papers appear in a different light.