3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
9382 | Subjects may be unaware of their epistemic 'entitlements', unlike their 'justifications' [Burge] |
15308 | Science is the reduction of diverse forces and powers to a smaller number that explain them [Kant] |