| View previous topic :: View next topic |
| Author |
Message |
Sal1981 Do you hear me now?

Joined: 23 Mar 2006 Posts: 2799 Local time: 12:42 AM Location: Behind the computer

|
Posted: Mon Mar 24, 2008 12:23 pm Post subject: ø = {ø} |
|
|
I know I lack the Number Theory, but bear with me.
This is only preliminary, so take it with a grain of salt.
Basically it's about a new math theory.
If you understand then 0 (Zero) is actually not a number, but the lack of a number. Which is why you can have a Zero-Set that is: 0 = {0,0,0, ... , 0} as well.
The <0> simply means "right and/or wrong follows as ..." _________________ "The first principle is that you must not fool yourself - and you are the easiest person to fool" --- Richard P. Feynman
"Why not just make your null hypothesis be that..." - Philosophos |
|
| Back to top |
|
 |
|
|
 |
Chaoslord2004 Philosopher & Logician

Joined: 29 Aug 2004 Posts: 8430 Local time: 7:42 PM Location: Minnesota
|
Posted: Sat Aug 09, 2008 11:40 am Post subject: |
|
|
I'm not sure I entirely understand your new mathematical idea, but I do know in adopting it, one would have to through up basic set theoretic notions. Most importantly, the notion that 0 is the empty set, and then building numbers up from there:
0 = []
1 = [[]]
2 = [[[]]]
3 = [[[[]]]]
.
.
.
.
This seems like an intuitively bad idea, since set theory forms the basis for mathematics. All discussion of mathematics can be reduced to talking about set membership and its relations to subsets. _________________ An artist sees beauty in a painting. I see beauty in a logical proof.
"All error is due to extraneous factors, reason itself does not err"
~Kurt Gödel |
|
| Back to top |
|
 |
Knight_of_BAAWA Jedi Slackmaster

Joined: 08 Mar 2003 Posts: 10021 Local time: 6:42 PM Location: USA
|
Posted: Mon Aug 11, 2008 10:56 pm Post subject: |
|
|
*doesn't want to be reminded of the 8-page proofs demonstrating that something is an abelian group* _________________ aa #51, DNRC o-, Member of the [H]orde
Atheist Minister for St. Dogbert.
"No being is so important that he can usurp the rights of another"
Picard to Data/Graves "The Schizoid Man" |
|
| Back to top |
|
 |
Chaoslord2004 Philosopher & Logician

Joined: 29 Aug 2004 Posts: 8430 Local time: 7:42 PM Location: Minnesota
|
Posted: Mon Aug 11, 2008 10:59 pm Post subject: |
|
|
| Knight_of_BAAWA wrote: | | *doesn't want to be reminded of the 8-page proofs demonstrating that something is an abelian group* |
What about the monster proofs in Principia Mathematica demonstrating 1 + 1 = 2?
I remember having to prove that in my mathematical logic class...it is actually harder than you think. _________________ An artist sees beauty in a painting. I see beauty in a logical proof.
"All error is due to extraneous factors, reason itself does not err"
~Kurt Gödel |
|
| Back to top |
|
 |
Dragonfall Intern


Joined: 08 Apr 2007 Posts: 53 Local time: 7:42 PM
|
Posted: Mon Sep 01, 2008 2:36 am Post subject: |
|
|
I haven't posted here for a while so I might be digging up old threads.
What you described in your title, x={x} (the empty set is not equal to the set containing the empty set, so I assume you're using that symbol as a variable), is what mathematicians call "non-well-founded sets". In standard set theory all sets are well-founded, which in practice means that they don't contain themselves, and they don't contain an infinite downward chain of sets containing sets. Non-well-founded sets are studied on the fringes of mathematics because pretty much everything there is to know about them is known. I suggest reading "Non-Well-Founded Sets" by Peter Aczel. |
|
| Back to top |
|
 |
jaycorath Laziness Personified

Joined: 05 Sep 2004 Posts: 3566 Local time: 4:42 PM Location: Los Angeles
|
Posted: Mon Sep 01, 2008 3:30 am Post subject: |
|
|
| Knight_of_BAAWA wrote: | | *doesn't want to be reminded of the 8-page proofs demonstrating that something is an abelian group* |
my thoughts, exactly
| Chaoslord2004 wrote: | | Knight_of_BAAWA wrote: | | *doesn't want to be reminded of the 8-page proofs demonstrating that something is an abelian group* |
What about the monster proofs in Principia Mathematica demonstrating 1 + 1 = 2?
I remember having to prove that in my mathematical logic class...it is actually harder than you think. |
Oh man, I never had to do 1 + 1 = 2, but I've seen the proof and its a giant pain in the ass. But I did get to do some wonderful, headache-giving, proofs much like that. As fascinating and elegant as proofs are, I am sooo glad I don't ever have to do that shit again! _________________ "There's a new sheriff in town, and he's dedicated to fiscal discipline"
-Ari Fleischer, of Pres. Bush, 10/18/2002
"I love and treasure individuals as I meet them; I loathe and despise the groups they identify with and belong to" -George Carlin
Celebrant: Forgive us, Lord, for this, our dreadful toadying.
Congregation: And bare-faced flattery.
--Monty Python's The Meaning of Life |
|
| Back to top |
|
 |
|
|
|