# Proving that nothing does not exist

1. Nov 2, 2012

### charlie_sheep

I applied some mathematical view to the daily language while studying demonstration.

Proving that nothing does not exist

Consider the following hypothesis by definition:

1. (There's nothing) -> (There's the absence of everything)
2. (There's nothing) -> (There's the absence of everything) -> (There's the absence of the absence of everything)¹ -> (There's everything) -> ~(There's the absence of everything)
And consider the following hypothesis by logic:
3. (There's nothing) v ~(There's nothing)²
4. ~[(There's the absence of everything) ^ ~(There's the absence of everything)]³
By 1 and 2, we have:
5. (There's nothing) -> (There's the absence of everything) ^ ~(There's the absence of everything)
By 5 and 3, we have:
6. [(There's the absence of everything) ^ ~(There's the absence of everything)] v ~(There's nothing)
By 6 and 4, we have:
7. ~(There's nothing)
Q.E.D.

¹ - Cause "everything" includes the "absence of everything", since "absence of everything" is something.
² - Law of excluded middle

As a result, the space is not full of nothing. Cause nothing does not exist.

Is the demonstration right?

2. Nov 3, 2012

### HallsofIvy

Staff Emeritus
Was this a joke? Because all you have is one long play on words.

3. Nov 3, 2012

### charlie_sheep

No, it's not a joke.

Long play on words you say, so let me take off the words:

Let A and B be propositions.

Proving ~A

Consider the following hypothesis by definition:

1. A -> B
2. A -> ~B
And consider the following hypothesis by logic:
3. (A v ~A)²
4. ~(B ^ ~B)³
By 1 and 2, we have:
5. A -> (B ^ ~B)
By 5 and 3, we have:
6. (B ^ ~B) v ~A
By 6 and 4, we have:
7. ~A
Q.E.D.

² - Law of excluded middle

4. Nov 3, 2012

### Mute

From these two lines it follows that B and ~B, giving you a contradiction. Given a contradiction, you can derive any conclusion.

5. Nov 3, 2012

### micromass

Staff Emeritus
This does not meet our guidelines.