Since 2004, our University project has become the Internet's most widespread web hosting directory. Here we like to talk a lot about web development, networking and server security. It is, after all, our expertise. To make things better we've launched this science section with the free access to educational resources and important scientific material translated to different languages.
Чэрпаючы LOOP Snooper
Доказ таго, што праблемы прыпынку невырашальная
Джэфры К. Pullum(школа філасофіі, псіхалогіі і мовазнаўства Эдынбургскі універсітэта)
| Няма агульнага парадку памылка праверкі паспяхова. Цяпер я не проста сцвярджаю, што я пакажу, куды ён вядзе: Я дакажу, што хоць вы маглі б працаваць да звалюся, вы не можаце сказаць, калі разлік будзе спынены. |
| Для прадстаўце, што мы ёсць працэдура пад назвай P, што пры зададзеных ўваход дазваляе вам бачыць ці паказаны зыходны код, з усімі яго недахопы, вызначае працэдуру, якая ў рэшце рэшт спыняецца. |
| Вы корміце ў вашай праграме, з падыходнымі дадзенымі, і P прымаецца за працу, і праз некаторы час (за канчатковае час вылічыць) правільна выводзіць ці бясконцы цыкл паводзінаў адбываецца. |
| Калі не будзе ніякіх цыклаў, то P выводзіць "Добра". Гэта азначае, што працы на гэтым ўваходзе будзе спыніць, як след. Але калі ён выяўляе спыніць цыкл, то P справаздач Дрэнна! --- Значыць, вы знаходзіцеся ў суп. |
| Ну, праўда заключаецца ў тым, што P не можа быць, таму што, калі вы напісалі яе і даў яго мне, я мог бы выкарыстаць яго для стварэння лагічнай прывязкі, што б разбурыць вашы розум і барацьба вашага розуму. |
| Вось трук, які я буду выкарыстоўваць - і гэта проста зрабіць. Я вызначу працэдура, якую я буду называць Q, якая будзе выкарыстоўваць P 'з прагнозамі спыніць поспех для распальвання страшнага лагічнага беспарадак. |
| Для названай праграмы, скажам, адной пастаўкі, першы крок гэтай праграмы пад назвай Q Я думаю, каб знайсці з Р, што правільна казаць аб цыкле паводзіны працаваць на. |
| Калі Р 'ы адказ "Bad!', Q, раптам спыніцца. Але з іншага боку, Q вернецца да вяршыні, і пачаць зноў, цыкл бясконца назад, да Сусвету памірае і ператвараецца замарожаных і чорны. |
| І гэтая праграма пад назвай Q не застанецца на паліцы, я б папрасіць яго прагноз яго працаваць на сябе. Калі ён чытае свой зыходны код, толькі тое, што ён будзе рабіць? Што цыклу паводзіны Q працаваць на Q? |
| Калі P папярэджвае аб бясконцых цыклах, Q сыдзе, пакуль P павінна гаварыць па-сапраўднаму пра яго! І калі Q 'ы збіраецеся кінуць паліць, то P павінна сказаць: "Добра". Што робіць Q пачынаем цыкл! (P адмаўлялі, што гэта будзе.) |
| Незалежна ад таго, як P можа выконваць, Q будзе чэрпаць гэта: Q выкарыстоўвае Р 'з выхадам, каб P выглядаць дурное. Незалежна P кажа, ён не можа прадказаць, Q: P з'яўляецца правільным, калі гэта не так, і ілжыва, калі гэта праўда! |
| Я стварыў парадокс, акуратныя, як можа быць --- і проста з дапамогай вашага меркаванага P. Калі вы пакладзена P вы ўступілі ў пастку; Ваша здагадка прывяло вас прама ў маю бярлог. |
| Дык дзе ж гэты аргумент, магчыма, узрастуць? Я не павінен вам сказаць, я ўпэўнены, што вы павінны ведаць. Reductio: Там не можа быць працэдура, якая дзейнічае падобна міфічнай P. |
| Вы ніколі не можаце знайсці агульную механічнымі сродкамі для прагназавання дзеянняў вылічальных машын; гэта тое, што не можа быць зроблена. Такім чынам, мы карыстальнікі павінны знайсці сваё памылак. Нашы кампутары прайгралі! |
У кастрычніку 2000 года, пасля судзейства затрымкай амаль год, раней і няправільная версія гэтай паэтычнай доказ было апублікавана ў часопісе Матэматыка (73, вып. 4, 319-320). Я вельмі ўдзячны Піліпу Wadler (інфарматыка, Універсітэт Эдынбурга) і Лары Мос (матэматыка, Універсітэт штата Індыяна) за дапамогу ў развіцці гэтай выпраўленай версіяй, якая зараз вольная ад памылак (паверце мне, вы можаце гэта праверыць). Дзякуй таксама позна Сьюзэн Доктар для стылю, і, вядома, піянерскія працы Алана Цьюрынга (і добрае ўяўленне спрошчанай Марцін Дэвіс) для ўтрымання. Copyright © 2008 Джэфры К. Pullum. Дазваляецца прайграваць або распаўсюджваць гэтую працу ў некамерцыйных, адукацыйных мэтах, звязаных з выкладання інфарматыкі, матэматыкі або логікі. Useful Info
Published (Last edited): 29-07-2011
, source:
http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html