Comment by whimsicalism

it's a TCS result.

seems like many commenting don't know about computability