Alan Turing Oracle က ပရမ်းပတာကနေ ဟောကိန်းထုတ်တယ်။

Alan Turing သည် မည်သည့်မေးခွန်းကိုမဆိုဖြေဆိုနိုင်သော "oracle" ကို ဖန်တီးရန် အိပ်မက်မက်ခဲ့သည်။ သူရော တခြားဘယ်သူမှလည်း ဒီလိုစက်မျိုး မဆောက်ဘူး။ သို့သော် 1936 ခုနှစ်တွင် တောက်ပသော သင်္ချာပညာရှင်မှ တီထွင်ခဲ့သော ကွန်ပျူတာပုံစံသည် ရိုးရှင်းသော ဂဏန်းတွက်စက်များမှ အားကောင်းသည့် စူပါကွန်ပျူတာများအထိ ကွန်ပျူတာခေတ်၏ matrix ဖြစ်သည်ဟု ယူဆနိုင်သည်။

Turing မှ တည်ဆောက်ထားသော စက်သည် ယနေ့ခေတ် ကွန်ပျူတာများနှင့် ပရိုဂရမ်းမင်းဘာသာစကားများနှင့် နှိုင်းယှဉ်လျှင်ပင် ရိုးရှင်းသော အယ်လဂိုရီသမ်ကိရိယာတစ်ခုဖြစ်သည်။ အရှုပ်ထွေးဆုံး algorithms တွေကိုတောင် အကောင်အထည်ဖော်ဖို့ လုံလောက်တဲ့ အားကောင်းတယ်။

Alan Turing

ရှေးရိုးအဓိပ္ပါယ်ဖွင့်ဆိုချက်တွင်၊ Turing စက်အား ဒေတာရေးသားသည့်နယ်ပယ်များအဖြစ် အကန့်အသတ်မရှိ ရှည်လျားသောတိပ်တစ်ခုပါ၀င်သော algorithms များကိုလုပ်ဆောင်ရန်အသုံးပြုသည့် ကွန်ပျူတာ၏ စိတ္တဇပုံစံတစ်ခုအဖြစ် ဖော်ပြသည်။ တိပ်သည် တစ်ဖက်တွင် သို့မဟုတ် နှစ်ဖက်စလုံးတွင် အဆုံးမရှိဖြစ်နိုင်သည်။ အကွက်တစ်ခုစီသည် N ပြည်နယ်များထဲမှ တစ်ခုဖြစ်သည်။ စက်သည် နယ်ပယ်တစ်ခု၏အထက်တွင် အမြဲတမ်းတည်ရှိပြီး M-ပြည်နယ်များထဲမှ တစ်ခုဖြစ်သည်။ စက်အခြေအနေနှင့် အကွက် ပေါင်းစပ်မှုပေါ်မူတည်၍ စက်သည် အကွက်သို့ တန်ဖိုးအသစ်တစ်ခုရေးသည်၊ အခြေအနေကို ပြောင်းလဲပြီးနောက် အကွက်တစ်ခုကို ညာဘက် သို့မဟုတ် ဘယ်ဘက်သို့ ရွှေ့နိုင်သည်။ ဤလုပ်ဆောင်ချက်ကို အမိန့်ဟုခေါ်သည်။ Turing စက်ကို ထိုသို့သော ညွှန်ကြားချက်အရေအတွက်များပါရှိသော စာရင်းတစ်ခုမှ ထိန်းချုပ်ထားသည်။ N နှင့် M နံပါတ်များသည် အကန့်အသတ်ရှိနေသရွေ့ မည်သည့်အရာမဆို ဖြစ်နိုင်သည်။ Turing စက်အတွက် ညွှန်ကြားချက်များစာရင်းကို ၎င်း၏ပရိုဂရမ်အဖြစ် ထည့်သွင်းစဉ်းစားနိုင်သည်။

