PhilSci Archive

Computing the Uncomputable, or, The Discrete Charm of Second-order Simulacra

Parker, Matthew W. (2008) Computing the Uncomputable, or, The Discrete Charm of Second-order Simulacra. In: [2006] Models and Simulations (Paris, 2006).

This is the latest version of this item.

Download (184Kb) | Preview


    We examine a case in which non-computable behavior in a model is revealed by computer simulation. This is possible due to differing notions of computability for sets in a continuous space. The argument originally given for the validity of the simulation involves a simpler simulation of the simulation, still further simulations thereof, and a universality conjecture. There are difficulties with that argument, but there are other, heuristic arguments supporting the qualitative results. It is urged, using this example, that absolute validation, while highly desirable, is overvalued. Simulations also provide valuable insights that we cannot yet (if ever) prove.

    Export/Citation:EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
    Social Networking:

    Item Type: Conference or Workshop Item (UNSPECIFIED)
    Keywords: Chaos basin attraction attractor computability decidability computer simulation scaling riddled non-computability undecidability Chaitin validation
    Subjects: General Issues > Models and Idealization
    Specific Sciences > Computation/Information > Classical
    Specific Sciences > Complex Systems
    Specific Sciences > Physics
    Conferences and Volumes: [2006] Models and Simulations (Paris, 2006)
    Depositing User: Matthew Parker
    Date Deposited: 02 Nov 2008
    Last Modified: 07 Oct 2010 11:16
    Item ID: 3905

    Available Versions of this Item

    Actions (login required)

    View Item

    Document Downloads