Titlebook: Research in History and Philosophy of Mathematics; The CSHPM 2017 Annua Maria Zack,Dirk Schlimm Conference proceedings 2018 Springer Intern

Fibrin

箴言

大量

,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

滑動(dòng)

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

有罪

和藹

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

Conflagration

從容

娘娘腔

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.