๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Formalist Philosophy of Mathematics Part I: Arithmetic

โœ Scribed by Michael Gabbay

Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
288 KB
Volume
96
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Toward a philosophy of real mathematics
Toward a philosophy of real mathematics
โœ Osmo Pekonen; David Corfield; Andrew Arana ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 563 KB
Mathematics in engineering - part I
Mathematics in engineering - part I
โœ Anindya Chatterjee ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Indian Academy of Sciences ๐ŸŒ English โš– 705 KB
Is ZF a hack?: Comparing the complexity
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
โœ Freek Wiedijk ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 315 KB

This paper presents Automath encodings (which are also valid in LF/ฮปP ) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to find out which foundation is the simplest. The systems analyzed in this way are two kinds of set theory (ZFC and NF),

Ideas and processes in mathematics: A co
Ideas and processes in mathematics: A course on history and philosophy of mathematics
โœ Charalampos Toumasis ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Springer ๐ŸŒ English โš– 740 KB

This paper describes an attempt to develop a program for teaching history and philosophy of mathematics to inservice mathematics teachers. I argue briefly for the view that philosophical positions and epistemological accounts related to mathematics have a significant influence and a powerful impact