Turing & The Halting Problem - Computerphile
Why Hacker News recommends it
Offered as a short, clear explanation of the halting problem and its link to decidability.
What it is
A Computerphile video in which Mark Jago of the University of Nottingham explains Turing's halting problem and how it led to the blueprint for the modern computer.
Recommended by 2 HN commenters across 2 different months, 2019 to 2022.
What Hacker News said
Recommends mar77i · 2019-12 · on “Kurt Gödel and the Mechanization of Mathematics”
For one practical example, Gödel's incompleteness is directly related to decidability problems in CS. there's this glorious liar paradox machine discussed by Computerphile [0]. [0] [this video]
Recommends gammalost · 2021-06 · on “DeepMind says reinforcement learning is ‘enough’ to reach general AI”
>Like what? The halting problem is (I think?) the standard example. Here's a short video on it [this video]
Cites cartoonworld · 2021-07 · on “Up to 1,500 businesses affected by ransomware attack, Kaseya CEO says”
In my view, this isn't really a software problem. Your plan is on the right track though. We already know its neigh impossible to ensure software is bug and vuln free. We have to reckon with the fact that secure software is possible, but extremely hard and impractical to achieve with any regularity. Because of well known computer science problems such as the Halting Problem[0] and more that I am totally ignorant of, the only alternative is extremely thorough verification like happens in planes[1]. The rub is that unlike aerospace and other critical controls, we cannot define the software security problem as closely as is possible in those other critical systems. Doing so will undo the benefi
Cites verdverm · 2022-08 · on “Tornado Cash and collateral damage”
no, it's all in software because you can create any smart contract and it can call any other. There is a difference in knowing after the transaction has finalized and predicting beforehand, which is when you would want to block the transaction. [this video]