A Term of Length 4 523 659 424 929

Synthese 133 (1-2):75-86 (2002)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,998

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A term of length 4 523 659 424 929.A. R. D. Mathias - 2002 - Synthese 133 (1-2):75 - 86.
Length and structure of proofs.Rohit Parikh - 1998 - Synthese 114 (1):41-48.
What Is Rational About Nash Equilibria?Mathias Risse - 2000 - Synthese 124 (3):361-384.
Problems of Philosophy Problem #12: Epistemology from a strategic viewpoint.[author unknown] - 1998 - Synthese 116 (1):113-113.

Analytics

Added to PP
2016-02-22

Downloads
22 (#710,008)

6 months
7 (#431,609)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.
A formalised theorem in the partition calculus.Lawrence C. Paulson - 2024 - Annals of Pure and Applied Logic 175 (1):103246.
Mathias and set theory.Akihiro Kanamori - 2016 - Mathematical Logic Quarterly 62 (3):278-294.
The role of syntactic representations in set theory.Keith Weber - 2019 - Synthese 198 (Suppl 26):6393-6412.

Add more citations

References found in this work

No references found.

Add more references