4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
16369 | There is a single file per object, memorised, reactivated, consolidated and expanded [Papineau, by Recanati] |
1868 | The world was made as much for animals as for man [Celsus] |
1867 | Christians presented Jesus as a new kind of logos to oppose that of the philosophers [Celsus] |