Michael J. Dinneen, Bakhadyr Khoussainov, André Nies (Eds.):
Computation, Physics and Beyond - International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers.
Lecture Notes in Computer Science 7160 Springer 2012, ISBN 978-3-642-27653-8
Life Story
Solomon Marcus: The Art of Reaching the Age of Sixty.
1-19
Hermann A. Maurer: Calude as Father of One of the Computer Science Journals.
20-30
Yuri I. Manin: A Computability Challenge: Asymptotic Bounds for Error-Correcting Codes.
174-182
Jacques Patarin: Some Transfinite Generalisations of Gödel's Incompleteness Theorem.
183-193
Ludwig Staiger: On Oscillation-Free Chaitin h-Random Sequences.
194-202
Kohtaro Tadaki: Phase Transition between Unidirectionality and Bidirectionality.
203-223
Hector Zenil: Computer Runtimes and the Length of Proofs - With an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving.
224-240
Marius Zimand: Symmetry of Information: A Closer Look.
241-246
Physics, Philosophy and Computation
Gregory J. Chaitin: How Much Information Can There Be in a Real Number?
247-251
S. Barry Cooper: Mathematics, Metaphysics and the Multiverse.
252-267