3 ideas
21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |