3 ideas
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |
14366 | An explanation is a table of statistical information [Salmon, by Strevens] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |