Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
Paper
A new version of algorithmic information theory
Abstract
We present a much more concrete version of algorithmic information theory in which one can actually run on a computer the algorithms in the proofs of a number of key information-theoretic incompleteness theorems. © 1996 Wiley Periodicals, Inc., a Wiley Company.
Related
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Gal Badishi, Idit Keidar, et al.
IEEE TDSC
Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004