In Mathematics and Philosophy
A good introduction to the philosophical issues involved is John Lane Bell's essay in the Stanford Encyclopedia of Philosophy. A significant divide is provided by the law of excluded middle. It determines the divide between intuitionistic continua such as Brouwer's and Lawvere's, and classical ones such as Stevin's and Robinson's. Bell isolates two distinct historical conceptions of infinitesimal, one by Leibniz and one by Nieuwentijdt, and argues that Leibniz's conception was implemented in Robinson's hyperreal continuum, whereas Nieuwentijdt's, in Lawvere's smooth infinitesimal analysis, characterized by the presence of nilsquare infinitesimals: "It may be said that Leibniz recognized the need for the first, but not the second type of infinitesimal and Nieuwentijdt, vice-versa. It is of interest to note that Leibnizian infinitesimals (differentials) are realized in nonstandard analysis, and nilsquare infinitesimals in smooth infinitesimal analysis".
Read more about this topic: Continuum (theory)
Famous quotes containing the words mathematics and philosophy, mathematics and/or philosophy:
“I must study politics and war that my sons may have liberty to study mathematics and philosophy.”
—John Adams (1735–1826)
“... though mathematics may teach a man how to build a bridge, it is what the Scotch Universities call the humanities, that teach him to be civil and sweet-tempered.”
—Amelia E. Barr (1831–1919)
“Philosophy of science without history of science is empty; history of science without philosophy of science is blind.”
—Imre Lakatos (1922–1974)