arXiv 2015-06-20 EN The Machine as Data: A Computational View of Emergence and Definability Cooper, S. Barry
arXiv 2014-01-09 EN A Busy Beaver Problem for Infinite-Time Turing Machines Long, James T. · Stanley, Lee J.
arXiv 2000-07-15 EN Antinomies of Mathematical Reason: The Inconsistency of PM Arithmetic and Related Systems Fennell, Dr. S.
