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

You are not logged in.

- Topics: Active | Unanswered

Wait... Who said I cannot prove it?

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline

**bob bundy****Moderator**- Registered: 2010-06-20
- Posts: 7,613

ShivamS wrote:

A theory is usually supported by some empirical evidence.

Often the case, but not essential. But just to satisfy you; here are some worthy questions:

(1) What is bobbym's real age ?

(2) What is your favourite colour ?

(3) Where on Earth is the place that is furthest from the centre of the Earth ?

(4) Is this question worthy ?

Can you give an example of a question that is not worthy ? And even if you can, you would be wrong (sorry ) because your example breaks the first axiom of the theory.

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

**bob bundy****Moderator**- Registered: 2010-06-20
- Posts: 7,613

Btw. The answer to Q3 is not Mount Everest.

B

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

**ShivamS****Member**- Registered: 2011-02-07
- Posts: 3,648

bob bundy wrote:

Often the case, but not essential. But just to satisfy you; here are some worthy questions:

(1) What is bobbym's real age ?

(2) What is your favourite colour ?

(3) Where on Earth is the place that is furthest from the centre of the Earth ?

(4) Is this question worthy ?

Can you give an example of a question that is not worthy ? And even if you can, you would be wrong (sorry ) because your example breaks the first axiom of the theory.

Bob

1. 12

2. I do not know.

3. Of course not. I know enough physics (this pops up in geophysics) to know that it is Chimborazo in Ecuador.

Axioms outside of mathematics do not exist.

*Last edited by ShivamS (2014-05-20 08:37:44)*

Offline

**bob bundy****Moderator**- Registered: 2010-06-20
- Posts: 7,613

ShivamS wrote:

There are only 9 axioms. Axioms outside of mathematics do not exist.

Hhmmm. This is another theory ???

(1) 9 axioms ? Please list them.

(2) Kinetic theory of gases for a start. Oh yes, I believe cosmologists may have a few too. What about Descartes ? "I think therefore I am."

Bob

Well done for the answer to Q3.

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

**anonimnystefy****Real Member**- From: Harlan's World
- Registered: 2011-05-23
- Posts: 16,015

I do not agree with either answer to Q3. You have not defined which measure for distance we are using, so I will say that it's probably Atlas mountain.

I'm not sure hiw many axiims there are in math, though. I know that we have 9 in geometry.

Here lies the reader who will never open this book. He is forever dead.

Taking a new step, uttering a new word, is what people fear most. ― Fyodor Dostoyevsky, Crime and Punishment

The knowledge of some things as a function of age is a delta function.

Offline

**ShivamS****Member**- Registered: 2011-02-07
- Posts: 3,648

I was talking about the field axioms.

(1) Addition is commutative.

(2) Addition is associative.

(3) There exists an additive identity 0.

(4) Existence of additive inverses (opposites).

(5) Multiplication is commutative.

(6) Multiplication is associative.

(7) There exists a multiplicative identity 1.

(8) Existence of multiplicative inverses (except for 0).

(9) Distributivity of multiplication over addition.

Speaking of cosmology, I am planning to have a career in quantum cosmology.

*Last edited by ShivamS (2014-05-20 08:38:11)*

Offline

**bob bundy****Moderator**- Registered: 2010-06-20
- Posts: 7,613

Stefy wrote:

...which measure for distance...

I don't understand. I thought if x was furthest when measured in inches, it was also furthest when measured in kilometres, etc.

So that needs further explanation for me.

Here's what wiki says:

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

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

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

As I asked 'furthest from the centre' I think it's Chimborazo.

As for 9 axioms of fields; yes 9; but you cannot do any number theory without the axioms of set theory and logic too.

eg

def. 1 + 1 = 2

def 1 + 2 = 3

def 1 + 3 = 4

Theorem:

2 + 2 = 4

2 + 2 = (1 + 1) + 2 (using substitution ... not one of 9)

= 1 + ( 1 + 2) ( associativity)

= 1 + 3 (using substitution)

= 4 (using substitution)

So you cannot do even simple arithmetic with additional axioms.

Bob

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

Offline

**ShivamS****Member**- Registered: 2011-02-07
- Posts: 3,648

Of course, the total amount of usually considered axioms are in the hundreds.

Offline

Theorem: All Questions are worthy

Proof: First, we have already seen that Bob has produced a lot of worthy questions, therefore worthy questions exist.

Now, Let us on the contrary assume that there exists some questions which are non-worthy.

We now have seen that there are questions of variable worth.

List all questions that exist in order of their worth. Clearly, this list is countable. There must be a question that is the worthiest of all non-worthy question.

But this is again a worthy subject to study. hence, the question must be interesting too.

So, that question is not non-worthy. This process can be repeated countable times to prove that all of them in the list are worthy.

QED

I don't understand. I thought if x was furthest when measured in inches, it was also furthest when measured in kilometres, etc.

He was asking about what DistanceFunction to use. You can have Euclidean Distance, Chess Board Distance, Hamming Distance, etc.

*Last edited by Agnishom (2014-05-20 12:36:38)*

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline

**ShivamS****Member**- Registered: 2011-02-07
- Posts: 3,648

*Last edited by ShivamS (2014-05-20 23:49:55)*

Offline

You need another colon after the last l

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

I'm not crazy, my mother had me tested.

Offline