There are feasible mathematical abstractions that we cannot imagine. There is a relevant issue - was it the Church-Turing Thesis - that supposes that any computable function can be simulated on a Turing Machine but that does not mean that we can imagine all computational methods and it certainly does not mean that we can imagine what the components of computational efficiency might consist of. There is a disconnect between the fundamental elements of computer programs and computable effectiveness. However, assuming that the methods of arithmetic can give us the ingredients of the fundamental components of effective computational mathematics I can then start to imagine what might be useful in extending these methods to different kinds of effective mathematics. For example, instead of using fixed representations of algorithmic abstractions like columnar addition and the use of carries, I can think about varying columnar characteristics and varying carry rules and so on. Jim Bromer
On Wed, Jun 12, 2019 at 11:03 PM <[email protected]> wrote: > If you give yourself infinite computation power an exponential brute force > search of physics engine logic, contains all methods that exist in the > environment, as long as it only involved still objects, which were > simulated correctly, according to some primary mover. I was wonder if > taking it from this aspect it might be able to help you work out what its > sub movers it would develop would be. A fairly average example would be > make it to situational topology b, from its current situational topology. > A full power search, ubersampling physics engine code, would go through > every possible permutation of spacial modifications. This setup, would > automatically contain all possible manipulations of static lifeless > objects, all methods, so if you were to not do this, and form the methods > instead - it should come up with the sub-goal relationships that end it up > in the exact same decision as if it were actually supersearched, but its > not allowed to leap straight to it, it has to learn all the physics based > concepts from the ground up, start to finish, building up on itself > exactly. Sorry for being a let down I cant think of it still. XD > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + delivery > options <https://agi.topicbox.com/groups/agi/subscription> Permalink > <https://agi.topicbox.com/groups/agi/T395236743964cb4b-M1c45cea0fd0b9d0de853fa0b> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T395236743964cb4b-M14ee07aa5132723787380aea Delivery options: https://agi.topicbox.com/groups/agi/subscription
