← Back to context Comment by GPerson 10 hours ago An obvious misrepresentation of the letter and my comment. For what purpose, I don’t know. 2 comments GPerson Reply pfdietz 2 hours ago I'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.
pfdietz 2 hours ago I'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.
I'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.