I have been struggling to complete a paper on the universal constructor from within the constructor theory. And I think I have a proof, but it is rather cumbersome and clunky,. So as he say, I've been struggling with trying to complete that paper for some time now. But I have done enough to convince myself that it is a theorem of constructor theory that the universal constructor exists. If there is something that you can't program a machine to build, then that really means that there's something that can't be built.
I speak with physicist David Deutsch about the universal constructor, a machine that can be programmed to cause any physically possible transformation.
Note-this interview was recorded in early 2022.
In the time since this interview was recorded, David has stated that disobedience is by far the primary reason that humans and human societies aren't universal constructors.
David Deutsch's website - https://www.daviddeutsch.org.uk/.
Constructor theory website - https://www.constructortheory.org/.
Logan Chipkin's website - www.loganchipkin.com/.
David Deutsch Twitter - https://twitter.com/DavidDeutschOxf.
Logan Chipkin Twitter - https://twitter.com/ChipkinLogan.
---
Support this podcast:
https://podcasters.spotify.com/pod/show/logan-chipkin/support