So the argument against the semantic, non-formalist attitude is
belied by C. S. practice. We are not exhorted to remember that objects
of the usual CS types are implemented as bit strings in various odd
ways -- in fact, we are usually supposed to forget this!!!
The opinions expressed | --Sincerely,
above are not the "official" | M. Randall Holmes
opinions of any person | Math. Dept., Boise State Univ.
or institution. | holmes@math.idbsu.edu