Philosophy of mathematics
From The Art and Popular Culture Encyclopedia
Revision as of 10:39, 17 June 2017 Jahsonic (Talk | contribs) ← Previous diff |
Revision as of 11:39, 17 June 2017 Jahsonic (Talk | contribs) Next diff → |
||
Line 1: | Line 1: | ||
{{Template}} | {{Template}} | ||
+ | The '''philosophy of mathematics''' is the [[Branch (academia)|branch]] of [[philosophy]] that studies the assumptions, foundations, and implications of [[mathematics]], and to provide a viewpoint of the nature and [[methodology]] of mathematics and to understand the place of mathematics in people's lives. The logical and structural nature of mathematics itself makes this study both broad and unique among its philosophical counterparts. | ||
+ | |||
+ | The terms ''philosophy of mathematics'' and ''mathematical philosophy'' are frequently used interchangeably. The latter, however, may be used to refer to several other areas of study. One refers to a project of formalizing a philosophical subject matter, say, [[aesthetics]], [[ethics]], [[logic]], [[metaphysics]], or [[theology]], in a purportedly more exact and rigorous form, as for example the labors of [[scholasticism|scholastic]] [[theologian]]s, or the systematic aims of [[Gottfried Wilhelm Leibniz|Leibniz]] and [[Spinoza]]. Another refers to the working philosophy of an individual practitioner or a like-minded community of practicing [[mathematicians]]. Additionally, some understand the term "mathematical philosophy" to be an [[allusion]] to the approach to the foundations of mathematics taken by [[Bertrand Russell]] in his books ''[[The Principles of Mathematics]]'' and ''[[Introduction to Mathematical Philosophy]]''. | ||
+ | |||
==See also== | ==See also== | ||
- | {{col-begin}} | ||
- | {{col-break|width=24%}} | ||
* [[Axiomatic set theory]] | * [[Axiomatic set theory]] | ||
* [[Axiomatic system]] | * [[Axiomatic system]] | ||
Line 11: | Line 13: | ||
* [[Foundations of mathematics]] | * [[Foundations of mathematics]] | ||
* [[Golden ratio]] | * [[Golden ratio]] | ||
- | {{col-break|width=24%}} | ||
* [[History of mathematics]] | * [[History of mathematics]] | ||
* [[Intuitionistic logic]] | * [[Intuitionistic logic]] | ||
Line 20: | Line 21: | ||
* [[Mathematical proof]] | * [[Mathematical proof]] | ||
* [[Metamathematics]] | * [[Metamathematics]] | ||
- | {{col-break|width=24%}} | ||
* [[Model theory]] | * [[Model theory]] | ||
* [[Naive set theory]] | * [[Naive set theory]] | ||
Line 29: | Line 29: | ||
* [[Proof theory]] | * [[Proof theory]] | ||
* [[Rule of inference]] | * [[Rule of inference]] | ||
- | {{col-break}} | ||
* [[Science studies]] | * [[Science studies]] | ||
* [[Scientific method]] | * [[Scientific method]] | ||
Line 36: | Line 35: | ||
* [[Truth]] | * [[Truth]] | ||
*[[Ultimate ensemble]] | *[[Ultimate ensemble]] | ||
- | {{col-end}} | ||
===Related works=== | ===Related works=== | ||
- | {{col-begin}} | ||
- | {{col-break}} | ||
* ''[[The Analyst]]'' | * ''[[The Analyst]]'' | ||
* [[Euclid's Elements|Euclid's ''Elements'']] | * [[Euclid's Elements|Euclid's ''Elements'']] | ||
* [[Original proof of Gödel's completeness theorem|Gödel's completeness theorem]] | * [[Original proof of Gödel's completeness theorem|Gödel's completeness theorem]] | ||
* ''[[Introduction to Mathematical Philosophy]]'' | * ''[[Introduction to Mathematical Philosophy]]'' | ||
- | {{col-break}} | ||
* ''[[New Foundations]]'' | * ''[[New Foundations]]'' | ||
* ''[[Principia Mathematica]]'' | * ''[[Principia Mathematica]]'' |
Revision as of 11:39, 17 June 2017
Related e |
Featured: |
The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics, and to provide a viewpoint of the nature and methodology of mathematics and to understand the place of mathematics in people's lives. The logical and structural nature of mathematics itself makes this study both broad and unique among its philosophical counterparts.
The terms philosophy of mathematics and mathematical philosophy are frequently used interchangeably. The latter, however, may be used to refer to several other areas of study. One refers to a project of formalizing a philosophical subject matter, say, aesthetics, ethics, logic, metaphysics, or theology, in a purportedly more exact and rigorous form, as for example the labors of scholastic theologians, or the systematic aims of Leibniz and Spinoza. Another refers to the working philosophy of an individual practitioner or a like-minded community of practicing mathematicians. Additionally, some understand the term "mathematical philosophy" to be an allusion to the approach to the foundations of mathematics taken by Bertrand Russell in his books The Principles of Mathematics and Introduction to Mathematical Philosophy.
See also
- Axiomatic set theory
- Axiomatic system
- Category theory
- Definitions of mathematics
- Formal language
- Formal system
- Foundations of mathematics
- Golden ratio
- History of mathematics
- Intuitionistic logic
- Logic
- Mathematical beauty
- Mathematical constructivism
- Mathematical logic
- Mathematical proof
- Metamathematics
- Model theory
- Naive set theory
- Non-standard analysis
- Philosophy of language
- Philosophy of science
- Philosophy of probability
- Proof theory
- Rule of inference
- Science studies
- Scientific method
- Set theory
- The Unreasonable Effectiveness of Mathematics in the Natural Sciences
- Truth
- Ultimate ensemble
Related works
- The Analyst
- Euclid's Elements
- Gödel's completeness theorem
- Introduction to Mathematical Philosophy
- New Foundations
- Principia Mathematica
- The Simplest Mathematics
Historical topics