How to run algorithmic information theory on a computer:Studying the limits of mathematical reasoning
Gregory J. Chaitin · Complexity · 1996
This article includes Supplementary Material available from the authors upon request or via the Internet at http://www.interscience.wiley.com/jpages/1076-2787/suppmat/2/v2.15.html Please note: The publisher is not responsible for the content or functionality of any supporting information supplied by the authors. Any queries (other than missing content) should be directed to the corresponding author for the article.