From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Volume 1

abstract angles appear applied arithmetic Augustus De Morgan axioms Benjamin Peirce Bolzano Boole calculus called complete complex numbers conceive concept consequence considered contains curve definition denote derived determined differential calculus equal equation Euclid example existence expression finite fluxions function Gauss geometry given Hamilton idea imaginary inference infinitely small infinitesimals integer interpretation intuition judgements Kant kind latter laws Leibniz logic magnitude mathematicians mathematics means method Morgan motion multiplication nature negative non-Euclidean geometry object operations parallel Parallel Postulate Peacock Peirce philosophical philosophy of mathematics plane positive possible predicate principles priori proof proposition proved pure quantity quaternions ratio reason reference regard relation represent result rules scientific sense simple space straight line supposed syllogism symbolic calculus symbolical algebra synthetic propositions theorem theory things thought tion triangle true truth velocities William Rowan Hamilton words zero