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.

Categories

Add categories

Keywords

Reprint years

2004

DOI

10.1023/a:1020827725055

Links

PhilArchive



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

External links

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

Through your library

My notes

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 #30: An epistemology for game-theoretical semantics.[author unknown] - 2000 - Synthese 124 (3):447-447.
Problems of Philosophy Problem #12: Epistemology from a strategic viewpoint.[author unknown] - 1998 - Synthese 116 (1):113-113.
The non-epistemology of intelligent design: its implications for public policy.Barbara Forrest - 2011 - Synthese 178 (2):331-379.
Prècis of evidence and inquiry: Towards reconstruction in epistemology. [REVIEW]Susan Haack - 1997 - Synthese 112 (1):7-11.
The Medieval Roots of Reliabilist Epistemology: Albert of Saxony's View of Immediate Apprehension.Michael J. Fitzgerald - 2003 - Synthese 136 (3):409-434.
Problems of Philosophy. Problem #7: Logic Without the Frege-Russell Ambiguity Assumption.[author unknown] - 1998 - Synthese 114 (2):371-371.
Problems of Philosophy. Problem #8: The Epistemic Element in Intuitionistic Logic.[author unknown] - 1998 - Synthese 114 (3):497-497.
Parfaits miroirs de l'univers'': A `virtual' interpretation of Leibnizian metaphysics.William Boos - 2003 - Synthese 136 (2):281 - 304.
A generative model for translating from ordinary language into symbolic notation.William E. Mcmahon - 1977 - Synthese 35 (1):99 - 116.
Do mathematical constructions escape logic?Jean Louis Gardies - 2003 - Synthese 134 (1-2):3 - 24.
Dynamic doxastic logic: why, how, and where to?Hannes Leitgeb & Krister Segerberg - 2007 - Synthese 155 (2):167-190.
Logic and social interaction: introduction. [REVIEW]Sujata Ghosh & R. Ramanujam - 2010 - Synthese 177 (1):1-3.

Analytics

Added to PP
2016-02-22

Downloads
22 (#705,136)

6 months
8 (#351,446)

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