3 ideas
21516 | We want certainty in order achieve secure results for action [Dewey] |
6356 | Maybe a reliable justification must come from a process working with its 'proper function' [Plantinga, by Pollock/Cruz] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |