Symmetry for transfinite computability

Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe

Finite Turing computation has a fundamental symmetry between inputs, outputs, programs, time, and storage space. Standard models of transfinite computational break this symmetry; w…