- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Thinking about Gödel and Turing: essays on complexity 1970-2007
Thinking about Gödel and Turing: essays on complexity 1970-2007/ Gregory J Chaitin; with a foreword by Paul Davies. -- Hackensack, N.J.: World Scientific, 2007. Call no. : 511.3 C435 Summary:Contains 23 non-technical papers. This book includes essays which summarize a lifetime effort to use the notion of program-size complexity or algorithmic information content in order to shed further light on the fundamental work of Godel and Turing on...
16 p hcmute 06/09/2024 55 1
Từ khóa: Computational complexity, Gödel's theorem, Incompleteness theorems, Logic, Symbolic and mathematical, Metamathematics.
Thinking about Gödel and Turing: essays on complexity 1970-2007
CHAITIN, GREGORY JThinking about Gödel and Turing: essays on complexity 1970-2007/ Gregory J Chaitin; with a foreword by Paul Davies. -- Hackensack, N.J.: World Scientific, 2007. - xix, 347 p.; 27 cm. Sách có tại Phòng Mượn, Thư viện Đại học Sư phạm Kỹ thuật TP. Hồ Chí Minh. Số phân loại: 511.3 C435
16 p hcmute 13/04/2022 174 0
Từ khóa: Computational complexity, Gödel's theorem, Incompleteness theorems, Logic, Symbolic and mathematical, Metamathematics