Your terminology is confused and the question is ill-formed. There is a difference between mathematically abstract computation and implementation. Implementation usually requires energy to carry out, and (based on concerns around reversible computing) it will always take energy to communicate the output of an implemented computation to some other physical system.
The Church Turing Thesis is probably correct. Moreover, any one of these formalisms can emulate any other with a runtime hit of some constant plus a scalar multiplier.
That a calculator “computes 2+2” means that something in its environment put it into a configuration where these three symbols were represented within its machinery and set its symbol manipulation rules chug along deterministically until its machinery represent the symbol four.
Saying something “computes red” is non-idiomatic and demonstrates confusion. If I was being generous, I would say that this involves a physical system having part of itself manipulated by light at a certain freq
My answers:
Your terminology is confused and the question is ill-formed. There is a difference between mathematically abstract computation and implementation. Implementation usually requires energy to carry out, and (based on concerns around reversible computing) it will always take energy to communicate the output of an implemented computation to some other physical system.
The Church Turing Thesis is probably correct. Moreover, any one of these formalisms can emulate any other with a runtime hit of some constant plus a scalar multiplier.
That a calculator “computes 2+2” means that something in its environment put it into a configuration where these three symbols were represented within its machinery and set its symbol manipulation rules chug along deterministically until its machinery represent the symbol four.
Saying something “computes red” is non-idiomatic and demonstrates confusion. If I was being generous, I would say that this involves a physical system having part of itself manipulated by light at a certain freq