Comment by wduquette

1 hour 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.

0 comments