For a concrete answer on what the reference machine or low-level language should be, please see this 10-minute live-discussion only about the choice of the reference machine, starting at minute 20 and ending at minute 30: https://www.youtube.com/live/FNfGoQhf2Zw?si=Pg1ppTZmlw1S-3g9&t=1206 After one hour and 18 minutes, I spend another couple of minutes answering a question about the reference formalism. After one hour and 30 minutes into the video, someone asked me whether space aliens would agree with lambda calculus. And in my paper, I have a 3-page discussion on the choice of the reference machine, Section 3.2: https://arxiv.org/pdf/2506.23194 The reason that I did not suggest that one should derive a reference machine from physics is that arriving at... (read more)
For a concrete answer on what the reference machine or low-level language should be, please see this 10-minute live-discussion only about the choice of the reference machine, starting at minute 20 and ending at minute 30: https://www.youtube.com/live/FNfGoQhf2Zw?si=Pg1ppTZmlw1S-3g9&t=1206
After one hour and 18 minutes, I spend another couple of minutes answering a question about the reference formalism. After one hour and 30 minutes into the video, someone asked me whether space aliens would agree with lambda calculus.
And in my paper, I have a 3-page discussion on the choice of the reference machine, Section 3.2: https://arxiv.org/pdf/2506.23194
The reason that I did not suggest that one should derive a reference machine from physics is that arriving at... (read more)