4 ideas
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
15313 | By 'force' I mean the sources of all actions - sometimes called 'powers' by their outcomes [Breheny] |