February 16, 2017
This is the third 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.
In this podcast, Steve addresses the fundamental operation for software to be treated as data, which is equality, and begins by asking how we know when a fundamental unit of software is equal to something else? The first talk in this series introduces the idea of compiling programs into an AI representation. In the second talk, the Turing and Rice proofs are shown that they only apply to the mental domain of computation.
Podcast Slides and References
| Time Stamps | Slides and References |
|---|---|
| 00:28 | Steve Bucuvalas Podcast – Changing the essence of software and creating breakaway efficiency — science podcast 1 of 4 |
| 00:36 | Steve Bucuvalas Podcast – The Turing machine, the Halting problem, and Rice’s use of the Turing proof — science podcast 2 of 4 |
| 02:50 | PowerPoint Slide #1: Using C-language functions to show functional equivalence determination method |
| 09:05 | PowerPoint Slide #2: Stack Overflow thread about Turing's Halting problem -- Online Thread |
| 10:34 | Steve Bucuvalas Podcast – Leveraging software’s encoded knowledge to create an assistive AI — science podcast 4 of 4 |