FROM PHILOSOPHY TO PROGRAM SIZE Key Ideas and Methods Lecture Notes on Algorithmic Information Theory from the 8th Estonian Winter School in Computer Science, EWSCS'03 Gregory J. Chaitin, IBM Research Published by Institute of Cybernetics Tallinn 60 pages, ISBN 9985-894-55-3 2003 [Camera-ready copy for text, for cover art. Errata: bottom of p. 56, "footnote 6 on page 24" should read "footnote 6 on page 28"; p. 59, "École Normal Supérieure" should read "École Normale Supérieure".]

CONTENTS Preface Detailed Contents Day I---Philosophical Necessity of AIT Day II---Main Application of AIT: Incompleteness Day III---Technical Survey of AIT: Definitions & Theorems Day IV---LISP Implementation of AIT Additional Reading