| View previous topic :: View next topic |
| Author |
Message |
Chaoslord2004 Logician

Joined: 29 Aug 2004 Posts: 8411 Local time: 8:49 AM Location: Minnesota
|
Posted: Fri Sep 05, 2008 6:47 pm Post subject: Set Theory |
|
|
Set Theory
I hope this can be a thread where meaningful discussion of Set Theory can take place. _________________ 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 |
|
 |
|
|
 |
abstract atheist Forum Leader


Joined: 02 Sep 2008 Posts: 526 Local time: 8:49 AM Location: Austin, Texas

|
Posted: Fri Sep 05, 2008 7:06 pm Post subject: |
|
|
I like set theory. I don't know much about it, but it has cool words like uncountably infinite. But as a theoretical physisist, I often ask myself what it's physical implications are. In particular, is it really possible to have an infinite amount of anything? I don't think so. But I guess you only want to discuss set theory from a mathematical perspective. From what I've read in analysis books, it blows my mind just to think about it. _________________ The world holds two classes of men - intelligent men without religion, and religious men without intelligence. - Abu’l‐Ala al Ma’arri
Give a man a fish and he will eat for a day; teach a man to fish and he will eat for a lifetime; give a man religion and he will die praying for a fish.
Father: Son, I don't want you hanging around Steve any more, I think he might be gay.
Son: He better be gay, he's my boyfriend. |
|
| Back to top |
|
 |
Chaoslord2004 Logician

Joined: 29 Aug 2004 Posts: 8411 Local time: 8:49 AM Location: Minnesota
|
Posted: Fri Sep 05, 2008 7:16 pm Post subject: |
|
|
| abstract atheist wrote: | | it blows my mind just to think about it. |
Thats whats so interesting about it. It is on the borderline of what is thinkable. _________________ 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 |
|
 |
abstract atheist Forum Leader


Joined: 02 Sep 2008 Posts: 526 Local time: 8:49 AM Location: Austin, Texas

|
Posted: Fri Sep 05, 2008 8:12 pm Post subject: |
|
|
Here is something that has always bothered me. Consider these three sets:
1.) The Cantor set
2.) the interval (0,1) of the real line
3.) the real line
All 3 of those sets have the same cardnality, but one has a length of zero, one has length of 1, and one has length of infinity. Ahhhhhhhhhhh!!! It reminds me of the following conversation.
MIRANDA: How much do you love me?
DEREK: This much *holds thumb and index finger up, separated by about 1 inch*
MIRANDA: That's not very much.
DEREK: There's an infinite number of points between these fingers, and room enough to fit the sun. _________________ The world holds two classes of men - intelligent men without religion, and religious men without intelligence. - Abu’l‐Ala al Ma’arri
Give a man a fish and he will eat for a day; teach a man to fish and he will eat for a lifetime; give a man religion and he will die praying for a fish.
Father: Son, I don't want you hanging around Steve any more, I think he might be gay.
Son: He better be gay, he's my boyfriend. |
|
| Back to top |
|
 |
Chaoslord2004 Logician

Joined: 29 Aug 2004 Posts: 8411 Local time: 8:49 AM Location: Minnesota
|
Posted: Fri Sep 05, 2008 8:14 pm Post subject: |
|
|
| abstract atheist wrote: |
MIRANDA: How much do you love me?
DEREK: This much *holds thumb and index finger up, separated by about 1 inch*
MIRANDA: That's not very much.
DEREK: There's an infinite number of points between these fingers, and room enough to fit the sun. |
Infinitesimals get em every time  _________________ 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 |
|
 |
abstract atheist Forum Leader


Joined: 02 Sep 2008 Posts: 526 Local time: 8:49 AM Location: Austin, Texas

|
Posted: Sat Sep 06, 2008 11:14 pm Post subject: Re: Set Theory |
|
|
| Chaoslord2004 wrote: | Set Theory
I hope this can be a thread where meaningful discussion of Set Theory can take place. |
I would like to learn set theory so that I can contribute to this thread, but I am taking a quantum field theory class and I can only handle 1 mind blowing concept at a time. But both my best friend and my roommate seem really into math, and they seem to be talking about set theory all the time. It's amazing how a collection of objects can cause so much trouble. But it's something I want to learn. But answer me this: Can you give me a cup with an infinite number of marbles in it? _________________ The world holds two classes of men - intelligent men without religion, and religious men without intelligence. - Abu’l‐Ala al Ma’arri
Give a man a fish and he will eat for a day; teach a man to fish and he will eat for a lifetime; give a man religion and he will die praying for a fish.
Father: Son, I don't want you hanging around Steve any more, I think he might be gay.
Son: He better be gay, he's my boyfriend. |
|
| Back to top |
|
 |
Chaoslord2004 Logician

Joined: 29 Aug 2004 Posts: 8411 Local time: 8:49 AM Location: Minnesota
|
Posted: Sat Sep 06, 2008 11:20 pm Post subject: Re: Set Theory |
|
|
| abstract atheist wrote: | | Can you give me a cup with an infinite number of marbles in it? |
If the cup was infinite  _________________ 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 |
|
 |
abstract atheist Forum Leader


Joined: 02 Sep 2008 Posts: 526 Local time: 8:49 AM Location: Austin, Texas

