Computability in Europe 2006
Logical Approaches to Computational Barriers


Regular Talk:
On the calculating power of Laplace's demon


Speaker: John Longley
Slot: Array, 17:20-17:40, col. 4

Abstract

We discuss some of the choices that arise when one tries to make the
idea of physical determinism more precise. Broadly speaking,
`ontological' notions of determinism are parameterized by one's choice
of mathematical ideology,
whilst `epistemological' notions of determinism are parameterized by the
choice of an appropriate notion of computability.
We present some simple examples to show that these choices can indeed make 
a difference to whether a given physical theory is `deterministic' or not. 


websites: Arnold Beckmann 2006-04-19