الن تورینګ اوریکل د ګډوډۍ څخه وړاندوینه کوي
الان تورینګ د یوې "اوریکل" جوړولو خوب لیدلی چې د هرې پوښتنې ځواب ورکولو وړ وي. نه هغه او نه بل چا داسې ماشین جوړ کړی. په هرصورت، د کمپیوټر ماډل چې تکړه ریاضي پوه په 1936 کې رامینځته کړی د کمپیوټر عمر میټرکس ګڼل کیدی شي - له ساده محاسبینو څخه تر ځواکمنو سوپر کمپیوټرونو پورې.
د تورینګ لخوا جوړ شوی ماشین یو ساده الګوریتمیک وسیله ده، حتی د نن ورځې کمپیوټرونو او پروګرام کولو ژبو په پرتله ابتدايي. او بیا هم دا دومره قوي دی چې حتی خورا پیچلي الګوریتمونو ته اجازه ورکړي چې اجرا شي.
الن تورینګ
په کلاسیک تعریف کې، د تورینګ ماشین د کمپیوټر د خلاصې نمونې په توګه تشریح شوی چې د الګوریتمونو د اجرا کولو لپاره کارول کیږي، چې په هغو برخو ویشل شوي چې په هغه کې ډاټا لیکل کیږي. ټیپ په یو اړخ یا دواړو خواو کې بې پایه کیدی شي. هره ساحه کیدای شي په یو N ایالتونو کې وي. ماشین تل د یوې ساحې څخه پورته موقعیت لري او په یو M - ریاستونو کې دی. د ماشین حالت او ساحې په ترکیب پورې اړه لري، ماشین ساحې ته نوی ارزښت لیکي، حالت بدلوي، او بیا ممکن یو ساحه ښي یا کیڼ لور ته حرکت وکړي. دا عملیات د امر په نوم یادیږي. د تورینګ ماشین د یو لیست لخوا کنټرول کیږي چې هر ډول ورته لارښوونې لري. د N او M شمیرې کیدای شي هر څه وي، تر هغه چې دوی محدود وي. د تورینګ ماشین لپاره د لارښوونو لیست د دې برنامې په توګه فکر کیدی شي.
بنسټیز ماډل یو ان پټ ټیپ لري چې په حجرو (مربع) ویشل شوی او د ټیپ سر چې کولی شي په هر وخت کې یوازې یو حجره وګوري. هر حجره کولی شي د حروفونو له محدود الفبا څخه یو حرف ولري. په دودیز ډول، داسې انګیرل کیږي چې د ان پټ سمبولونو ترتیب په ټیپ کې کیښودل کیږي، د کیڼ څخه پیل کیږي، پاتې حجرې (د ان پټ سمبولونو ښي خوا ته) د ټیپ ځانګړي سمبول سره ډک شوي.
په دې توګه، د تورینګ ماشین لاندې عناصر لري:
- د حرکت وړ لوستل / لیکلو سر چې کولی شي د ټیپ په اوږدو کې حرکت وکړي، په یو وخت کې یو مربع حرکت کوي؛
- د دولتونو یوه محدوده ډله؛
- وروستی کرکټر الفبا؛
- یو نه ختمیدونکی پټه د نښه شوي مربع سره، چې هر یو یې یو سمبول لري؛
- د ریاست لیږد ډیاګرام د لارښوونو سره چې په هر تمځای کې د بدلون لامل کیږي.
هایپر کمپیوټرونه
د تورینګ ماشین ثابتوي چې کوم کمپیوټر چې موږ یې جوړوو هغه به حتمي محدودیتونه ولري. د مثال په توګه، د مشهور Gödel نیمګړتیا تیورم پورې اړه لري. یو انګلیسي ریاضي پوه دا ثابته کړه چې داسې ستونزې شتون لري چې کمپیوټر نشي حل کولی حتی که موږ د دې هدف لپاره د نړۍ ټول کمپیوټري پیټافلاپ وکاروو. د مثال په توګه، تاسو هیڅکله نشئ ویلای چې ایا یو برنامه به په نه ختمیدونکي ډول تکرار شوي منطقي لوپ ته راشي ، یا که دا به د پای ته رسیدو وړ وي - پرته لدې چې لومړی داسې برنامه هڅه وکړي چې لوپ ته د ننوتلو خطر ولري ، او داسې نور (د بندیدو ستونزه بلل کیږي). د ټورینګ ماشین له رامینځته کیدو وروسته رامینځته شوي وسیلو کې د دې ناممکناتو اغیز د نورو شیانو په مینځ کې د کمپیوټر کاروونکو لپاره پیژندل شوی "د مرګ نیلي سکرین" دی.
د الان تورینګ کتاب پوښ
د فیوژن ستونزه، لکه څنګه چې په 1993 کې د جاوا سیګلمن د کار لخوا ښودل شوې، د عصبي شبکې پراساس د کمپیوټر لخوا حل کیدی شي، کوم چې د یو بل سره تړل شوي پروسس کونکي لري په داسې طریقه چې د دماغ جوړښت سره نقل کوي. کمپیوټري پایله له یوه څخه بل ته "ان پټ" ته ځي. د "هایپر کمپیوټر" مفهوم راڅرګند شو، کوم چې د کایناتو بنسټیز میکانیزمونه د محاسبې ترسره کولو لپاره کاروي. دا به وي - که څه هم بهرني غږ وي - ماشینونه چې په محدود وخت کې بې شمیره عملیات ترسره کوي. د برتانیا د شیفیلډ پوهنتون مایک سټینیټ وړاندیز وکړ، د بیلګې په توګه، د هایدروجن اتوم کې د الکترون کارول، چې په تیوري کې په بې شمیره دولتونو کې شتون لري. حتی د کوانټم کمپیوټرونه د دې مفاهیمو د زړورتیا په پرتله تیاره دي.
په وروستي کلونو کې، ساینس پوهان د "اوریکل" خوب ته راستانه شوي چې تورینګ پخپله هیڅکله جوړ یا حتی هڅه نه ده کړې. ایمیټ ریډ او د میسوري پوهنتون سټیون ینګر پدې باور دي چې د "ټورینګ سوپر ماشین" رامینځته کول ممکن دي. دوی هماغه لاره تعقیبوي چې پورته ذکر شوي چاوا سیګلمن په لاره اچولې، د عصبي شبکو جوړول په کوم کې چې د انپټ-آؤټ پوټ په ځای، د صفر یو ارزښتونو پر ځای، د دولتونو ټوله لړۍ شتون لري - د سیګنال "بشپړ فعال" څخه تر "بشپړ بند" پورې. . لکه څنګه چې ریډ د نیو ساینټیسټ د جولای 2015 مسله کې تشریح کوي ، "د 0 او 1 ترمینځ انفینیت شتون لري."
میرمن سیګلمن د میسوري دوه څیړونکو سره یوځای شوه، او په ګډه یې د ګډوډۍ امکاناتو په لټه کې پیل وکړ. د مشهور تشریح له مخې، د ګډوډ تیوري وړاندیز کوي چې په یوه نیمه کره کې د تیتلی د وزرونو چپه کیدل په بل کې د طوفان لامل کیږي. هغه ساینس پوهان چې د تورینګ سوپر ماشین جوړوي ډیر ورته په ذهن کې لري - یو سیسټم چې کوچني بدلونونه لوی پایلې لري.
د 2015 په پای کې، د سیګلمن، ریډ، او ځوان د کار څخه مننه، دوه پروټوټایپ افراتفري پر بنسټ کمپیوټرونه باید جوړ شي. یو له دوی څخه یو عصبي شبکه ده چې د دریو دودیزو بریښنایی برخو څخه جوړه ده چې د یوولس سینپټیک اتصالونو لخوا وصل شوي. دوهم یو فوټونک وسیله ده چې د یوولس نیورونونو او 3600 synapses بیا جوړولو لپاره رڼا، عکسونه او لینزونه کاروي.
ډیری ساینس پوهان شکمن دي چې د "سوپر ټورینګ" جوړول ریښتیني دي. د نورو لپاره، دا ډول ماشین به د طبیعت ناڅاپه فزیکي تفریح وي. د طبیعت هر اړخیزه پوهه، دا حقیقت چې دا ټول ځوابونه پوهیږي، له دې حقیقت څخه راځي چې دا طبیعت دی. هغه سیسټم چې طبیعت بیا تولیدوي، کائنات، په هرڅه پوهیږي، یو اوریکل دی، ځکه چې دا د هرچا په څیر یو شان دی. شاید دا د مصنوعي سپیڅلتیا لاره وي، هغه څه ته چې د انسان دماغ پیچلتیا او ګډوډ کار په مناسب ډول بیا رامینځته کوي. پخپله ټورینګ یو ځل وړاندیز وکړ چې د راډیو اکټیو راډیم په کمپیوټر کې واچوي چې هغه ډیزاین کړی و ترڅو د خپلو محاسبو پایلې ګډوډ او تصادفي کړي.
په هرصورت، حتی که د ګډوډۍ پر بنسټ د سوپر ماشینونو پروټوټایپ کار وکړي، ستونزه پاتې ده چې څنګه ثابت کړي چې دوی واقعیا دا سوپر ماشینونه دي. ساینس پوهان لاهم د مناسب سکرینینګ ازموینې لپاره نظر نه لري. د یو معیاري کمپیوټر له نظره چې د دې چک کولو لپاره کارول کیدی شي، سوپر ماشینونه د غلطو په توګه ګڼل کیدی شي، دا د سیسټم غلطی دی. د انسان له نظره، هر څه په بشپړه توګه د پوهیدو وړ نه وي او ... ګډوډ وي.
