At 13:46 it gets into the "is there a way to prove every complete statement?" and furthermore goes into the Godel math for "there is no proof for the statement with Gödel number g" where that statement itself has a number "g".
The entire video is a good watch though.
And the related problem is that with Godel we don't know if math is consistent either.
At 13:46 it gets into the "is there a way to prove every complete statement?" and furthermore goes into the Godel math for "there is no proof for the statement with Gödel number g" where that statement itself has a number "g".
The entire video is a good watch though.
And the related problem is that with Godel we don't know if math is consistent either.