Presentation is loading. Please wait.

Presentation is loading. Please wait.

When does a physical system compute? by Clare Horsman, Susan Stepney, Rob C. Wagner, and Viv Kendon Proceedings A Volume 470(2169):20140182 September 8,

Similar presentations


Presentation on theme: "When does a physical system compute? by Clare Horsman, Susan Stepney, Rob C. Wagner, and Viv Kendon Proceedings A Volume 470(2169):20140182 September 8,"— Presentation transcript:

1 When does a physical system compute? by Clare Horsman, Susan Stepney, Rob C. Wagner, and Viv Kendon Proceedings A Volume 470(2169):20140182 September 8, 2014 ©2014 by The Royal Society

2 Representation in physics. Clare Horsman et al. Proc. R. Soc. A 2014;470:20140182 ©2014 by The Royal Society

3 Parallel evolution of theory and experiment. Clare Horsman et al. Proc. R. Soc. A 2014;470:20140182 ©2014 by The Royal Society

4 A ‘good enough’ commuting diagram for an experiment to test a theory. Clare Horsman et al. Proc. R. Soc. A 2014;470:20140182 ©2014 by The Royal Society

5 Reversing the modelling relation within science: (a) a fully commuting diagram for physical and abstract evolution, based on a modelling relation only. Clare Horsman et al. Proc. R. Soc. A 2014;470:20140182 ©2014 by The Royal Society

6 Technology reversing the modelling relation: p, T and H are found such that these conditions hold. Clare Horsman et al. Proc. R. Soc. A 2014;470:20140182 ©2014 by The Royal Society

7 (a) Embedding an abstract problem ms into an abstract machine description mp using embedding Δ, then encoding into p. Clare Horsman et al. Proc. R. Soc. A 2014;470:20140182 ©2014 by The Royal Society

8 Physical computation, with layers of refinement R on top for base ten (decimal) addition (‘dec add’), binary addition (‘binary add’) and assembly language addition (‘asm add’). Clare Horsman et al. Proc. R. Soc. A 2014;470:20140182 ©2014 by The Royal Society

9 (a) Two separate physical systems, p and s. Clare Horsman et al. Proc. R. Soc. A 2014;470:20140182 ©2014 by The Royal Society

10 System s running as a simulator for system p, constructed as a compute cycle nested within a predict cycle: (a) the predict cycle using C(p) to find the abstract prediction for the evolution of system p; (b) embedding C(p) in the simulator model dynamics, C... Clare Horsman et al. Proc. R. Soc. A 2014;470:20140182 ©2014 by The Royal Society

11 A system simulating itself (compare with figure 8c). Clare Horsman et al. Proc. R. Soc. A 2014;470:20140182 ©2014 by The Royal Society


Download ppt "When does a physical system compute? by Clare Horsman, Susan Stepney, Rob C. Wagner, and Viv Kendon Proceedings A Volume 470(2169):20140182 September 8,"

Similar presentations


Ads by Google