answersLogoWhite

0


Best Answer

You start with a set of definitions and "self evident" axioms. These cannot be proven or disproved.

Using the rules of mathematical logic you then deduce other statements theorems). If the axioms are true, then these theorems must also be true. You can then use the axioms and the theorems to derive more true statements and so on. Once proven, you can assume that they are true without having to go back to the axioms every time.

Euclid formalised geometry in this fashion and all was well until his parallel postulate (an axiom) was questioned. The original was phrased differently (and in Egyptian, I guess), but it can be paraphrased as follows:

"Given a straight line and a point outside the line, there is exactly one line that goes through the point and is parallel to the original line."

Mathematicians in the 19th century found that they could develop axiomatic geometries replacing this postulate with its two alternatives: no parallel lines or many parallel lines, along with the other Euclidean axioms. They found that these geometries were wholly consistent.

So, you could have a perfectly good axiomatic geometry with Euclid's parallel postulate as well as with its negations!

Bertrand Russell tried to do the same for mathematics but failed. Then, in 1931 Kurt Godel showed that Russell's project was doomed from the start. Godel's incompleteness theorem proved that any (non-trivial) axiomatic system that was capable of arithmetic had to have statements which could be true and false - both versions were valid within the system.

However, you would need to be working with mathematics at a very high level before you need to deal with the issue of incomleteness.

User Avatar

Wiki User

βˆ™ 12y ago
This answer is:
User Avatar

Add your answer:

Earn +20 pts
Q: How do you know that various mathematical statements are true?
Write your answer...
Submit
Still have questions?
magnify glass
imp
Related questions

Mathematical statements that are assumed to be true are called?

postulate


What is a mathematical statement that can be shown to be true by using previous statements?

pascals theory


What is a mathematical statement that can be shown to be true using previously proven statements?

Such a statement is called a theorem.true


If anybody know about mathematics everything can you say that he know every subject?

No. According to Godel's incompleteness theorem, in any mathematical system there must be statements that cannot be proven to be true or false. You simply cannot know!


How long to know all the mathematics?

Longer than you or anyone else will live! Thanks to Godel, there are statements about mathematical systems such that neither they, not their negation, can ever be proven to be true. This allows a whole new family of mathematical thinking to develop.


Which of these statements was proven true by the voyage?

Without know what statements you are referring to we cannot answer.


What is a proof in math?

"In mathematics, a proof is a demonstration that if some fundamental statements (axioms) are assumed to be true, then some mathematical statement is necessarily true." (from Wikipedia)


Which of these statements is true about Indian burial mounds?

They were built at various times throughout the Americas.


What is composed of two values and relation operator that are true or false?

Mathematical or logical statements. Such as: 5 > 7 or 3 is a factor of 93 or 6 = 12


Is mathematics flawed?

No. If you work within its definitions and the rules of logic it is not flawed. There are mathematical statements that you cannot prove to be true or false (Godel's incompleteness theorem), but that is not a flaw.


What is used to the steps of a geometric proof?

we use various theorems and laws to prove certain geometric statements are true


Statements that are true for any number?

Identities are statements that are true for any number.