Computerphile
Undecidability Tangent (History of Undecidability Part 1) - Computerphile
18:59
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.Note from Professor Brailsford: a couple of corrections for this film:1/ "... early 18th Century" for Gauss should be " ... early 19th century" 2/ "... 100 years ago" for Newton should be "... 100 years before Gauss3/ The Greek word I…