This commit is contained in:
Miloslav Ciz 2023-09-26 19:46:43 +02:00
parent 934030b887
commit e1b62dedf6
3 changed files with 3 additions and 3 deletions

View file

@ -1,6 +1,6 @@
# Mathematics
Mathematics (also math or maths) is the best [science](science.md) (yes, it is a formal science), which deals with [numbers](number.md), abstract structures and [logic](logic.md) in as rigorous and objective way as possible. In fact it's the only true science that can actually prove things. It is immensely important in [programming](programming.md) and [computer science](compsci.md).
Mathematics (also math or maths) is the best [science](science.md) (yes, it is a formal science), which deductively deals with [numbers](number.md), abstract structures and [logic](logic.md) in as rigorous and objective way as possible. In fact it's the only true science that can actually prove things. It is immensely important in [programming](programming.md) and [computer science](compsci.md).
Some see math not as a science but rather a discipline that develops formal tools for "true sciences". The reasoning is usually that a science has to use [scientific method](scientific_method.md), but that's a limited view as scientific method is not the only way of obtaining reliable knowledge. Besides that math can and does use the principles of scientific method -- mathematicians first perform "experiments" with numbers and generalize into [conjectures](conjecture.md) and later "strong beliefs", however this is not considered [good enough](good_enough.md) in math as it actually has the superior tool of [proof](proof.md) that is considered the ultimate goal of math. I.e. math relies on [deductive](deduction.md) reasoning (proof) rather than less reliable [inductive](induction.md) reasoning (scientific method) -- in this sense mathematics is more than a science.