01212nam a2200409 4500 DLU210196542 ##20210602 ##080130s2007 nju 000 0 eng 2008270513 9789812708953 9789812708960 (pbk.) 9812708952 9812708960 (pbk.) DLC DLC DLC 511.3 CH-G Chaitin, Gregory J. Thinking about Gödel and Turing : essays on complexity 1970-2007 / Gregory J Chaitin ; with a foreword by Paul Davies. Gödel and Turing and Turing Hackensack, N.J. : World Scientific, c2007. xix, 347 p. ; 27 cm. Includes bibliographical references and index. Computational complexity. Gödel's theorem. Incompleteness theorems. Logic, Symbolic and mathematical. Metamathematics. 01/2021 SH 4085460 DLU True Nguyễn Thanh Hương G A SH Thư viện Trường Đại học Đà Lạt