एलन ट्युरिङ। ओरेकलले अराजकताबाट भविष्यवाणी गर्छ
प्रविधिको

एलन ट्युरिङ। ओरेकलले अराजकताबाट भविष्यवाणी गर्छ

एलन ट्युरिङले कुनै पनि प्रश्नको जवाफ दिन सक्षम "ओरेकल" सिर्जना गर्ने सपना देखे। न त उनले न त अरु कसैले यस्तो मेसिन बनाएका छन् । यद्यपि, उत्कृष्ट गणितज्ञले 1936 मा आएको कम्प्युटर मोडेललाई कम्प्युटर युगको म्याट्रिक्स मान्न सकिन्छ - साधारण क्यालकुलेटरहरूदेखि शक्तिशाली सुपर कम्प्युटरहरूसम्म।

टुरिङद्वारा निर्मित मेसिन एक साधारण एल्गोरिदमिक उपकरण हो, जुन आजका कम्प्युटर र प्रोग्रामिङ भाषाहरूको तुलनामा आदिम पनि छ। र अझै पनि यो सबैभन्दा जटिल एल्गोरिदमहरू कार्यान्वयन गर्न अनुमति दिन पर्याप्त बलियो छ।

एलन ट्युरिङ

शास्त्रीय परिभाषामा, ट्युरिङ मेसिनलाई एल्गोरिदमहरू कार्यान्वयन गर्न प्रयोग गरिने कम्प्युटरको अमूर्त मोडेलको रूपमा वर्णन गरिएको छ, जसमा डाटा लेखिएको क्षेत्रहरूमा विभाजित असीमित लामो टेप समावेश हुन्छ। टेप एक छेउमा वा दुवै पक्षमा अनन्त हुन सक्छ। प्रत्येक क्षेत्र N राज्य मध्ये एक हुन सक्छ। मेसिन सधैं एक क्षेत्र मा माथि स्थित छ र M-राज्यहरु मध्ये एक मा छ। मेसिनको अवस्था र फिल्डको संयोजनमा निर्भर गर्दै, मेसिनले फिल्डमा नयाँ मान लेख्छ, अवस्था परिवर्तन गर्छ, र त्यसपछि एउटा फिल्डलाई दायाँ वा बायाँ सार्न सक्छ। यो कार्य आदेश भनिन्छ। ट्युरिङ मेसिनलाई कुनै पनि संख्यामा त्यस्ता निर्देशनहरू भएको सूचीद्वारा नियन्त्रण गरिन्छ। संख्या N र M कुनै पनि हुन सक्छ, जबसम्म तिनीहरू सीमित छन्। ट्युरिङ मेसिनका लागि निर्देशनहरूको सूचीलाई यसको कार्यक्रमको रूपमा सोच्न सकिन्छ।

आधारभूत मोडेलमा कोशिकाहरू (वर्ग) र एउटा ट्याप हेडमा विभाजन गरिएको इनपुट टेप हुन्छ जसले कुनै पनि समयमा एउटा कक्षलाई मात्र अवलोकन गर्न सक्छ। प्रत्येक कक्षले वर्णहरूको सीमित वर्णमालाबाट एक क्यारेक्टर समावेश गर्न सक्छ। परम्परागत रूपमा, यो मानिन्छ कि इनपुट प्रतीकहरूको अनुक्रम टेपमा राखिएको छ, बाँयाबाट सुरु गरी, बाँकी कक्षहरू (इनपुट प्रतीकहरूको दायाँमा) टेपको विशेष प्रतीकले भरिएका छन्।

यसरी, ट्युरिङ मेसिनमा निम्न तत्वहरू हुन्छन्:

  • एउटा चल पढ्ने/लेख्ने टाउको जुन टेपमा सार्न सक्छ, एक पटकमा एउटा वर्गलाई सार्दै;
  • राज्यहरूको एक सीमित सेट;
  • अन्तिम वर्ण वर्णमाला;
  • चिन्हित वर्गहरूको साथ अनन्त पट्टी, जसमध्ये प्रत्येकमा एक क्यारेक्टर हुन सक्छ;
  • निर्देशनहरू सहितको राज्य संक्रमण रेखाचित्र जसले प्रत्येक स्टपमा परिवर्तनहरू निम्त्याउँछ।

