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 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 ]

There are no comments on this comment yet.