I am curious about your assertion that there is no halting problem in hardware.
I've seen advertisements for automated circuit design tools that will convert a C program into the schematic for a chip that does the same thing, only in hardware.
That leads me to believe that hardware must have the halting problem as well. However I only have a passing understanding of the halting problem. Can you enlighten me?
Hardware does have the halting problem. (As you could very easily make your hardware be a CPU with ROM that is "run program, then assert" - if the program halts, it'll assert. Hence - halting problem)
I've seen advertisements for automated circuit design tools that will convert a C program into the schematic for a chip that does the same thing, only in hardware.
That leads me to believe that hardware must have the halting problem as well. However I only have a passing understanding of the halting problem. Can you enlighten me?