The Entscheidungsproblem. Basically, is there an algorithm such that, taking an arbitrary statement as input, can output wether it is true or false? Turing and Church both independently proved that no such algorithm exists.

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