Simplicity via Provability for Universal Prefix-free Turing Machines

Cristian S. Calude. Simplicity via Provability for Universal Prefix-free Turing Machines. In Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy, editors, Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings. pages 15-22, Cork University Press, 2008.

Abstract

Abstract is missing.