Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Band | Artikel

237275

A term of length 4 523 659 424 929

A. R. D. Mathias

pp. 75-86

Abstrakt

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).

Seiten: 75-86

DOI: 10.1023/A:1020827725055

Referenz:

Mathias A. R. D. (2002) „A term of length 4 523 659 424 929“. Synthese 133 (1-2), 75–86.