Comment Comment by tyilo It is undecidable, see https://en.wikipedia.org/wiki/Richardson%27s_theorem parent tyilo 4 years ago
