Math Is Fun Forum

{7/3}

Member

Registered: 2013-02-11

Posts: 210

Proof

If someone were to write all the proofs in mathematics(logic,sets,numbers,geometry,groups etc)then what should he write first (as a proof is constructed on other proofs) ? What i mean is what is the absolutely first proof/proposition ?

Last edited by {7/3} (2013-05-25 01:11:37)

---

There are 10 kinds of people in the world,people who understand binary and people who don't.

Bob

Administrator

Registered: 2010-06-20

Posts: 10,621

Re: Proof

hi

Personally, I don't think there is a first proof.  A mathematical topic may be self contained and not require anything from other areas of maths.  There have been attempts to answer this question using set theory and logic.  A good place to start would be

http://en.wikipedia.org/wiki/Foundations_of_mathematics

There's enough starting points there to keep you busy for a few years

Bob

---

Children are not defined by school ...........The Fonz
You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei
Sometimes I deliberately make mistakes, just to test you!  …………….Bob

{7/3}

Member

Registered: 2013-02-11

Posts: 210

Re: Proof

So, you are saying these basic concepts are independent?

---

There are 10 kinds of people in the world,people who understand binary and people who don't.

barbie19022002

Member

Registered: 2013-05-24

Posts: 1,314

Re: Proof

I think all the basic concepts are dependent on one another......

---

Jake is Alice's father, Jake is the ________ of Alice's father?
Why is T called island letter?
think, think, think and don't get up with a solution...

{7/3}

Member

Registered: 2013-02-11

Posts: 210

Re: Proof

Every concept has a starting proposition,to prove this proposition you cannot use the concept since it doesn't have anything yet,after thinking a bit i saw that these starting propositions are proved using logical methods,that means every concept depends on logic.

---

There are 10 kinds of people in the world,people who understand binary and people who don't.

barbie19022002

Member

Registered: 2013-05-24

Posts: 1,314

Re: Proof

You mean concept and logic both are dependent on each other.......

---

Jake is Alice's father, Jake is the ________ of Alice's father?
Why is T called island letter?
think, think, think and don't get up with a solution...

{7/3}

Member

Registered: 2013-02-11

Posts: 210

Re: Proof

I mean,lots of concepts depend on logic,i don't know if logic depends on other concepts

---

There are 10 kinds of people in the world,people who understand binary and people who don't.

{7/3}

Member

Registered: 2013-02-11

Posts: 210

Re: Proof

If logic is the first concept,then the first proposition is of logic(even this assumption is made by logic)

---

There are 10 kinds of people in the world,people who understand binary and people who don't.