Foundations of mathematics



         


The term "foundations of mathematics" is sometimes used for certain fields of mathematics itself, namely for mathematical logic, axiomatic set theory, proof theory, model theory, and recursion 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 natural 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 all statements, even contradictions, can be derived from the axioms of set theory. Moreover, as a consequence of 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.

[Top]

See also:

[Top]

Sources


[Top]




  View Live Article   This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License