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.