Get the latest tech news
What does “Undecidable” mean, anyway
An explainer for people who don't know computer science and are mildly curious
The talk is brand new and will aim to showcase some of the formal methods mental models that would be useful in mainstream software development. It has added some extra stress on my schedule, though, so expect the next two monthly releases of Logic for Programmers to be mostly minor changes. By the Church-Turing thesis, a Turing Machine is the "upper bound" of how powerful (physically realizable) computational models can get.
Or read this on Hacker News