हाइपर कम्प्युटरहरू

ट्युरिङ मेसिनले हामीले निर्माण गर्ने कुनै पनि कम्प्युटर अपरिहार्य सीमाहरू हुनेछन् भनेर प्रमाणित गर्छ। उदाहरण को लागी, प्रसिद्ध Gödel अपूर्णता प्रमेय संग सम्बन्धित। एक अंग्रेजी गणितज्ञले प्रमाणित गरे कि त्यहाँ समस्याहरू छन् जुन कम्प्युटरले समाधान गर्न सक्दैन, यद्यपि हामीले यस उद्देश्यका लागि संसारका सबै कम्प्युटेसनल पेटाफ्लपहरू प्रयोग गरे पनि। उदाहरणका लागि, तपाईंले कहिले पनि भन्न सक्नुहुन्न कि कुनै प्रोग्राम अनन्त रूपमा दोहोरिने तार्किक लूपमा पुग्छ, वा यदि यो समाप्त गर्न सक्षम हुन्छ भने - पहिले कुनै प्रोग्राम प्रयास नगरीकन जुन लूपमा पर्ने जोखिम हुन्छ, आदि। (जसलाई रोक समस्या भनिन्छ)। ट्युरिङ मेसिनको निर्माण पछि निर्मित उपकरणहरूमा यी असम्भवहरूको प्रभाव, अन्य चीजहरू बीच, कम्प्युटर प्रयोगकर्ताहरूलाई परिचित "मृत्युको नीलो स्क्रिन" हो।

एलन ट्युरिङ पुस्तक कभर

सन् १९९३ मा प्रकाशित जाभा सिगेलम्यानको कामले देखाएको फ्युजन समस्यालाई न्यूरल नेटवर्कमा आधारित कम्प्युटरद्वारा समाधान गर्न सकिन्छ, जसमा मस्तिष्कको संरचनाको नक्कल गर्ने तरिकाले एकअर्कासँग जोडिएका प्रोसेसरहरू हुन्छन्। एकबाट अर्कोमा "इनपुट" मा जाने कम्प्युटेसनल नतिजा। "हाइपरकम्प्यूटर" को अवधारणा उभिएको छ, जसले गणना गर्न ब्रह्माण्डको आधारभूत संयन्त्रहरू प्रयोग गर्दछ। यी हुनेछन् - जतिसुकै विदेशी लाग्न सक्छ - मेशिनहरू जसले सीमित समयमा अपरेसनहरूको असीमित संख्या गर्दछ। ब्रिटिश युनिभर्सिटी अफ शेफिल्डका माइक स्ट्यानेटले उदाहरणका लागि हाइड्रोजन एटममा इलेक्ट्रोनको प्रयोग गर्ने प्रस्ताव राखे, जुन सिद्धान्तमा असीमित संख्यामा राज्यहरूमा अवस्थित हुन सक्छ। यी अवधारणाहरूको साहसको तुलनामा क्वान्टम कम्प्युटरहरू पनि फिक्का हुन्छन्।

हालैका वर्षहरूमा, वैज्ञानिकहरू "ओरेकल" को सपनामा फर्किरहेका छन् जुन ट्युरिङले आफैंले कहिल्यै बनाएको वा प्रयास पनि गरेन। मिसौरी विश्वविद्यालयका एमेट रेड र स्टिभन यङ्गरले "ट्युरिङ सुपरमेसिन" बनाउन सम्भव छ भन्ने विश्वास गर्छन्। तिनीहरूले माथि उल्लिखित चाभा सिगेलम्यानले लिएको त्यही बाटो पछ्याउँछन्, तंत्रिका नेटवर्कहरू निर्माण गर्दै जसमा इनपुट-आउटपुटमा, शून्य-एक मानहरूको सट्टा, त्यहाँ राज्यहरूको सम्पूर्ण दायरा हुन्छ - संकेत "पूर्ण रूपमा सक्रिय" देखि "पूर्ण रूपमा बन्द" सम्म। । Redd ले NewScientist को जुलाई 2015 अंकमा व्याख्या गरेझैं, "0 र 1 को बीचमा अनन्तता छ।"

