Go Back   Science Forums
View Single Post
Old 11-13-2008   #15 (permalink)
Buffy's Avatar
Buffy
Resident Slayer


Location:
Sunnydale, CA
 
Buffy has a reputation beyond reputeBuffy has a reputation beyond reputeBuffy has a reputation beyond reputeBuffy has a reputation beyond reputeBuffy has a reputation beyond reputeBuffy has a reputation beyond reputeBuffy has a reputation beyond reputeBuffy has a reputation beyond reputeBuffy has a reputation beyond reputeBuffy has a reputation beyond reputeBuffy has a reputation beyond repute
 



Not Ranked  0 score     
Re: Halting Undecidability proof faulty?

Quote:
Originally Posted by Kriminal99 View Post
The machine is the algorithm and vice versa. Touring machines can do what any algorithm can do, and they can be encoded in a way that any Touring machine or algorithm could operate on them.


A Turing Machine is a tape and a finite state automaton. The algorithm is the encoding on that tape.

Do you understand that distinction?

A Universal Turing Machine is simply a Turing Machine whose Finite State Automaton can implement other Turing Machines. This is in fact how all von Neumann architecture machines--99.999999999999999999999% of all computers today--which do not differentiate between data that is potentially program code. This may be what you're trying to refer to, but this is most definitely not what the Halting Problem is refering to, nor is in necessary.

What is being asked of you is why an algorithm that took itself as input would operate differently than it would when provided other input.

There is no obvious reason why this would be true, but it is fundamental to your argument, but honestly, there's no reason we should take this as "most likely" just on your say so!

We can only see a short distance ahead, but we can see plenty there thats needs to be done,
Buffy


----------------
"If you do not agree with anything I say, I'll not only retract it, but deny under oath that I ever said it!"
__________________________________________________ ______________-- Tom Lehrer

"No Robbie, not Europe!"


Forum Administrator
Hypography Science Forums - Science for Boys and Girls! Its not for nothing that we hang out here.
Reply With Quote
 
» Advertisement
» Current Poll
Who's the sexiest man alive? Johnny Depp or Robert Pattinson?
Johnny Depp - 30.00%
3 Votes
Robert Pattinson - 0%
0 Votes
Someone else (please specify) - 40.00%
4 Votes
I'm too macho to think a guy is sexy - 30.00%
3 Votes
Total Votes: 10
You may not vote on this poll.


All times are GMT -8. The time now is 03:47 PM.

Hypography?

Hypography [n.]: A combination of "hyperlink" and "bibliography" - ie, a list of links to electronic documents. Comparable to discography and bibliography, but not cartography.

We have been online since May 2000, and aim to be the best place to find and share science-related content of all kinds.

Share the love!

Please add more science to your life. Use our RSS feeds on your blog, your portal, or your favorite feedreader!


Powered by vBulletin® Version 3.8.3
Copyright ©2000 - 2009, Jelsoft Enterprises Ltd.
Copyright © 2000-2009 Hypography
Part of the Hypography - Science for Everyone Network