About Gödel's Incompleteness Theorem

[davichon]

Hello,

 

I've been reading a bit about Gödel's Incompleteness Theorem. On this video (

) of a talk at Google, the speaker mentions that there are true statements that cannot be proven. My question is: how can a statement be true and not be proven, in other words, how can we be absolutely certain that it is true if we cannot prove it?

 

Hope this is clear.

Thank you,

David

[immortal]

On this video of a talk at Google, the speaker mentions that there are true statements that cannot be proven. My question is: how can a statement be true and not be proven, in other words, how can we be absolutely certain that it is true if we cannot prove it?

 

There are two possible answers, Firstly we humans might just guess what the truth is OR there is something called human intuition which helps us to understand absolute truths even though there is no algorithm or a set of procedure to absolutely determine the truth of a statement.

 

Experience the latter possibilty yourself in here.

My link