About two and a half weeks ago, Garry Richmond wrote (among other
things), in reply to one of my previous posts:
You remarked concerning an older, artificial, and somewhat inaccurate
terminological distinction between practical or applied on the one hand
and pure or abstract on the other. In
Irving,
Do you think that your theoretical - computational distinction and likewise
Pratt's creator - consumer distinction between kinds of mathematics could be
expressed in terms of Peirce's theorematic - corollarial distinction? That
identification seems not without issues but still pretty
Dear Steven,
That's what I increasingly thought after re-reading your thread-commencing post
again after sending my post about it. You did not think the things that you at
times had seemed to me to think. It was really about stylistics and word
choice.
In one case I noted that you had not