Mathematical logic and foundations Philosophical questions and foundational programs Concept
Formalism
Summary
Formalism is the view that mathematics is about formal systems: strings of symbols and the rules that transform them. On this view, a theorem is a string derived from the axioms by the rules. It need not describe any abstract objects. David Hilbert is the name most linked with formalism, through Hilbert's program. It is one of the classical answers in the foundations of mathematics.
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | 46JCQ6KDA4 |
|---|---|
| URI | m2://46JCQ6KDA4 |
| Kind | concept |
| Writing | W0 stub |
| MSC | 03A05 |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.