3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
19406 | I strongly believe in the actual infinite, which indicates the perfections of its author [Leibniz] |
20618 | Persons must be conscious, reasoning, motivated, communicative, self-aware [Warren, by Tuckness/Wolf] |