G.W. Leibniz’ s quote

0.1 “Does Mathematics need any Philosophy ?”

0.1.1 Famous quote from Gottfried Wilhelm (von) Leibniz – both mathematician and philosopher:

A liberal translation from the original in French quoted below is:

1.
Without Mathematics one cannot understand the fundamentals of Philosophy.
2.
Without Philosophy we cannot reach the Foundation of Mathematics.
3.
Without both (Mathematics and Philosophy) one cannot reach anything that is fundamental.

1.
“Sans les mathématiques on ne pénétre point au fond de la philosophie.
2.
Sans la philosophie on ne pénétre point au fond des mathématiques.
3.
Sans les deux on ne pénétre au fond de rien.”

-by G. W. Leibniz-

References

http://www.dpmms.cam.ac.uk/ wtg10/Timothy Gowers, “Does mathematics need a philosophy?”http://www.dpmms.cam.ac.uk/ wtg10/philosophy.htmlPlato vs. Formalism, Logicism,… and so on

单词	GWLeibnizSQuote
释义	G.W. Leibniz’ s quote 0.1 “Does Mathematics need any Philosophy ?” 0.1.1 Famous quote from Gottfried Wilhelm (von) Leibniz – both mathematician and philosopher: A liberal translation from the original in French quoted below is: 1. Without Mathematics one cannot understand the fundamentals of Philosophy. 2. Without Philosophy we cannot reach the Foundation of Mathematics. 3. Without both (Mathematics and Philosophy) one cannot reach anything that is fundamental. 1. “Sans les mathématiques on ne pénétre point au fond de la philosophie. 2. Sans la philosophie on ne pénétre point au fond des mathématiques. 3. Sans les deux on ne pénétre au fond de rien.” -by G. W. Leibniz- References http://www.dpmms.cam.ac.uk/ wtg10/Timothy Gowers, “Does mathematics need a philosophy?”http://www.dpmms.cam.ac.uk/ wtg10/philosophy.htmlPlato vs. Formalism, Logicism,… and so on 1
随便看	ProofOfDoobsInequalities proof of Doob’s inequalities ProofOfDoubleAngleIdentity proof of double angle identity ProofOfDownwardLowenheimSkolemTheorem proof of downward Lowenheim-Skolem theorem ProofOfDulacsCriteria Proof of Dulac’s Criteria proof of d⁢α⁢(X,Y)=X⁢(α⁢(Y)) - Y⁢(α⁢(X)) - α⁢([X,Y]) (global coordinate-free) proof of d⁢α⁢(X,Y)=X⁢(α⁢(Y)) - Y⁢(α⁢(X)) - α⁢([X,Y]) (local coordinates) ProofOfEgorovsTheorem proof of Egorov’s theorem ProofOfEisensteinCriterion proof of Eisenstein criterion ProofOfEmbeddingTheoremForOrderedAbelianGroupsOfRankOne proof of embedding theorem for ordered abelian groups of rank one ProofOfEquivalenceOfDefinitionsOfValuation proof of equivalence of definitions of valuation ProofOfEquivalenceOfFermatsLastTheoremToItsAnalyticForm proof of equivalence of Fermat’s Last Theorem to its analytic form ProofOfEquivalenceOfFormulasForExp proof of equivalence of formulas for exp ProofOfEquivalentDefinitionsOfAnalyticSetsForMeasurableSpaces proof of equivalent definitions of analytic sets for measurable spaces ProofOfEquivalentDefinitionsOfAnalyticSetsForPavedSpaces