ALGORITHMIC INFORMATION THEORY - CHAPTER 8

Incompleteness Phát triển các hình thức lý thuyết thông tin cần thiết trong Chương 6, và sau khi nghiên cứu các khái niệm về một thực tế ngẫu nhiên trong Chương 7, chúng ta có thể bắt đầu để lấy được các định lý không đầy đủ. Thiết lập như sau. Các tiên đề của một lý thuyết chính thức được coi là mã hóa như là một chuỗi bit duy nhất của đêm, các quy tắc suy luận được coi là một thuật toán để liệt kê các định lý các tiên đề, và nói chung chúng ta sẽ...