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

You are not logged in.

- Topics: Active | Unanswered

- Index
- » Euler Avenue
- »
**Proof**

Pages: **1**

**{7/3}****Member**- Registered: 2013-02-11
- Posts: 210

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

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

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

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

Offline

**{7/3}****Member**- Registered: 2013-02-11
- Posts: 210

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

**barbie19022002****Member**- Registered: 2013-05-24
- Posts: 1,314

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

**{7/3}****Member**- Registered: 2013-02-11
- Posts: 210

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

**barbie19022002****Member**- Registered: 2013-05-24
- Posts: 1,314

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/3}****Member**- Registered: 2013-02-11
- Posts: 210

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

**{7/3}****Member**- Registered: 2013-02-11
- Posts: 210

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

Pages: **1**

- Index
- » Euler Avenue
- »
**Proof**