အခြေခံမော်ဒယ်တွင် ဆဲလ်တစ်ခု (စတုရန်းများ) နှင့် သတ်မှတ်အချိန်အတွင်း ဆဲလ်တစ်ခုသာ ကြည့်ရှုနိုင်သော တိပ်ခေါင်းတစ်ခု ပါရှိသည်။ ဆဲလ်တစ်ခုစီတွင် ကန့်သတ်အက္ခရာတစ်ခုမှ စာလုံးတစ်လုံးစီ ပါဝင်နိုင်သည်။ သမရိုးကျအားဖြင့်၊ ဘယ်ဘက်မှ စတင်၍ တိပ်ပေါ်တွင် ထည့်သွင်းသင်္ကေတများကို စီစဥ်ထားသည်ဟု ယူဆရပြီး ကျန်ဆဲလ်များ (ထည့်သွင်းသင်္ကေတများ၏ ညာဘက်တွင်) သည် တိပ်၏ အထူးသင်္ကေတဖြင့် ပြည့်နေပါသည်။

ထို့ကြောင့် Turing စက်တွင် အောက်ပါအချက်များ ပါဝင်ပါသည်။

• တိပ်ကိုဖြတ်၍ တစ်ကြိမ်လျှင် စတုရန်းတစ်ခုသို့ ရွေ့လျားနိုင်သော ရွှေ့ပြောင်းနိုင်သော ဖတ်/ရေးခေါင်း၊
• ကန့်သတ်ပြည်နယ်များ
• နောက်ဆုံးအက္ခရာအက္ခရာ;
• တစ်ခုစီတွင် စာလုံးတစ်လုံးစီပါရှိသော အမှတ်အသားစတုရန်းများဖြင့် အဆုံးမရှိသော အကွက်တစ်ခု၊
• ရပ်တန့်မှုတစ်ခုစီတွင် အပြောင်းအလဲဖြစ်စေသော ညွှန်ကြားချက်များပါရှိသော ပြည်နယ်အကူးအပြောင်းပုံကြမ်း။

ဟိုက်ပါကွန်ပျူတာများ

Turing Machine သည် ကျွန်ုပ်တို့တည်ဆောက်သည့် မည်သည့်ကွန်ပြူတာမဆို မလွှဲမရှောင်သာသော ကန့်သတ်ချက်များရှိသည်ကို သက်သေပြပါသည်။ ဥပမာအားဖြင့်၊ နာမည်ကျော် Gödel မပြည့်စုံမှုသီအိုရီနှင့် ဆက်စပ်သည်။ ဤရည်ရွယ်ချက်အတွက် ကျွန်ုပ်တို့သည် ကမ္ဘာပေါ်ရှိ တွက်ချက်မှုဆိုင်ရာ petaflops အားလုံးကို အသုံးပြုထားသော်လည်း ကွန်ပျူတာတစ်လုံးမှ မဖြေရှင်းနိုင်သော ပြဿနာများရှိကြောင်း အင်္ဂလိပ်သင်္ချာပညာရှင်တစ်ဦးက သက်သေပြခဲ့သည်။ ဥပမာအားဖြင့်၊ ပရိုဂရမ်တစ်ခုသည် အကန့်အသတ်မရှိ ထပ်တလဲလဲ ယုတ္တိရှိသော ကွင်းဆက်တစ်ခုသို့ ရောက်ရှိမည်လား သို့မဟုတ် ၎င်းသည် သံသရာလည်သွားနိုင်သည့် အန္တရာယ်ရှိသော ပရိုဂရမ်ကို ဦးစွာမကြိုးစားဘဲ ရပ်တန့်သွားနိုင်မည်လား စသဖြင့် (ရပ်တန့်ပြဿနာဟုခေါ်သည်)။ Turing စက်ကိုဖန်တီးပြီးနောက်တည်ဆောက်ထားသောစက်များတွင်ဤမဖြစ်နိုင်မှုများ၏အကျိုးသက်ရောက်မှုသည်ကွန်ပျူတာအသုံးပြုသူများအတွက်အကျွမ်းတဝင်ရှိသော "blue screen of death" ဖြစ်သည်။

Alan Turing စာအုပ်အဖုံး

