PP-2023-02: Symmetry for transfinite computability

PP-2023-02: Galeotti, Lorenzo and Lewis, Ethan S. and Loewe, Benedikt (2023) Symmetry for transfinite computability. [Pre-print] (Submitted)

[thumbnail of Symmetry_Computability_CiE_2023.pdf] Text
Symmetry_Computability_CiE_2023.pdf - Submitted Version

Download (410kB)


Finite Turing computation has a fundamental symmetry between inputs, outputs, programs, time, and storage space.
Standard models of transfinite computational break this symmetry; we consider ways to recover it and study the resulting model of computation.
This model exhibits the same symmetry
as finite Turing computation in universes constructible from a set of ordinals, but that statement is independent of
von Neumann-G\"odel-Bernays class theory.

Item Type: Pre-print
Report Nr: PP-2023-02
Series Name: Prepublication (PP) Series
Year: 2023
Subjects: Computation
Depositing User: lgaleot1
Date Deposited: 13 Feb 2023 15:14
Last Modified: 13 Feb 2023 15:14
URI: https://eprints.illc.uva.nl/id/eprint/2234

Actions (login required)

View Item View Item