01122nam a2200205Ia 4500 CTU_116884 210402s9999 xx 000 0 und d 32.26 006.31 C435 Chaitin, Gregory J. Algorithmic information theory Gregory J. Chaitin Cambridge, UK Cambridge University Press 2004 The inventor of algorithmic information theory, presents in this book the strongest possible version of Godel's incompleteness theorem, using an information theoretic approach based on the size of computer programs." This slim but highly original (and frequently lively) monograph brings to mind the (related) work of Godel and of Turing; it is methodologically/stylistically idiosyncratic, and addressed to the clarification of some deeply fundamental issues"the nature of randomness and the limitations of the axiomatic method." Machine theory,Computational complexity,LISP ( computer program language ) Minh Trung tâm Học liệu Trường Đại học Cần Thơ