We'll be back discussing that, but here are pointers to items that look at technical details.
- Undecidability Tangent - This video is Part 1 of 3. It starts with Euclid's geometry and the issue of parallel lines. Then, it goes into Russell's paradox. Finally, Turing's take.
- Undecidable Problems: A Sampler - This paper discusses how "undecidable decision problems" arise in mathematics. These are shown to be "at least as hard as the halting problem" which is the focus of computational logic.
- Undecidability everywhere - Bjorn Poonen's paranoiac view? No.
Remarks: Modified: 08/08/2019
08/08/2019 -- Nash equilibria and hardness raises its head. We'll need logic as well as numerics.