ComputerphileUndecidability Tangent (History of Undecidability Part 1)
2014 • E57 19 sept. 2014 14min
What was the first undecidable problem? Professor Brailsford takes us on a computerphile tangent & gives us his angle on a pre-computer example of undecidability.