Conceptual Development Mục đích của chương này là để giới thiệu các khái niệm phức tạp của chương trình kích thước. Chúng tôi làm điều này bằng cách đưa ra một phẳng hơn câu chuyện về sự tiến hóa của khái niệm này, đưa ra bản phác thảo bằng chứng thay vì chứng minh chính thức, bắt đầu với kích thước chương trình trong LISP. Trong Chương 6 chúng tôi sẽ bắt đầu lại từ đầu, và cung cấp cho nitions de chính thức và chứng minh | Part II Program Size Halting Probabilities Randomness Metamathematics 135 137 Having done the bulk of the work necessary to encode the halting probability Q as an exponential diophantine equation we now turn to theory. In Chapter 5 we trace the evolution of the concepts of programsize complexity. In Chapter 6 we define these concepts formally and develop their basic properties. In Chapter 7 we study the notion of a random real and show that Q is a random real. And in Chapter 8 we develop incompleteness theorems for random .
