|
|
#1 |
|
FFR Player
|
In my geometry & discrete math textbook, there is a sidenote in our proofs unit about a theorem that some dead dude says he proved. The theorem is something along the lines of:
"This theorem cannot be proved." Huhwhat, you ask? I didn't quite understand at first. What theorem? It took me awhile to understand it was the sentence itself that cannot be proved. But he says he proved it. Huhwhat? If you try to dig into this, you find that it's a paradox. He says he proved it, but it can't be proved. So he proved that it couldn't be proved? How'd he do that? By not proving it... but if he proved it, the theorem is false! So is the theorem false? No, it can't be proved. HUHWHAT? This is the type of stuff that hurts my brain. I haven't looked for this on the internet yet, but here's my theory about how it can be proved. If you haven't heard of the theory, you needn't worry about whether it can be proven or not. So if he erases his memory.... you get the picture. He can prove it by having never heard of it. Maybe that doesn't make sense. But wouldn't it be damn cool to be able to erase your memory for the sole purpose of proving a theorem that can't be proved? Okay, seriously.. does this hurt anyone else's brain? I'm feeling it right now.
__________________
C is for Charisma, it's why people think I'm great! I make my friends all laugh and smile and never want to hate! |
|
|
|
|
|
#2 |
|
FFR Player
Join Date: Mar 2004
Posts: 161
|
It's simple.
Everything I say is a lie, except for this sentance. |
|
|
|
|
|
#3 |
|
FFR Player
|
well considering the wording should be cannot be proven...I would assume that your book is retarded.
It's possible to prove something cannot be proven, but it's very difficult and only works in specific cases. A bit of a note, there is an idea printed in a math book I read a while back (not a textbook) nobody can prove or disprove the existance of 100 zeros in a row in the decimal notation of PI. |
|
|
|
|
|
#4 |
|
FFR Player
Join Date: Oct 2003
Posts: 108
|
The idiocy of what you said hurts my brain... (Chrissi)
|
|
|
|
|
|
#5 |
|
FFR Player
Join Date: May 2002
Posts: 1,088
|
wow.... perhaps my logic class will have a use after all, and here I thought it was the most worthless thing ever.
Logically speaking, that argument's premises and conclusions are the same statment: "this theorem cannot be proved" in Truth-Functional-Logic it would look like: ~A .:. A (read "not-A") (sorry about the extra dot "therefore") ("A") this statement is a self-contradiction, and therefore is an invalid argument, meaning it holds no value or merit.... but by that same token, since it is invalid, it proves itself at the same time by casual reasoning, therefore it's proven.... in an odd sense. If it's still bugging you, just be glad you're not a computer and don't have to throw an exception or do a hard-boot to fix the problem. ; ) |
|
|
|
|
|
#6 |
|
FFR Player
|
above was by me
PS: Synth, if you ever read this, please oh please in the name of whatever gods or magical forces you wish... do something about that logout timer if you can! That or somebody tell me how to disable it if I can. I'll be your best friend!! There's no money involved, but you'll still have that warm and fuzzy feeling from helping somebody! |
|
|
|
|
|
#7 |
|
Super Scooter Happy
|
__________________
I watched clouds awobbly from the floor o' that kayak. Souls cross ages like clouds cross skies, an' tho' a cloud's shape nor hue nor size don't stay the same, it's still a cloud an' so is a soul. Who can say where the cloud's blowed from or who the soul'll be 'morrow? Only Sonmi the east an' the west an' the compass an' the atlas, yay, only the atlas o' clouds. |
|
|
|
|
|
#8 |
|
FFR Player
|
Ice-Dragon, if you're talking about my second-last paragraph, it wasn't meant to be serious.
Either way this guy proved the theorem can't be proven... mathematically I think. I read something now on the net about how if you add "in axiom system s" to the end and do some weird math... you can prove it. Somehow. I really don't understand it, but the facthat he proved something which cannot be proven is a bit of a "hurting my brain" type thing, for me.
__________________
C is for Charisma, it's why people think I'm great! I make my friends all laugh and smile and never want to hate! |
|
|
|
|
|
#9 |
|
FFR Player
Join Date: Sep 2003
Location: Canada
Age: 33
Posts: 4,613
|
Maybe he was a great mathmatician then and he was on of the best ever to that day and even he could not figure it out so they declared it impossible hhmmm?
|
|
|
|
|
|
#10 |
|
FFR Player
|
RobbyZero, you're not serious, are you?
__________________
C is for Charisma, it's why people think I'm great! I make my friends all laugh and smile and never want to hate! |
|
|
|
|
|
#11 | |
|
Seen your member
|
Quote:
Everything I say is a lie, infact, I am lying, right now. |
|
|
|
|
|
|
#12 | |
|
FFR Player
Join Date: Sep 2003
Location: Canada
Age: 33
Posts: 4,613
|
Quote:
|
|
|
|
|
|
|
#13 |
|
FFR Player
|
All right Robby... calm down, I didn't try to insult you. I just asked a question, and you haven't even answered it yet.
__________________
C is for Charisma, it's why people think I'm great! I make my friends all laugh and smile and never want to hate! |
|
|
|
|
|
#14 | |
|
FFR Player
Join Date: Sep 2003
Location: Canada
Age: 33
Posts: 4,613
|
Wow your just like Jam,you interpret stuff the wrong way...pretty sad.
Edit--- ANYWAYS.... You said Quote:
But seriously like I said..the guy could be anybody you didn't mention if he was a mathmetician or anything of the sort and that's where I come in. |
|
|
|
|
|
|
#15 |
|
FFR Player
|
RobbyZero, I don't quite understand what you're trying to say.
__________________
C is for Charisma, it's why people think I'm great! I make my friends all laugh and smile and never want to hate! |
|
|
|
|
|
#16 |
|
Environmentally Friendly
Join Date: May 2003
Location: In transit
Age: 34
Posts: 6,929
|
Responding to the topic at hand, paradoxes are not meant to be evaluated a second time. In other words, a paradox can make excellent sense until you go back and read it again, having already read the paradox once.
Example: This sentence is false. The above sentence is false. If you can't read it again, you can't apply the knowledge you already have to try to decipher it further. It's false. Live with it :P This theorem cannot be proven. Correct. You can't prove that something can't be proven. So, the above theorem is unprovable. Since that's explicitly stated in the text of the theorem, there is no proof. |
|
|
|
![]() |
| Currently Active Users Viewing This Thread: 1 (0 members and 1 guests) | |
| Thread Tools | |
| Display Modes | |
|
|