Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2013-05-25 01:09:51

{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.

Offline

#2 2013-05-25 05:43:35

bob bundy
Moderator
Registered: 2010-06-20
Posts: 6,539

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 smile

Bob


You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

Offline

#3 2013-05-25 13:10:55

{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.

Offline

#4 2013-05-25 16:36:16

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...

Offline

#5 2013-05-25 17:29:00

{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.

Offline

#6 2013-05-25 17:30:50

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...

Offline

#7 2013-05-25 17:59:33

{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.

Offline

#8 2013-05-25 18:02:15

{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.

Offline

Board footer

Powered by FluxBB