Repository | Journal | Volume | Articles
(2002) Synthese 133 (1-2).
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
Full citation:
Mathias, A. R. (2002). A term of length 4 523 659 424 929. Synthese 133 (1-2), pp. 75-86.
This document is unfortunately not available for download at the moment.