Comment on How Gödel's Proof Works (2020)parentComments−jpulgarin25dG says: "I am not provable". As shown by Gödel, that's a true statement about G, ergo G is true. That first-order logic cannot prove it to be true is an indictment on the power of deduction, not on the truthiness of G.
Comments
G says: "I am not provable". As shown by Gödel, that's a true statement about G, ergo G is true. That first-order logic cannot prove it to be true is an indictment on the power of deduction, not on the truthiness of G.