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 led

saturated-fat 发表于 2025-3-26 07:25:16

http://reply.papertrans.cn/83/8280/827978/827978_27.png

Conflagration 发表于 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.
页: 1 2 [3] 4 5
查看完整版本: Titlebook: Research in History and Philosophy of Mathematics; The CSHPM 2017 Annua Maria Zack,Dirk Schlimm Conference proceedings 2018 Springer Intern