- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A term of length 4 523 659 424 929
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.Reprint years
2004
DOI
10.1023/a:1020827725055
My notes
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
2009-01-28
Downloads
34 (#357,795)
6 months
1 (#479,713)
2009-01-28
Downloads
34 (#357,795)
6 months
1 (#479,713)
Historical graph of downloads
Citations of this work
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.
A formalised theorem in the partition calculus.Lawrence C. Paulson - forthcoming - Annals of Pure and Applied Logic.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5b5888c749-qlr2k N