home | alphabetical index | |||||||

## Foundations of mathematicsThe term "foundations of mathematics" is sometimes used for certain fields of mathematics itself, namely for mathematical logic, axiomatic set theory, proof theory and model theory. The search for foundations of mathematics is however also the central question of the philosophy of mathematics: on what ultimate basis can mathematical statements be called "true"?The current dominant mathematical paradigm is based on axiomatic set theory and formal logic. Virtually all mathematical theorems today can be formulated as theorems of set theory. The truth of a mathematical statement, in this view, is then nothing but the claim that the statement can be derived from the axioms of set theory using the rules of formal logic. This formalistic approach does not explain several issues: why we should use the axioms we do and not some others, why we should employ the logical rules we do and not some other, why "true" mathematical statements (e.g., the laws of arithmetic) appear to be true in the physical world. This was called "The unreasonable effectiveness of mathematics in the physical sciences" by Eugene Wigner in 1960.
The above mentioned notion of formalistic truth could also turn out to be rather pointless: it is perfectly possible that
In mathematical realism, sometimes called Platonism, the existence of a world of mathematical objects independent of humans is postulated; the truths about these objects are Some modern theories in the philosophy of mathematics deny the existence of foundations in the original sense. Some theories tend to focus on mathematical practice, and aim to describe and analyze the actual working of mathematicians as a social group. Others try to create a cognitive science of mathematics, focusing on human cognition as the origin of the reliability of mathematics when applied to the 'real world'. These theories would propose to find foundations only in human thought, not in any 'objective' outside construct. The matter remains controversial.
## See also:## Sources
- "The Unreasonable Effectiveness of Mathematics in the Natural Sciences", Eugene Wigner, 1960
- "What is mathematical truth", Hilary Putnam, 1975
- "Mathematics as an objective science", Nicholas D. Goodman, 1979
- "Some proposals for reviving the philosophy of mathematics", Reuben Hersh, 1979
- "Challenging foundations", Thomas Tymoczko, 1986, preface to first section of "New Directions in the Philosophy of Mathematics", 1986 and (revised) 1998, which includes also Putnam, Goodman, Hersh.
## External links
| |||||||

copyright © 2004 FactsAbout.com |