श्रीमती सिगेलम्यान मिसौरीका दुई अनुसन्धानकर्ताहरूसँग सामेल भइन्, र उनीहरूले मिलेर अराजकताका सम्भावनाहरू खोज्न थाले। लोकप्रिय विवरण अनुसार, अराजकता सिद्धान्तले सुझाव दिन्छ कि एक गोलार्धमा पुतलीको पखेटा फ्याप्नुले अर्कोमा तूफान निम्त्याउँछ। टुरिङको सुपरमेसिन निर्माण गर्ने वैज्ञानिकहरूको दिमागमा धेरै कुरा उस्तै छन् - एउटा प्रणाली जसमा साना परिवर्तनहरूले ठूलो परिणाम दिन्छ।

2015 को अन्त्य सम्म, Siegelman, Redd, र Younger को काम को लागी धन्यवाद, दुई प्रोटोटाइप अराजकता आधारित कम्प्युटरहरू निर्माण गरिनु पर्छ। ती मध्ये एउटा न्यूरल नेटवर्क हो जसमा तीनवटा परम्परागत इलेक्ट्रोनिक कम्पोनेन्टहरू एघार सिनेप्टिक जडानहरूद्वारा जोडिएका हुन्छन्। दोस्रो फोटोनिक यन्त्र हो जसले प्रकाश, ऐना र लेन्सहरू प्रयोग गर्दछ एघार न्युरोन्स र 3600 synapses पुन: सिर्जना गर्न।

धेरै वैज्ञानिकहरूले "सुपर-ट्युरिङ" निर्माण गर्नु यथार्थवादी हो भन्नेमा शंका व्यक्त गरेका छन्। अरूको लागि, यस्तो मेसिन प्रकृतिको अनियमितताको भौतिक मनोरञ्जन हुनेछ। प्रकृतिको सर्वज्ञान, यो सबै उत्तरहरू थाहा छ भन्ने तथ्य, यो प्रकृति हो भन्ने तथ्यबाट आउँछ। प्रकृति, ब्रह्माण्डलाई पुन: उत्पादन गर्ने प्रणाली, सबै कुरा थाहा छ, एक ओरेकल हो, किनकि यो सबैजस्तै समान छ। सायद यो एक कृत्रिम सुपरइन्टेलिजेन्स को बाटो हो, केहि चीज को लागी जसले मानव मस्तिष्क को जटिलता र अराजक कार्य को पुन: सिर्जना गर्दछ। ट्युरिङ आफैंले एक पटक आफ्नो गणनाको नतिजा अव्यवस्थित र अनियमित बनाउन डिजाइन गरेको कम्प्युटरमा रेडियोएक्टिभ रेडियम राख्न सुझाव दिए।

यद्यपि, अराजकतामा आधारित सुपरमेसिनहरूको प्रोटोटाइपहरूले काम गरे पनि, तिनीहरू वास्तवमै यी सुपरमेसिनहरू हुन् भनेर कसरी प्रमाणित गर्ने भन्ने समस्या रहन्छ। वैज्ञानिकहरूसँग उपयुक्त स्क्रिनिङ परीक्षणको लागि अझै कुनै विचार छैन। यो जाँच गर्न प्रयोग गर्न सकिने मानक कम्प्युटरको दृष्टिकोणबाट, सुपरमेसिनहरूलाई तथाकथित त्रुटिपूर्ण, अर्थात् प्रणाली त्रुटिहरू मान्न सकिन्छ। मानव दृष्टिकोणबाट, सबै कुरा पूर्णतया बुझ्न नसकिने र ... अराजक हुन सक्छ।

एक टिप्पणी थप्न