Let's figure out how to use the iron fist of the state to keep people from doing things the math establishment doesn't like?
replyYeah, that's really great for humanity. Just super.
An obvious misrepresentation of the letter and my comment. For what purpose, I don’t know.
replyI'd like to hear how your comment isn't irrelevant noise, then. How does one implement these grand ideas except by state action? Otherwise, people will do what people will do, including proving theorems by machine.
reply