Comments by "Lawrence D’Oliveiro" (@lawrencedoliveiro9104) on "Halting Problem in Python - Computerphile" video.

  1. 1:16 Space before colon, but not after comma. ‌twitch‌
    49
  2.  @joshuahillerup4290  The difference between computer science and the branch of maths known as computability theory is that the mathematicians only care whether something is possible or not, while computer scientists actually worry about how efficient it might be to compute. E.g. any encryption algorithm can be cracked in finite time, but if that time is longer than the age of the Universe, then a computer scientist would deem the result to be a useful algorithm, even as the mathematicians would say “meh”.
    6
  3. 3:41 Why did you need to pass the string source of the function? You could have passed the function itself. That’s perfectly valid Python.
    5
  4.  @gregoryfenn1462  I think the OP is referring to the thought processes, not something superficial like the accent.
    3
  5. Yeah, that’s what I thought. Python has full support for functions as first-class objects.
    1
  6. Imagine being able to write a code-analysis tool that can detect bugs such as endless loops in your program. This theorem says that such a tool is, in general, impossible. Also in general, it means that code-analysis tools cannot completely figure out what a program does without actually executing it.
    1
  7. It’s the other way round. There are specific classes of programs that can be shown to halt, but this is undecidable in the general case.
    1
  8. But on Windows, it will likely crash before it manages to prove anything.
    1
  9. Feel free to show us your PHP version.
    1
  10. Nobody has mentioned that he’s not just using Python, but Jupyter as well? 👍👍👍 Yay for Jupyter notebooks! 👍👍👍
    1