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 |