Comments by "xybersurfer" (@xybersurfer) on "Halting Problem in Python - Computerphile" video.

  1. how would those languages deal with partial functions like division (can't divide by 0)
    1
  2. if you have "def holds(fun,arg)", then it looks the argument is missing for the second parameter in "holds(fun,fun)". it looks like a hidden type error. i would have preferred an explanation that avoided this confusion by simply using "def holds(fun)". as any function and its arguments can be turned into a function "without" arguments
    1
  3.  @ThorstenAltenkirch  hmm. isn't it still possible to apply holds to itself with "def holds(fun)"? similarly to the blank tape problem, where the program has internalized it's input and the first thing it does is write this input to the tape
    1