The Turing machine, the Halting problem, and Rice’s use of the Turing proof — science podcast 2 of 4
This is the second in a series of practical talks by founder and CEO Steve Bucuvalas about Phase Change Software, what we are developing, the math and science behind our technology, and the impact on the software development process. Steve reviews Turing’s Halting problem and Rice’s theorem, which have influenced computational theory for years. He […]
