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/or philosophy:
“Why does man freeze to death trying to reach the North Pole? Why does man drive himself to suffer the steam and heat of the Amazon? Why does he stagger his mind with the mathematics of the sky? Once the question mark has arisen in the human brain the answer must be found, if it takes a hundred years. A thousand years.”
—Walter Reisch (1903–1963)
“A writer must always try to have a philosophy and he should also have a psychology and a philology and many other things. Without a philosophy and a psychology and all these various other things he is not really worthy of being called a writer. I agree with Kant and Schopenhauer and Plato and Spinoza and that is quite enough to be called a philosophy. But then of course a philosophy is not the same thing as a style.”
—Gertrude Stein (1874–1946)