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: 92,347

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

Analytics

Added to PP
2009-01-28

Downloads
42 (#381,522)

6 months
8 (#371,375)

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