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
Registered: 2010-06-20
Posts: 8,075

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

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