|
Posted: Sat Sep 06, 2008 11:50 pm Post subject: |
|
|
Chaos, I would like to ask you a question. When theists are confronted with the logical paradoxes of their beliefs, they often say stuff like, God doesn't have to obey logic, or there is a higher realm of logic where all this theistic stuff makes sense. What do you make of that? I always thought inconsistency = does not exist, but can inconsistent things exist? _________________ The world holds two classes of men - intelligent men without religion, and religious men without intelligence. - Abu’l‐Ala al Ma’arri
Give a man a fish and he will eat for a day; teach a man to fish and he will eat for a lifetime; give a man religion and he will die praying for a fish.
Father: Son, I don't want you hanging around Steve any more, I think he might be gay.
Son: He better be gay, he's my boyfriend. |
|
| Back to top |
|
 |
Chaoslord2004 Logician

Joined: 29 Aug 2004 Posts: 8411 Local time: 8:49 AM Location: Minnesota
|
Posted: Sun Sep 07, 2008 9:06 am Post subject: |
|
|
| abstract atheist wrote: | | When theists are confronted with the logical paradoxes of their beliefs, they often say stuff like, God doesn't have to obey logic, or there is a higher realm of logic where all this theistic stuff makes sense. |
On the face of it, this is incoherent. This claim in hard to make sense of. However, the theist would be wise not to make this claim. Why? It makes God fundamentally unknowable. How can you reason about him, if you don't know the logic he uses? Moreover, doesn't God WANT you to know about him? This is the crux of the monotheistic traditions of Christianity, Judaism, and Islam.
| abstract atheist wrote: | | I always thought inconsistency = does not exist, but can inconsistent things exist? |
Some philosophers and mathematicians think inconsistent sets exist:
Dialetheism
There is a whole family of logics devoted to studying inconsistent sets of propositions: Paraconsistent logic. What defines paraconsistent logic is its denial of explosion. Hence, in classical logic the following is true: (A & ~A) --> Q. Paraconsistent logics deny this. _________________ 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 |
|
 |
Philosophos Do it

Joined: 01 Mar 2004 Posts: 9289 Local time: 9:49 AM Location: Where Scum Are
|
Posted: Sun Sep 07, 2008 11:06 am Post subject: |
|
|
| Chaoslord2004 wrote: | Some philosophers and mathematicians think inconsistent sets exist:
Dialetheism |
Great link, but as a dialetheist myself, I don't see it immediately pertaining to set theory.
Moving on, I don't know what exactly the OP is asking, so I'll ask a question myself: "naive" set theory is what's used by most people when they're discussing it or utilizing it. But upon reflection, it fails. How can we reconcile these two statements? _________________ The whores and politicians will shout 'save us'...
...and I'll whisper 'no'. |
|
| Back to top |
|
 |
Chaoslord2004 Logician

Joined: 29 Aug 2004 Posts: 8411 Local time: 8:49 AM Location: Minnesota
|
Posted: Sun Sep 07, 2008 11:28 am Post subject: |
|
|
| Philosophos wrote: | | but as a dialetheist myself |
You use to be someone I could trust.
| Philosophos wrote: | | I don't see it immediately pertaining to set theory. |
C'mon now...Russell's paradox.
| Philosophos wrote: | | Moving on, I don't know what exactly the OP is asking, so I'll ask a question myself: "naive" set theory is what's used by most people when they're discussing it or utilizing it. But upon reflection, it fails. How can we reconcile these two statements? |
I honestly don't know. _________________ 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 |
|
 |
HxC w00t

Joined: 02 Jun 2008 Posts: 991 Local time: 8:49 AM
|
Posted: Sun Sep 07, 2008 11:28 am Post subject: |
|
|
i wish i could understand one of the things chaoslord posts...
they seem like cool discussions _________________ there's a reason christians are called "sheep" |
|
| Back to top |
|
 |
Chaoslord2004 Logician

Joined: 29 Aug 2004 Posts: 8411 Local time: 8:49 AM Location: Minnesota
|
Posted: Sun Sep 07, 2008 11:32 pm Post subject: |
|
|
| HxC wrote: | i wish i could understand one of the things chaoslord posts...
they seem like cool discussions |
That is the curse of logicians and mathematicians: we are not easily understood. Mathematicians are more easily understood, because mathematics is larger (no pun intended) then logic. But in my area, philosophical and mathematical logic, there are few people who understand us.
I mean, most philosophers are not logicians and most mathematicians are not logicians. Mathematicians and Logicians are already a small group of people, so...
EDIT:
Even worse, those that attempt to understand it, often time get it wrong. Poor Godel. He had to deal with inept and ideological douchebags after he published his incompleteness theorems. _________________ 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 |
|
 |
HxC w00t

Joined: 02 Jun 2008 Posts: 991 Local time: 8:49 AM
|
Posted: Mon Sep 08, 2008 12:00 am Post subject: |
|
|
yeah, i don't pretend to understand them, cause i know i'll get it wrong haha
is there any way to dumb these things down or use an analogy or something? _________________ there's a reason christians are called "sheep" |
|
| Back to top |
|
 |
josephpalazzo Illusion Master

Joined: 30 Aug 2006 Posts: 8036 Local time: 8:49 AM Location: D-brane
|
Posted: Mon Sep 08, 2008 7:07 am Post subject: |
|
|
Logicians are people who make a mountain out of a molehill from such statements as: this sentence is false.
 |
|
| Back to top |
|
 |
|
|
|