Go Back   Flash Flash Revolution: Community Forums > General Discussion > Critical Thinking
Register FAQ Community Calendar Today's Posts Search

Reply
 
Thread Tools Display Modes
Old 04-28-2004, 11:17 PM   #1
Chrissi
FFR Player
 
Chrissi's Avatar
 
Join Date: Mar 2004
Location: The Game
Age: 34
Posts: 3,019
Send a message via MSN to Chrissi
Default Cannot be proved.

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!
Chrissi is offline   Reply With Quote
Old 04-28-2004, 11:25 PM   #2
perfect_fat
FFR Player
 
Join Date: Mar 2004
Posts: 161
Default

It's simple.

Everything I say is a lie, except for this sentance.
perfect_fat is offline   Reply With Quote
Old 04-28-2004, 11:29 PM   #3
VxDx
FFR Player
 
VxDx's Avatar
 
Join Date: May 2003
Posts: 1,871
Send a message via AIM to VxDx
Default

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.
VxDx is offline   Reply With Quote
Old 04-28-2004, 11:35 PM   #4
Ice-Dragon
FFR Player
 
Join Date: Oct 2003
Posts: 108
Default

The idiocy of what you said hurts my brain... (Chrissi)
Ice-Dragon is offline   Reply With Quote
Old 04-29-2004, 01:54 AM   #5
Anonymous
FFR Player
 
Join Date: May 2002
Posts: 1,088
Default

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. ; )
Anonymous is offline   Reply With Quote
Old 04-29-2004, 01:56 AM   #6
peregrine
FFR Player
 
Join Date: Sep 2003
Posts: 122
Send a message via AIM to peregrine
Default

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!
peregrine is offline   Reply With Quote
Old 04-29-2004, 03:14 AM   #7
Kilgamayan
Super Scooter Happy
FFR Simfile Author
 
Kilgamayan's Avatar
 
Join Date: Feb 2003
Location: Location, Location.
Age: 36
Posts: 6,584
Send a message via AIM to Kilgamayan
Default

Attached Images
File Type: jpg rememberme.jpg (238.1 KB, 76 views)
__________________
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.
Kilgamayan is offline   Reply With Quote
Old 04-29-2004, 07:12 AM   #8
Chrissi
FFR Player
 
Chrissi's Avatar
 
Join Date: Mar 2004
Location: The Game
Age: 34
Posts: 3,019
Send a message via MSN to Chrissi
Default

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!
Chrissi is offline   Reply With Quote
Old 04-29-2004, 07:15 AM   #9
RobbyZero
FFR Player
 
RobbyZero's Avatar
 
Join Date: Sep 2003
Location: Canada
Age: 33
Posts: 4,613
Default

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?
RobbyZero is offline   Reply With Quote
Old 04-29-2004, 07:25 AM   #10
Chrissi
FFR Player
 
Chrissi's Avatar
 
Join Date: Mar 2004
Location: The Game
Age: 34
Posts: 3,019
Send a message via MSN to Chrissi
Default

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!
Chrissi is offline   Reply With Quote
Old 04-29-2004, 08:11 AM   #11
alainbryden
Seen your member
FFR Simfile AuthorFFR Veteran
 
alainbryden's Avatar
 
Join Date: Dec 2003
Location: noitacoL
Age: 33
Posts: 2,873
Send a message via AIM to alainbryden Send a message via MSN to alainbryden Send a message via Yahoo to alainbryden
Default

Quote:
Originally Posted by perfect_fat
It's simple.

Everything I say is a lie, except for this sentance.
That isn't right, that is perfectly possible. The way it goes it

Everything I say is a lie, infact, I am lying, right now.
__________________
~NEIGH
alainbryden is offline   Reply With Quote
Old 04-29-2004, 08:15 AM   #12
RobbyZero
FFR Player
 
RobbyZero's Avatar
 
Join Date: Sep 2003
Location: Canada
Age: 33
Posts: 4,613
Default

Quote:
Originally Posted by Chrissi
RobbyZero, you're not serious, are you?
So? Im don't think of this shit on purpose like you do. I don't have time nor the patience to deal with math problems and theorems.
RobbyZero is offline   Reply With Quote
Old 04-29-2004, 08:34 AM   #13
Chrissi
FFR Player
 
Chrissi's Avatar
 
Join Date: Mar 2004
Location: The Game
Age: 34
Posts: 3,019
Send a message via MSN to Chrissi
Default

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!
Chrissi is offline   Reply With Quote
Old 04-29-2004, 08:36 AM   #14
RobbyZero
FFR Player
 
RobbyZero's Avatar
 
Join Date: Sep 2003
Location: Canada
Age: 33
Posts: 4,613
Default

Wow your just like Jam,you interpret stuff the wrong way...pretty sad.


Edit---

ANYWAYS....
You said

Quote:
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."
that really doesn't help the situation much for anyone...especially if you don't know anything about that kind of stuff.

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.
RobbyZero is offline   Reply With Quote
Old 04-29-2004, 12:15 PM   #15
Chrissi
FFR Player
 
Chrissi's Avatar
 
Join Date: Mar 2004
Location: The Game
Age: 34
Posts: 3,019
Send a message via MSN to Chrissi
Default

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!
Chrissi is offline   Reply With Quote
Old 04-29-2004, 04:03 PM   #16
chardish
Environmentally Friendly
Retired StaffFFR Veteran
 
chardish's Avatar
 
Join Date: May 2003
Location: In transit
Age: 34
Posts: 6,929
Default

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.
chardish is offline   Reply With Quote
Reply


Currently Active Users Viewing This Thread: 1 (0 members and 1 guests)
 

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off

Forum Jump



All times are GMT -5. The time now is 10:25 PM.


Powered by vBulletin® Version 3.8.1
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.
Copyright FlashFlashRevolution