News for hackers. Stuff that matters.

A comment on The Lucas-Penrose Argument about Gödel's Theorem (2012). Parent comment

Re:The Lucas-Penrose Argument about Gödel's Theorem (2012) by xamuel on Tuesday May 30, 2017 @09:06AM (#14445011)
Don't think of it as "a mind", but as "the knowledge held by a mind": one of the defining properties of knowledge is truth.

(That's not intended as an endorsement of Lucas-Penrose. There are deeper flaws in the argument, like the assumption that the truth of the knowledge of the mind implies that the mind KNOWS its own truthfulness.)

[ Parent | on HN ]
Re:The Lucas-Penrose Argument about Gödel's Theorem (2012) by mcguire on Tuesday May 30, 2017 @10:44AM (#14445699)
Justified true belief: https://en.m.wikipedia.org/wiki/Justified_true_belief

The Gettier problem: https://en.m.wikipedia.org/wiki/Gettier_problem

[ Parent | on HN ]