2 papers
math.LO2013
The Mathematician's Bias - and the Return to Embodied Computation
S. Barry Cooper
There are growing uncertainties surrounding the classical model of computation established by Gödel, Church, Kleene, Turing and others in the 1930s onwards. The mismatch between th…
cs.LO2013
What Makes a Computation Unconventional?
S. Barry Cooper
A coherent mathematical overview of computation and its generalisations is described. This conceptual framework is sufficient to comfortably host a wide range of contemporary think…