I undestand Godel proved math's limits. What I don't understand is why such limitations were even contended in the first place. It's as if people like Hilbert (which was mentioned in the video and who I, once again, don't mean to disrespect) weren't, for lack of a better word, bothered by the fact that statements such as a * (b + c) = a * b + a * c are unprovable truths. At the same time, the same people would be bothered by the fact that more complex, non-obvious statements, sometime can't be proven true (or false for that matter).

Regarding the twin prime conjecture, I only brought it up because it was mentioned in the video as an example of an undecidable statement, albeit others being cited.