View Single Post
Old 2013-11-15, 19:20   #18
literka
 
literka's Avatar
 
Mar 2010

26·3 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
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.
literka is offline   Reply With Quote