Note: the primitive concept is the natural numbers, everything else is convention

Quotation

An object is a sequence of typed objects. ... A symbol is a number ... then the primitive concept is the natural numbers. A sequence is a 1-1 relation with the natural numbers. An ID is a number. A type is a number. ... A sequence of unique, finite sequences [is equivalent to the] natural numbers. ... Everything else is convention.   Google-1   Google-2

personal notes

Related Topics

Topic: abstraction in programming (67 items)
Topic: what is a number (55 items)