Math as about axioms and proofs (well-formed finite strings), and is often a useful tool in mapping the territory, but it is just that, one of the tools.
Your formalist ideology is noted, but please don’t state its (disputable) claims as clear truths.
Your formalist ideology is noted, but please don’t state its (disputable) claims as clear truths.
Not sure what you mean by “formalist”, or ” claims as clear truth”, but feel free to provide a different definition of mathematics acceptable to a mathematician.
Mathematics seemingly studies mathematical structures, guided by rather elusive criteria for what is worth studying, with axioms and proofs not obviously constituting the whole of its focus. In philosophy of mathematics, asserting that only formal statements and proofs make sense is known as formalism:
It has been claimed that “Formalists, such as David Hilbert, hold that mathematics is no more or less than mathematical language. It is simply a series of games...”
Your formalist ideology is noted, but please don’t state its (disputable) claims as clear truths.
Not sure what you mean by “formalist”, or ” claims as clear truth”, but feel free to provide a different definition of mathematics acceptable to a mathematician.
Mathematics seemingly studies mathematical structures, guided by rather elusive criteria for what is worth studying, with axioms and proofs not obviously constituting the whole of its focus. In philosophy of mathematics, asserting that only formal statements and proofs make sense is known as formalism: