/sci/ - Science & Math

ITT: we giggle at people who refuse to accept that the halting problem is uncomputable.

Videos like this:
https://www.youtube.com/watch?v=92WHN-pAFCs
that provide very elegant and visual explanations of the halting problem are downvoted and packed with people insisting that the argument is false.

Terminology:
>H(machine, input) = if machine(input) halts then return true, otherwise return false
>X(n) = if H(n, n) then loop forever, otherwise terminate
The core of the proof is that X(X) has no well-defined behaviour, showing that H is contradictory by nature.

Favorite arguments for why this is supposedly bullshit includes:
>H isn't making the mistake, the dumbass person negating its output is making the mistake. Just don't do that and you'll be fine.
>X doesn't count because it was deliberately set up to make H fail. Why are you so mean to H? H didn't do anything wrong!!
>The argument starts with an assumption (H exists) and my philosophy teacher said you can't do that.
>Who are you to decide what's "correct" output anyway?
>The problem isn't the machine, it's the problem that's impossible to solve. (this one's correct but missing the point)
>I'm a software engineer and I've worked for Google for 15 years so shut up.

Why is this so difficult for people to get?

People with legit trouble understanding are welcome to ask questions and willl be met with polite explanations.
People who insists that their misunderstandings are correct will be laughed in the face.

>>5869922
get a load of this fag

this order is based on which property of presented parts human knowledge areas? In other words, what arguments do you have to back it up? Hope it/they will be consistent.

Is this just "uses" relation, usefulness valuation or author's anxiety expression?

Computer Scientists report in. I have to choose between electrical engineering and computer science. What you like the most about programming and what you dislike? I have a deep passion for physics and math, and i also like to create new things, would CS fulfill my interests?

thanks /sci/