Computerphile

Undecidability Tangent (History of Undecidability Part 1) (2014x57)

Yayınlanma tarihi: Eyl 19, 2014

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.