?

Log in

No account? Create an account
Simple equation - Virtual Sacrifice Log
Aici zace un om despre care nu se ştie prea mult
kingfox
kingfox
Simple equation
1 + 2 = 3

Let's take a Turing machine, Bob, that can test whether a certain Turing machine would accept a given input. Bob will accept if the other machine accepts, and reject if the other machine rejects. It can't ever figure out if it was never stopping, thus it can't really decide the language of Turing machines.

But going a step further, Bob by definition replicates all Turing machines. Let's say that Bob is Turing machine 666 for the hell of it. There's also the Anti-Bob, a Turing machine that's the compliment of Bob, saying yes when Bob says no, and no when Bob says yes. So as Bob says yes if the machine accepts the input, Anti-Bob says hell no.

So does the Anti-Bob accept the Anti-Bob? Assuming that the Anti-Bob is machine 668 (the bloke next door), we're really accepting if it accepts Turing machine 668. The Anti-Bob accepts machine 668 if and only if Bob says that machine 668 does not accept machine 668. So machine 668 accepts machine 668 if and only if Bob says that machine 668 does not accept 668.

That's whack shit.

Feeling: geeky geeky
Listening to: Type O Negative, The Dream is Dead

Chorus of 7 demons || Preach it
Comments
runstaverun From: runstaverun Date: October 25th, 2004 07:02 pm (UTC) (Hard link)
3 = bad html!
---
and also (probably because my area of experience is logic rather than computability, your example does not seem that weird.
---
Bob: A
notBob: B

If B then A.
If A then notB.

it's not even a complicated paradox.
---
The only way to get out of combat in vietnam is to be mentally unstable, but wanting to get out of combat proves that you're thinking correctly.
---
kingfox From: kingfox Date: October 25th, 2004 08:01 pm (UTC) (Hard link)

Shaq has a message for you:



Thanks about the HTML, but about the NotBob and Bob thing, we're not just going for a simple paradox. Oh no. We're out to prove that there's something that can't be proven. We're talking about the halting problem, and shit like that. We're on a tear to bash our heads against the undoable. That's what's what.
angryjonny From: angryjonny Date: October 26th, 2004 10:19 am (UTC) (Hard link)

Set your face to 'rocked'

Mountain Dew Baja Blast

It's some kinda promotion... the new flavour is only available at Taco Bell, near as I can figure. Perhaps now you can go for the Mountain Dew Grand Slam
kingfox From: kingfox Date: October 28th, 2004 02:26 pm (UTC) (Hard link)

You should join Friday Poll...

angryjonny From: angryjonny Date: October 29th, 2004 06:17 am (UTC) (Hard link)

Re: You should join Friday Poll...

I did that one. I'm the 1 commenter who said he enjoyed drinking diet Code Red
kingfox From: kingfox Date: October 30th, 2004 11:18 am (UTC) (Hard link)

Re: You should join Friday Poll...

I see.

But you should join anyway.
angryjonny From: angryjonny Date: November 1st, 2004 06:14 am (UTC) (Hard link)

Re: You should join Friday Poll...

Ah, so sorry! I didn't know Friday Poll was its own community. Now I'm not only a subscriber to Friday Poll, I'm also a member
Chorus of 7 demons || Preach it