February 16, 2017 - Comments Off on The Turing machine, the Halting problem, and Rice’s use of the Turing proof — science podcast 2 of 4

The Turing machine, the Halting problem, and Rice’s use of the Turing proof — science podcast 2 of 4

February 16, 2017

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 shows how their abstract theories about infinity and an infinite number of programs do not apply to finite software programs in the real world.

Published by: admin in Science

Comments are closed.