Is there a proof that generalization or goal and action selection or other things associated with intelligence are actually computable?
If the Strong Free Will theorem is right, there are distinct limits on the ability of computational devices to simulate our physics.
For one, anything a computable machine does "on its own" will be a function of the past history of the universe (deterministic), whereas the SFWT says that elementary particles are free to act without regard to the entirity of history.
E: even a one word reply conveys so much more than an anonymous downmod.
If the Strong Free Will theorem is right, there are distinct limits on the ability of computational devices to simulate our physics.
For one, anything a computable machine does "on its own" will be a function of the past history of the universe (deterministic), whereas the SFWT says that elementary particles are free to act without regard to the entirity of history.
E: even a one word reply conveys so much more than an anonymous downmod.