Quote:
Originally Posted by R.D. Silverman
This last sentence is gibberish. Your prose is on a level with your mathematics.
What I wrote is supported by an extensive publication history on the part
of the mathematical community in which computer proof systems have been
developed, used, and discussed. .

I did not see anything you did in mathematics. At least I did not see any announcement of your achievements in this forum, while I presented new results from time to time. I read your book, but only to check the level of your mathematics.
I am not surprised that people of a community, in which computer proof systems have been developed, used, and discussed, think that computer based proofs must be accepted in mathematics.
Frankly saying I have enough to see your insults. Take care of yourself and don't write in my threads.