3 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
3425 | Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim] |
4800 | Natural laws result from eliminative induction, where enumerative induction gives generalisations [Cohen,LJ, by Psillos] |