3 ideas
18946 | Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer] |
9591 | The human intellect has not been, and cannot be, fully formalized [Nagel/Newman] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |