Synthese 133 (1-2):75 - 86 (2002)
| Abstract |
Bourbaki suggest that their definition of the number 1 runs to some tens of thousands of symbols. We show that that is a considerable under-estimate, the true number of symbols being that in the title, not counting 1 179 618 517 981 links between symbols that are needed to disambiguate the whole expression.
|
| Keywords | Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language |
| Categories |
No categories specified (categorize this paper) |
| Reprint years | 2004 |
| DOI | 10.1023/A:1020827725055 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Radical Anti-Realism, Wittgenstein and the Length of Proofs.Mathieu Marion - 2009 - Synthese 171 (3):419 - 432.
The Role of Syntactic Representations in Set Theory.Keith Weber - 2019 - Synthese 198 (Suppl 26):6393-6412.
Similar books and articles
Philosophical Logic: An Introduction to Advanced Topics.George Englebretsen & Charles Sayward - 2010 - continuum.
Exact Bounds for Lengths of Reductions in Typed Λ-Calculus.Arnold Beckmann - 2001 - Journal of Symbolic Logic 66 (3):1277-1285.
Minimum Propositional Proof Length is NP-Hard to Linearly Approximate.Michael Alekhnovich, Sam Buss, Shlomo Moran & Toniann Pitassi - 2001 - Journal of Symbolic Logic 66 (1):171-191.
An Application of Graphical Enumeration to PA.Andreas Weiermann - 2003 - Journal of Symbolic Logic 68 (1):5-16.
External Symbols Are a Better Bet Than Perceptual Symbols.A. J. Wells - 1999 - Behavioral and Brain Sciences 22 (4):634-635.
Analytics
Added to PP index
2009-01-28
Total views
33 ( #348,029 of 2,519,857 )
Recent downloads (6 months)
1 ( #406,012 of 2,519,857 )
2009-01-28
Total views
33 ( #348,029 of 2,519,857 )
Recent downloads (6 months)
1 ( #406,012 of 2,519,857 )
How can I increase my downloads?
Downloads
