5 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
9935 | Mathematical truth is always compromising between ordinary language and sensible epistemology [Benacerraf] |
17927 | Realists have semantics without epistemology, anti-realists epistemology but bad semantics [Benacerraf, by Colyvan] |
9936 | The platonist view of mathematics doesn't fit our epistemology very well [Benacerraf] |
19399 | Prime matter is nothing when it is at rest [Leibniz] |