Kurt Godel says that you are correct.
Eh? I don’t see how Gödel’s results imply that.
At least not automatically. From an algorithmic standpoint it seems likely to be undecidable. But let us not look too closely at what was really a throwaway remark.
Eh? I don’t see how Gödel’s results imply that.
At least not automatically. From an algorithmic standpoint it seems likely to be undecidable. But let us not look too closely at what was really a throwaway remark.