3 ideas
9218 | Maybe what distinguishes philosophy from science is its pursuit of necessary truths [Sider] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
5994 | Is the cosmos open or closed, mechanical or teleological, alive or inanimate, and created or eternal? [Robinson,TM, by PG] |