← Back to context Comment by drdeca 3 hours ago Eh? I don’t see how Gödel’s results imply that. 1 comment drdeca Reply wduquette 13 minutes ago 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.
wduquette 13 minutes ago 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.
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.