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)

Text Symmetry_Computability_CiE_2023.pdf - Submitted Version Download (410kB)

Abstract

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 Logic Mathematics
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