1993 ခုနှစ်တွင်ထုတ်ဝေခဲ့သော Java Siegelman ၏အလုပ်မှပြသထားသည့်အတိုင်းပေါင်းစပ်မှုပြဿနာကိုတစ်ဦးနှင့်တစ်ဦးချိတ်ဆက်ထားသောပရိုဆက်ဆာများပါ ၀ င်သော neural network ကိုအခြေခံထားသောကွန်ပျူတာဖြင့်ဖြေရှင်းနိုင်သည်။ တစ်ခုမှ "input" သို့ အခြားသို့သွားသော တွက်ချက်မှုရလဒ်။ တွက်ချက်မှုများလုပ်ဆောင်ရန် စကြဝဠာ၏အခြေခံယန္တရားများကိုအသုံးပြုသည့် "hypercomputers" အယူအဆ ပေါ်ပေါက်လာခဲ့သည်။ ဤအရာများသည် အကန့်အသတ်ရှိသောအချိန်တစ်ခုအတွင်း လုပ်ဆောင်မှုများစွာကို လုပ်ဆောင်ပေးသည့် အသံထွက်နိုင်သည့် ထူးခြားဆန်းပြားသည့် စက်များဖြစ်သည်။ ဥပမာအားဖြင့် British University of Sheffield မှ Mike Stannett သည် သီအိုရီအရ အကန့်အသတ်မရှိသော ပြည်နယ်များတွင် တည်ရှိနိုင်သည့် ဟိုက်ဒရိုဂျင်အက်တမ်တစ်ခုတွင် အီလက်ထရွန်ကို အသုံးပြုရန် အဆိုပြုခဲ့သည်။ ကွမ်တမ်ကွန်ပြူတာများသည် ဤသဘောတရားများ၏ ထက်မြက်မှုနှင့် နှိုင်းယှဉ်လျှင်ပင် မှုန်ဝါးဝါး။

မကြာသေးမီနှစ်များအတွင်း၊ သိပ္ပံပညာရှင်များသည် Turing ကိုယ်တိုင် မတည်ဆောက်ခဲ့၊ မကြိုးစားပင်သည့် 'oracle' အိပ်မက်ဆီသို့ ပြန်လာခဲ့ကြသည်။ Missouri တက္ကသိုလ်မှ Emmett Redd နှင့် Steven Younger တို့က "Turing supermachine" ကို ဖန်တီးနိုင်သည်ဟု ယုံကြည်ကြသည်။ ၎င်းတို့သည် အထက်ဖော်ပြပါ Chava Siegelman လျှောက်ခဲ့သည့် လမ်းကြောင်းအတိုင်း လိုက်၍ အဝင်-အထွက်တွင် သုည-တစ်တန်ဖိုးများအစား အာရုံကြောကွန်ရက်များကို တည်ဆောက်ခြင်း - အချက်ပြမှုမှ "အပြည့်အ၀ဖွင့်ခြင်း" မှ "အပြည့်အဝပိတ်သည်" အထိ အခြေအနေများ တစ်ခုလုံးပါရှိသည်။ . Redd သည် ဇူလိုင်လ 2015 ခုနှစ် NewScientist စာစောင်တွင် ရှင်းပြထားသည့်အတိုင်း "0 နှင့် 1 ကြားသည် အဆုံးမရှိ" ဖြစ်သည်။

မစ္စစ် Siegelman သည် Missouri သုတေသီနှစ်ဦးနှင့် ပူးပေါင်းခဲ့ပြီး ပရမ်းပတာဖြစ်နိုင်ချေများကို အတူတကွ စတင်စူးစမ်းခဲ့ကြသည်။ လူကြိုက်များသောဖော်ပြချက်အရ၊ ပရမ်းပတာသီအိုရီအရ ကမ္ဘာတစ်ခြမ်းရှိ လိပ်ပြာအတောင်ပံခတ်ခြင်းသည် အခြားတစ်ဖက်တွင် ဟာရီကိန်းဖြစ်စေသည်ဟု အကြံပြုထားသည်။ Turing ၏ စူပါစက်ကို တည်ဆောက်သော သိပ္ပံပညာရှင်များသည် သေးငယ်သော ပြောင်းလဲမှုတွင် ကြီးမားသော အကျိုးဆက်များကို ဖြစ်ပေါ်စေသည့် စနစ်တစ်ခု၏ စိတ်ထဲမှာ များစွာ တူညီကြသည်။

