We want to begin creating formal sequential definitions for constructing the fundamental objects of this system.
Do we want to create all these objects from something absolutely basic like a bit -- which creates an alphabet of terminal characters -- from which are created all higher-level composite objects?
Or start with a more traditional basis like a set or an ordered class?
Maybe the answer to this question in involves two levels
1) the actual construction of the object or definition in terms of "data structures" -- in terms of bits, terminal characters
2) the symbolic abstract meaning of some structure in a sequence that builds all these definitions
Something like
1) the absolute physical construction of the object -- the technical/physical construction of a word -- its letters selected from a terminal alphabet, the definition of the font that constructs those letters, the bit/pixel pattern that constructs the word
1a) this borders on issues in semantics about "sounds" -- phonemes, that create words
2) the mathematical properties of this object
|