Jump to content

Can you proof proof?


Recommended Posts

You start with some axioms which are assumed to be true and derive logical consequences because the axioms are taken to be true.

 

But you have to "assume" they are true. Is there any way you can actually prove those assumptions that something proves something?

Link to comment
Share on other sites

You gotta start somewhere. Axioms, by definition, are not meant to be provable. They are taken to be true. Without them, what can you even do? Axioms are obviously driven by things we observe and find useful. But, there is no proving them. If they could be proven, they would be based on other axioms, and wouldn't be axioms themselves. Like I said, gotta start somewhere.

Link to comment
Share on other sites

  • 2 weeks later...

There are two approaches, One is that you want to prove that something is valid .. so you start from mathematics axioms (things we

 

know are certain true) and try to derive logically that something.

 

Just like what Bignose said "Axioms, by definition, are not meant to be provable. They are taken to be true.",

 

axioms of mathematics were considered as a unified system, such that there wouldn't exist P and not P at the same time,

 

that's part of history, mathematicians who worked for unifying all mathematics like David Hilbert and others.

 

The other one is that you want to prove that two things can form a valid model, in which one can be derived from the other,

 

and they don't contradict, in other words, it has to be valid and consistent.

 

And to make sure that it's valid, you try logical derivation in both directions ...

Edited by khaled
Link to comment
Share on other sites

But you have to "assume" they are true. Is there any way you can actually prove those assumptions that something proves something?

No. An axiom is a proposition regarded as self-evidently true without proof, also called a postulate. Consider for example Euclid's first postulate, a straight line segment can be drawn joining any two points.

Link to comment
Share on other sites

No. An axiom is a proposition regarded as self-evidently true without proof, also called a postulate. Consider for example Euclid's first postulate, a straight line segment can be drawn joining any two points.

 

But that isn't true, we can observe that because of the warping of the fabric of space that that isn't true. In fact, it's never true because wherever your trying to draw a straight line, there is gravity distorting the fabric of space.

Link to comment
Share on other sites

But that isn't true, we can observe that because of the warping of the fabric of space that that isn't true. In fact, it's never true because wherever your trying to draw a straight line, there is gravity distorting the fabric of space.

 

Euclid probably wasn't aware of the curvature of spacetime. ;)

 

There are others geometries we can use to deal with such things, though Euclidean geometry is still fairly useful, of course.

 

You might want to read through the Wikipedia article on "axiom."

Edited by John
Link to comment
Share on other sites

  • 1 month later...

And how can statements be demonstrated true??

 

because they follow based on the axioms taken to be true. You may want to look into some of the documents on Introduction to Proof, or Introduction to Logic or similar books/webpages.

Link to comment
Share on other sites

But that isn't true, we can observe that because of the warping of the fabric of space that that isn't true. In fact, it's never true because wherever your trying to draw a straight line, there is gravity distorting the fabric of space.

 

 

And in a curved space-time plane, the Euclidean axioms would not hold true, but there would be other axioms used in their place. An axiom is only useful (and accepted as true) in the framework it's defined in.

 

Some other Euclidean postulates (from Wikipedia):

  • A straight line may be extended to any finite length.
  • A circle may be described with any given point as its center and any distance as its radius.
  • All right angles are congruent.

I'm sure some of these would also fall by the way side in a non-Euclidean space, but when you're dealing with flat surfaces they all hold true.

Link to comment
Share on other sites

because they follow based on the axioms taken to be true. You may want to look into some of the documents on Introduction to Proof, or Introduction to Logic or similar books/webpages.

 

I did not ask why ,but how can statements along a proof be demonstrated to be true.

 

Any way thanks for the help so far.

 

I did a google journey but it was not very satisfactory. Everything is so obscure and not very clear w.r.t the mechanisms of a proof.

 

I wander is it so difficult to really analyse a mathematical proof??

 

I also wander what are the constituents of a mathematical proof

Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.