Алан Тюринг. Oracle башаламандыктан болжолдойт

Алан Тьюринг каалаган суроого жооп бере ала турган "оракул" түзүүнү кыялданчу. Мындай машинаны өзү да, башкасы да курган эмес. Бирок, 1936-жылы даңктуу математик ойлоп тапкан компьютердик моделди компьютердик доордун матрицасы катары кароого болот – жөнөкөй эсептегичтерден күчтүү суперкомпьютерге чейин.

Тьюринг тарабынан жасалган машина азыркы компьютерлерге жана программалоо тилдерине салыштырмалуу жөнөкөй алгоритмдик түзүлүш. Бирок ал эң татаал алгоритмдерди да аткарууга мүмкүнчүлүк бере тургандай күчтүү.

Алан Тюринг

Классикалык аныктамада Тьюринг машинасы алгоритмдерди аткаруу үчүн колдонулган компьютердин абстракттуу модели катары сүрөттөлөт, ал маалыматтар жазылган талааларга бөлүнгөн чексиз узун лентадан турат. Тасма бир жагында же эки жагында чексиз болушу мүмкүн. Ар бир талаа N штаттын биринде болушу мүмкүн. Машина ар дайым талаалардын биринин үстүндө жайгашкан жана М абалынын биринде болот. Машина абалы менен талаанын айкалышына жараша машина талаага жаңы маани жазат, абалды өзгөртөт, андан кийин бир талааны оңго же солго жылдыра алат. Бул операция буйрук деп аталат. Тьюринг машинасы ушундай нускамалардын каалаган санын камтыган тизме менен башкарылат. N жана M сандары чектүү болсо, баары болушу мүмкүн. Тьюринг машинасынын нускамаларынын тизмесин анын программасы катары кароого болот.

Негизги моделде клеткаларга (квадраттарга) бөлүнгөн киргизүү лентасы жана каалаган убакта бир гана клетканы байкай турган лента башы бар. Ар бир уячада чектүү алфавиттин бир символу болушу мүмкүн. Шарттуу түрдө киргизүү символдорунун ырааттуулугу лентага солдон баштап жайгаштырылат деп эсептелет, калган уячалар (киргизүүчү символдордун оң жагында) лентанын атайын белгиси менен толтурулат.

Ошентип, Тьюринг машинасы төмөнкү элементтерден турат:

бир убакта бир чарчы жылып, лента боюнча жыла турган кыймылдуу окуу/жазуучу баш;
мамлекеттердин чектүү жыйындысы;
акыркы тамга алфавити;
ар бири бир символду камтышы мүмкүн болгон белгиленген квадраттар менен чексиз тилке;
ар бир аялдамада өзгөрүүлөрдү алып келүүчү көрсөтмөлөр менен абалдын өтүү диаграммасы.

Гиперкомпьютерлер

Тьюринг машинасы биз курган ар бир компьютер сөзсүз чектөөлөргө ээ болорун далилдейт. Мисалы, белгилүү Годель толук эместик теоремасы менен байланышкан. Бул максатта дүйнөнүн бардык эсептөө петафлопторун колдонсок да, компьютер чече албаган маселелер бар экенин англис математиги далилдеди. Мисалы, программа чексиз кайталануучу логикалык циклге кире аларын, же ал бүтө алаарын эч качан айта албайсыз - адегенде циклге кирип кетүү коркунучу бар программаны сынап көрбөй туруп, ж.б. (токтоо маселеси деп аталат). Тьюринг машинасы түзүлгөндөн кийин курулган түзүлүштөрдөгү бул мүмкүн эместиктердин таасири, башка нерселер менен катар, компьютер колдонуучуларына тааныш болгон "өлүмдүн көк экраны".

Алан Тюринг китебинин мукабасы

