Repository | Journal | Volume | Article
A term of length 4 523 659 424 929
pp. 75-86
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.
Publication details
Published in:
Löwe Benedikt, Rudolph Florian (2002) Foundations of the formal sciences I. Synthese 133 (1-2).
Pages: 75-86
Full citation:
Mathias A. R. D. (2002) „A term of length 4 523 659 424 929“. Synthese 133 (1-2), 75–86.