Problems That Computers Cannot Solv

Problems That Computers Cannot Solve
The purpose of this section is to provide an informal, C-programming-based introduction to the proof of a specific problem that computers cannot solve. The particular problem we discuss is whether the first thing a C program prints
is hello, world. Although we might imagine that simulation of the program would allow us to tell what the program does, we must in reality contend with programs that take an unimaginably long time before making any output at all. This problem — not knowing when, if ever, something will occur — is the ultimate cause of our inability to tell what a program does. However, proving formally that there is no program to do a stated task is quite tricky, and we need to develop some formal mechanics. In this section, we give the intuition behind the formal proofs.
1. Programs that Print “Hello, World”
In Fig. 8.1 is the first C program met by students who read Kernighan and Ritchie’s classic book. It is rather easy to discover that this program prints hello, world and terminates. This program is so transparent that it has become a common practice to introduce languages by showing how to write a program to print hello, world in those languages.

Problems That Computers Cannot Solve
The purpose of this section is to provide an informal, C-programming-based introduction to the proof of a specific problem that computers cannot solve. The particular problem we discuss is whether the first thing a C program prints 
is hello, world. Although we might imagine that simulation of the program would allow us to tell what the program does, we must in reality contend with programs that take an unimaginably long time before making any output at all. This problem — not knowing when, if ever, something will occur — is the ultimate cause of our inability to tell what a program does. However, proving formally that there is no program to do a stated task is quite tricky, and we need to develop some formal mechanics. In this section, we give the intuition behind the formal proofs.
1. Programs that Print “Hello, World”
In Fig. 8.1 is the first C program met by students who read Kernighan and Ritchie’s classic book. It is rather easy to discover that this program prints hello, world and terminates. This program is so transparent that it has become a common practice to introduce languages by showing how to write a program to print hello, world in those languages.

0/5000

Từ: -

Sang: -

Kết quả (Việt) 1: [Sao chép]

Sao chép!

Vấn đề máy tính không thể giải quyếtMục đích của phần này là cung cấp một giới thiệu không chính thức, C-lập trình dựa trên bằng chứng của một vấn đề cụ thể mà máy tính không thể giải quyết. Vấn đề cụ thể, chúng tôi thảo luận là cho dù việc đầu tiên chương trình C in là xin chào, thế giới. Mặc dù chúng ta có thể tưởng tượng rằng các mô phỏng của chương trình sẽ cho phép chúng tôi để cho biết những gì chương trình, chúng tôi phải trong thực tế contend với chương trình mất một thời gian dài unimaginably trước khi thực hiện bất kỳ đầu ra ở tất cả. Vấn đề này-không biết khi nào, nếu bao giờ hết, một cái gì đó sẽ xảy ra — là nguyên nhân cuối cùng của chúng tôi không có khả năng cho biết những gì một chương trình. Tuy nhiên, chứng minh chính thức là có không có chương trình để làm một nhiệm vụ đã nêu là khá phức tạp, và chúng ta cần phải phát triển một số cơ học chính thức. Trong phần này, chúng tôi cung cấp cho trực giác đằng sau chứng minh chính thức.1. chương trình đó Print "Hello, World"Trong hình 8.1 là chương trình C đầu tiên gặp gỡ sinh viên đọc Kernighan và Ritchie của cuốn sách kinh điển. Nó là khá dễ dàng để khám phá rằng chương trình này in Xin chào, thế giới và chấm dứt. Chương trình này là như vậy trong suốt rằng nó đã trở thành một thực tế phổ biến để giới thiệu ngôn ngữ bằng cách hiển thị làm thế nào để viết một chương trình để in hello, thế giới trong những ngôn ngữ đó.

đang được dịch, vui lòng đợi..

Kết quả (Việt) 2:[Sao chép]

Sao chép!

Vấn đề có tính không thể giải quyết
Mục đích của phần này là để cung cấp một thức, C-lập trình dựa trên giới thiệu về các bằng chứng của một vấn đề cụ thể mà máy tính không thể giải quyết. Các vấn đề cụ thể, chúng tôi thảo luận là liệu điều đầu tiên một chương trình in C
là hello, thế giới. Mặc dù chúng ta có thể tưởng tượng rằng mô phỏng của chương trình sẽ cho phép chúng tôi để biết những chương trình nào, chúng ta phải trong thực tế đấu tranh với các chương trình chiếm một thời gian dài không tưởng tượng trước khi thực hiện bất kỳ sản lượng ở tất cả. Vấn đề này - không biết khi nào, nếu có, một cái gì đó sẽ xảy ra - là nguyên nhân cơ bản của sự bất lực của chúng tôi để biết những gì một chương trình nào. Tuy nhiên, chứng minh chính thức rằng không có chương trình để làm một nhiệm vụ đã nêu là khá khó khăn, và chúng ta cần phải phát triển một số cơ chế chính thức. Trong phần này, chúng tôi cung cấp cho các trực giác đằng sau những bằng chứng chính thức.
1. Các chương trình In "Hello, World"
Trong hình. 8.1 là chương trình C đầu tiên gặp các học sinh đọc Kernighan và Ritchie của cuốn sách kinh điển. Nó là khá dễ dàng để khám phá ra rằng chương trình này in hello, thế giới và chấm dứt. Chương trình này là để minh bạch mà nó đã trở thành một thực tế phổ biến để giới thiệu ngôn ngữ bằng cách hiển thị như thế nào để viết một chương trình để in hello, thế giới trong những ngôn ngữ.

đang được dịch, vui lòng đợi..

Kết quả (Việt) 3:[Sao chép]

Sao chép!

đang được dịch, vui lòng đợi..

Các ngôn ngữ khác

Hỗ trợ công cụ dịch thuật: Albania, Amharic, Anh, Armenia, Azerbaijan, Ba Lan, Ba Tư, Bantu, Basque, Belarus, Bengal, Bosnia, Bulgaria, Bồ Đào Nha, Catalan, Cebuano, Chichewa, Corsi, Creole (Haiti), Croatia, Do Thái, Estonia, Filipino, Frisia, Gael Scotland, Galicia, George, Gujarat, Hausa, Hawaii, Hindi, Hmong, Hungary, Hy Lạp, Hà Lan, Hà Lan (Nam Phi), Hàn, Iceland, Igbo, Ireland, Java, Kannada, Kazakh, Khmer, Kinyarwanda, Klingon, Kurd, Kyrgyz, Latinh, Latvia, Litva, Luxembourg, Lào, Macedonia, Malagasy, Malayalam, Malta, Maori, Marathi, Myanmar, Mã Lai, Mông Cổ, Na Uy, Nepal, Nga, Nhật, Odia (Oriya), Pashto, Pháp, Phát hiện ngôn ngữ, Phần Lan, Punjab, Quốc tế ngữ, Rumani, Samoa, Serbia, Sesotho, Shona, Sindhi, Sinhala, Slovak, Slovenia, Somali, Sunda, Swahili, Séc, Tajik, Tamil, Tatar, Telugu, Thái, Thổ Nhĩ Kỳ, Thụy Điển, Tiếng Indonesia, Tiếng Ý, Trung, Trung (Phồn thể), Turkmen, Tây Ban Nha, Ukraina, Urdu, Uyghur, Uzbek, Việt, Xứ Wales, Yiddish, Yoruba, Zulu, Đan Mạch, Đức, Ả Rập, dịch ngôn ngữ.