Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

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

Speaker: John Longley
Slot: Sat, 17:20-17:40, Faraday E (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 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net