The Halting Problem - Part 2

Part two of a two-part video on a famous theoretical result in computer science: The Halting Problem. Cypherus is voiced by YouTuber 1GOD1JESUS - subscribe to his channel (or BURN!)
http://www.youtube.com/1GOD1JESUS (not safe for work - VERY VERY not safe!)

Category:

Film & Animation

Tags:

• the halting problem
• halting
• computer science
• computability

[PanchoQV]

Thank you for this!, It helped me get the point of the halting problem :D

[kjlg74]

@PanchoQV You're welcome! Thanks for the comment :)

[jok2000]

This is totally bogus. You dismiss finite state machines out of hand. The filthy liar program fails in most languages due to resource exhaustion. You completely missed the point of stating your assumptions in a proof.

[kjlg74]

@jok2000 Good eye. You noticed it wasn't a formal proof. What gave it away? Was it the cartoons? Finite State Machines? Yeah, and I dismiss pushdown automata too, but maybe you've got an FSM that solves the halting problem. Perhaps I shouldn't dismiss them? Filthy Liar's failure has nothing to do with resource exhaustion, it has to do with it's use of impossible code, namely its call to fantasy system B. If you're a pedant, lighten up. If you're a P=NP crank, take a hike.

[jok2000]

@kjlg74 "P=NP crank".  I'm a philosopher. I have in fact read books on cranks. Mostly mathematical cranks, however, as I used to like math puzzles. Occasionally I like to examine the psychology of random academics. The video is highly suggestive that your earlier degree is in the Arts& Science arena and not the engineering arena. Good luck with artificial life. You'll need it.

[kjlg74]

@jok2000 You're correct about my degrees, and I'm glad you're not only not a crank but also familiar with what I mean by that. I was a little shocked when I first encountered comp. sci. and math cranks - I knew they were plentiful in bio, chem, med, etc. I've also read books on cranks, but usually the creationist or quack-med kind. It seems we share an interest in that regard, even if we disagree substantially regarding this video's contents. Ciao

[Battlewench]

that was lulzy

[neur303]

Bob should be immediately fired for not having learned the halting problem in first place before working as a programmer. So he was doomed from the beginning!

[loernIt]

@9H0A0L0 no

[giza182]

y does it enter an infinite loop after outputting yes?



[ClericAgent]

Why does Cypherus have an Aussie accent?

[9H0A0L0]

what if i run B with two different inputs?

B(x,y) only with x!=y

would the problem become decidable?

[bvssvni]

So the Halting problem is all about neither returning "yes" or "no"? Then the analyzer could simply loop forever... the stupid thing is that the analyzer can know it's impossible, yet the definition of the problem doesn't allow it to answer. I think the problem is the Halting problem, just with the Turing intelligence test. What happens if you switch AI with the judges? Then humans become the non-intelligent because they don't live up to the potential of AI.

[manrayer88]

I bet I can solve it

[ltshinta]

o no eve is going to get child porn on her comp....