Жава Сигельмандын 1993-жылы басылып чыккан эмгеги көрсөткөндөй, синтез көйгөйү нейрондук тармакка негизделген компьютер аркылуу чечилиши мүмкүн, бул процессорлор бири-бирине мээнин түзүлүшүн окшоштургандай туташтырылган. биринин "киргизүүсүнө" экинчисине өтүүчү эсептөө натыйжасы. Ааламдын фундаменталдык механизмдерин эсептөөлөрдү жүргүзүү үчүн колдонгон «гиперкомпьютерлер» түшүнүгү пайда болду. Булар – канчалык экзотикалык угулбасын – чектелген убакыттын ичинде чексиз сандагы операцияларды аткарган машиналар. Британдык Шеффилд университетинен Майк Стэннетт, мисалы, суутек атомунда электронду колдонууну сунуш кылган, ал теорияда чексиз сандагы мамлекеттерде болушу мүмкүн. Ал тургай, кванттык компьютерлер да бул түшүнүктөрдүн тайманбастыгына салыштырмалуу кубарып кетет.

Акыркы жылдары илимпоздор Тьюринг өзү эч качан курбаган, атүгүл сынап көрбөгөн "оракулдун" кыялына кайтып келишти. Миссури университетинен Эмметт Редд жана Стивен Янгер "Тюринг супермашинасын" жасоо мүмкүн деп эсептешет. Алар жогоруда айтылган Чава Сигельман басып өткөн жол менен жүрүшөт, нейрондук тармактарды курушат, анда киргизүү-чыгарууда нөл-бир маанилердин ордуна абалдардын бүтүндөй диапазону бар - сигналдан "толугу менен өчүрүлгөн" . Редд NewScientist журналынын 2015-жылдын июлундагы санында түшүндүргөндөй, "0 менен 1дин ортосунда чексиздик бар".

Миссури штатынын эки изилдөөчүсү Сигелман айымга кошулуп, алар чогуу башаламандыктын мүмкүнчүлүктөрүн изилдей башташты. Популярдуу сүрөттөөгө ылайык, хаос теориясы бир жарым шарда көпөлөктүн канаттарынын кагылышы экинчи жарым шарда бороон-чапкынга себеп болот деп болжолдойт. Тьюрингдин супермашинасын курган илимпоздор дагы бир нерсени ойлошот - кичинекей өзгөрүүлөр чоң кесепеттерге алып келген система.

2015-жылдын аягына чейин Сигельман, Редд жана Янгердин эмгегинин аркасында хаоско негизделген эки компьютердин прототиби курулушу керек. Алардын бири он бир синаптикалык байланыштар менен байланышкан үч кадимки электрондук компоненттерден турган нейрон тармагы. Экинчиси - он бир нейронду жана 3600 синапсты кайра жаратуу үчүн жарыкты, күзгүлөрдү жана линзаларды колдонгон фотоникалык түзүлүш.

Көптөгөн илимпоздор "супер-Тюрингди" куруу реалдуу экенинен күмөн санашат. Башкалар үчүн мындай машина табияттын кокусунан физикалык рекреация болмок. Жаратылыштын бардыгын билүүсү, анын бардык жоопторду билүүсү анын табият экенинен келип чыгат. Жаратылышты кайра чыгарган система, Аалам, баарын билет, оракул, анткени ал башкаларга окшош. Балким, бул адамдын мээсинин татаалдыгын жана баш аламан ишин адекваттуу түрдө кайра жарата турган жасалма суперинтеллектке карай жол. Тьюринг өзү бир жолу радиоактивдүү радийди өзүнүн эсептөөлөрүнүн жыйынтыгын башаламан жана кокустук кылып чыгарган компьютерге киргизүүнү сунуш кылган.

Бирок, баш аламандыкка негизделген супермашиналардын прототиптери иштесе дагы, алар чындап эле бул супермашиналар экенин кантип далилдейбиз деген маселе бойдон калууда. Окумуштууларда азырынча ылайыктуу скринингдик тест боюнча идея жок. Муну текшерүү үчүн колдонулушу мүмкүн болгон стандарттык компьютердин көз карашынан алганда, супермашиналарды ката деп атаган, башкача айтканда, система каталары катары кароого болот. Адамдык көз караштан алганда, баары таптакыр түшүнүксүз жана ... баш аламан болушу мүмкүн.