= Formalism (philosophy of mathematics)
{wiki=Formalism_(philosophy_of_mathematics)}
Formalism is a philosophy of mathematics that emphasizes the role of formal systems and symbolic manipulation in mathematical reasoning. It asserts that mathematics is not about the meaning of mathematical objects or concepts but rather about the manipulation of symbols according to prescribed rules. Here are some key points about formalism in the philosophy of mathematics: 1. **Symbols and Rules**: In formalism, mathematical statements and proofs are seen as strings of symbols that can be manipulated according to specific syntactical rules.
Back to article page
