4 ideas
2118 | All other human gifts can harm us, but not correct reasoning [Leibniz] |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |