Difference between revisions of "Metamathematics"
Line 1: | Line 1: | ||
Metamathematics is the study of proofs. While mathematicians come up with axioms and try to prove things, metamathematicians look at the axioms and make comments about them like "Are you sure that that axiom won't result in a contradiction?" or "I don't think you need that last axiom." | Metamathematics is the study of proofs. While mathematicians come up with axioms and try to prove things, metamathematicians look at the axioms and make comments about them like "Are you sure that that axiom won't result in a contradiction?" or "I don't think you need that last axiom." | ||
+ | |||
+ | ==Uncomputable things== | ||
+ | |||
+ | Most of the math in other parts of the wiki can all be done, for example bisecting an angle with straightedge and compass or solving a cubic, but some things we can't do, like trisect an angle with straightedge and compass, or make a quintic formula. | ||
{{stub}} | {{stub}} |
Latest revision as of 16:54, 26 July 2024
Metamathematics is the study of proofs. While mathematicians come up with axioms and try to prove things, metamathematicians look at the axioms and make comments about them like "Are you sure that that axiom won't result in a contradiction?" or "I don't think you need that last axiom."
Uncomputable things
Most of the math in other parts of the wiki can all be done, for example bisecting an angle with straightedge and compass or solving a cubic, but some things we can't do, like trisect an angle with straightedge and compass, or make a quintic formula.
This article is a stub. Help us out by expanding it.