The Hypothetical “Hello, World” Tes

The Hypothetical “Hello, World” Tester
The proof of impossibility of making the hello-world test is a proof by contra¬diction. That is, we assume there is a program, call it H, that takes as input a program P and an input I, and tells whether P with input I prints hello, world. Figure 8.3 is a representation of what H does. In particular, the only output H makes is either to print the three characters yes or to print the two characters no. It always does one or the other.
If a problem has an algorithm like H, that always tells correctly whether an instance of the problem has answer “yes” or “no,” then the problem is said to

Kết quả (Việt) 1:

Giả thuyết "Hello, World" TesterBằng chứng của impossibility làm cho thử nghiệm thế giới Xin chào là một chứng minh bằng contra¬diction. Có nghĩa là, chúng tôi giả định đó là một chương trình, gọi nó là H, mà mất như đầu vào một chương trình P và một đầu vào tôi, và cho dù P với đầu vào tôi in hello, thế giới. Con số 8.3 là một đại diện của gì H. Đặc biệt, đầu ra duy nhất làm cho H là in ba nhân vật có hoặc in hai nhân vật không. Nó luôn luôn làm một hay khác.Nếu một vấn đề có một thuật toán giống như H, mà luôn luôn nói một cách chính xác cho dù một thể hiện của vấn đề có câu trả lời "có" hoặc "không", sau đó vấn đề nói đến

Kết quả (Việt) 2:

Các giả thuyết "Hello, World" Tester
Các bằng chứng bất khả kháng làm các xét nghiệm hello-thế giới là một bằng chứng của contra¬diction. Đó là, chúng ta giả sử có một chương trình, gọi nó là H, mà mất như đầu vào một chương trình P và một đầu vào tôi, và nói cho dù P với đầu vào tôi in hello, thế giới. Hình 8.3 là một đại diện của những gì H làm. Cụ thể, sản lượng chỉ làm cho H là hoặc để in ra ba nhân vật có hoặc in hai nhân vật không có. Nó luôn luôn làm cái này hay cái khác.
Nếu một vấn đề có một thuật toán như H, mà luôn luôn nói một cách chính xác cho dù một thể hiện của các vấn đề có câu trả lời "có" hoặc "không", thì những vấn đề được cho là