Re: THEORY: no more URs! [was: Re: Optimum number of symbols]

Quoting Dirk Elzinga <Dirk_Elzinga@...>:

> It also didn't really play a role in what I was doing in
> a significant way, so to include the UR-less idea could have been
> seen as needlessly provocative.
This has a long pedigree in science. Isaac Newton, when writing
his _Principia Mathematica_, purposely chose not to write it in
his new-fangled Calculus-based notation out of fear that people
would criticise it on that ground alone. So, he went back on
traditional geometrical proofs.

=====================================================================
Thomas Wier          "...koruphàs hetéras hetére:isi prosápto:n /
Dept. of Linguistics  mú:tho:n mè: teléein atrapòn mían..."
University of Chicago "To join together diverse peaks of thought /
1010 E. 59th Street   and not complete one road that has no turn"
Chicago, IL 60637     Empedocles, _On Nature_, on speculative thinkers