Siegelman၊ Redd နှင့် Younger တို့၏ အလုပ်ကြောင့် 2015 နှစ်ကုန်တွင် ရှေ့ပြေးပုံစံ ပရမ်းပတာအခြေခံကွန်ပျူတာနှစ်လုံးကို တည်ဆောက်သင့်သည်။ ၎င်းတို့ထဲမှ တစ်ခုသည် synaptic ချိတ်ဆက်မှု ဆယ့်တစ်ခုဖြင့် ချိတ်ဆက်ထားသော သမားရိုးကျ အီလက်ထရွန်နစ် အစိတ်အပိုင်း သုံးခုပါ၀င်သည့် အာရုံကြောကွန်ရက်တစ်ခုဖြစ်သည်။ ဒုတိယမှာ အလင်း၊ မှန်များနှင့် မှန်ဘီလူးများကို အသုံးပြု၍ နျူရွန် ၁၁ ခုနှင့် synapses 3600 ကို ပြန်လည်ဖန်တီးပေးသည့် ဖိုနစ်ကိရိယာဖြစ်သည်။

"စူပါ-ကျူရင်း" တည်ဆောက်ခြင်းသည် လက်တွေ့ကျသည်ဟု သိပ္ပံပညာရှင်များစွာက သံသယရှိကြသည်။ အခြားသူများအတွက်၊ ထိုသို့သောစက်သည် သဘာဝ၏ကျပန်းလုပ်ဆောင်မှု၏ ရုပ်ပိုင်းဆိုင်ရာအပန်းဖြေမှုတစ်ခုဖြစ်သည်။ သဗ္ဗညုတဉာဏ် သည် အလုံးစုံသော အဖြေကို သိသော သဘောတရား သည် သဘာဝ ဟူသော အကြောင်းကြောင့် ဖြစ်၏။ သဘာ၀ကို မျိုးပွားစေသော စနစ်၊ စကြဝဠာသည် အရာအားလုံးကို သိသည်၊ အကြောင်းမှာ အခြားသူများနှင့် အတူတူပင်ဖြစ်သောကြောင့်၊ ဤသည်မှာ လူ့ဦးနှောက်၏ ရှုပ်ထွေးမှုနှင့် ဖရိုဖရဲ အလုပ်များကို လုံလောက်စွာ ပြန်လည်ဖန်တီးပေးသည့် ဉာဏ်ရည်တုအတုဆီသို့ လမ်းကြောင်းဖြစ်နိုင်သည် ။ Turing သည် တစ်ချိန်က သူ၏တွက်ချက်မှုရလဒ်များကို ဖရိုဖရဲဖြစ်စေပြီး ကျပန်းကျပန်းဖြစ်စေရန် ဒီဇိုင်းထုတ်ထားသော ရေဒီယိုသတ္တိကြွရေဒီယမ်ကို ကွန်ပျူတာထဲသို့ ထည့်သွင်းရန် အကြံပြုခဲ့သည်။

သို့သော်လည်း ပရမ်းပတာအခြေခံစူပါစက်များ၏ ရှေ့ပြေးပုံစံများသည် အလုပ်ဖြစ်လျှင်ပင်၊ ၎င်းတို့သည် ဤစူပါစက်များဖြစ်ကြောင်း မည်သို့သက်သေပြရမည်နည်းမှာ ပြဿနာရှိနေဆဲဖြစ်သည်။ သိပ္ပံပညာရှင်များသည် သင့်လျော်သောစစ်ဆေးမှုအတွက် အကြံဥာဏ်မရှိသေးပါ။ ၎င်းကို စစ်ဆေးရန်အတွက် အသုံးပြုနိုင်သည့် စံကွန်ပြူတာ၏အမြင်အရ စူပါစက်များကို မှားယွင်းနေသည်၊ ဆိုလိုသည်မှာ စနစ်အမှားများဟု ယူဆနိုင်ပါသည်။ လူသားအမြင်အရတော့ အရာအားလုံးဟာ လုံးဝနားမလည်နိုင်ဖြစ်ပြီး ... ဖရိုဖရဲဖြစ်နိုင်ပါတယ်။