3 ms·

I'm not sure this follows. It doesn't halt because the "program" reaches an end, it's halts because the hardware fails. If you are running a category B program

I'm not sure this follows. It doesn't halt because the "program" reaches an end, it's halts because the hardware fails. If you are running a category B program with an anvil attached to a timer over the computer, it doesn't become a category A program. It's just a category B program that wasn't allowed to continue. -edit- Also, this logic would lead us to believe that category B and C programs can't exist in our universe since, according to our best current understanding, the universe will end eventually, presumably ending any program running within the universe as well, therefore we can "prove" that every program is a category A program that will come to a halt.

consilient 3y ago
> I'm not sure this follows. It doesn't halt because the "program" reaches an end, it's halts because the hardware fails. Ok, but the intelligent entity in question isn't the program, it's the program-running-on-the-hardware. A mere description of your brain is totally inert.
- MostlyStable 3y ago
  _Every_ program is running on hardware. And as I pointed out _all_ hardware has some definite EOL, even if it's just the end of the rest of the universe. So thinking of it this way disproves the entire concept of Type B and Type C programs.