Plenty of problems in the area of computation have little impact on the real world, but they contribute to our fundamental understanding of ‘understanding’. The Entscheidungsproblem is probably the most significant of these.

https://en.wikipedia.org/wiki/Entscheidungsproblem