Bywgraffiad • Deallusrwydd naturiol

Aeth Alan Mathison Turing i lawr mewn hanes fel un o arloeswyr yr astudiaeth o resymeg gyfrifiadurol ac fel un o'r rhai cyntaf i ymddiddori yn y pwnc deallusrwydd artiffisial . Fe'i ganed ar 23 Mehefin, 1912 yn Llundain, a ysbrydolodd y termau a ddefnyddir yn gyffredin bellach ym maes technoleg gwybodaeth megis "Turing Machine" a "Turing Test".

Yn fwy penodol, gellir dweud iddo fel mathemategydd gymhwyso'r cysyniad o algorithm i gyfrifiaduron digidol, a'i ymchwil i'r berthynas rhwng peiriannau a natur a greodd y maes deallusrwydd artiffisial.

Dim ond â diddordeb mewn mathemateg a gwyddoniaeth, dechreuodd ei yrfa fel mathemategydd yng Ngholeg y Brenin, Prifysgol Caergrawnt ym 1931.

Ni fu'n llwyddiannus iawn yn yr ysgol, o ystyried ei duedd i ymchwilio'n gyfan gwbl i pethau oedd o wir ddiddordeb iddo. Dim ond y cyfeillgarwch mawr gyda Christopher Morcom, yn ôl pob golwg yn llawer mwy addawol nag ef a llawer mwy systematig a ganiataodd iddo ddechrau ei yrfa brifysgol: fodd bynnag, bu farw'r ffrind, yn anffodus, o dwbercwlosis ddwy flynedd ar ôl eu cyfarfod. Ond yr oedd y marc a adawodd ar enaid ei gyfaill yn ddwfn ac arwyddocaol, gan beri i Turing ganfod ynddo'i hun y penderfyniad angenrheidiol i barhau â'i astudiaethau a'i ymchwil.

Y mae arnom ddyled fawr gan hynny i Morcom, os ystyriwn hynydiolch i'w gefnogaeth foesol a'i anogaeth, fe ysgogodd feddwl gwych fel Turing i ddatblygu ei botensial aruthrol. Dim ond i roi enghraifft, bydd Turing yn dod i ddarganfod, bum mlynedd cyn Gödel, na allai axiomau mathemateg fod yn gyflawn, greddf a danseiliodd y gred bod mathemateg, fel gwyddor gwbl resymegol, yn ddieithr i unrhyw fath o feirniadaeth.

Fodd bynnag, cyflwynodd tasg wirioneddol anodd ei hun i Turing: gallu profi a oedd ffordd i benderfynu a oedd theorem benodol yn fanwl gywir ai peidio. Pe bai hyn wedi bod yn bosibl, yna gallai pob mathemateg fod wedi cael ei lleihau i galcwlws syml. Aeth Turing, fel ei arfer, i'r afael â'r broblem hon mewn byd anghonfensiynol, gan leihau gweithrediadau mathemategol i'w hetholwyr sylfaenol. Gweithrediadau mor hawdd fel y gallent gael eu perfformio mewn gwirionedd gan beiriant.

Ar ôl symud i Brifysgol Princeton, felly, dechreuodd y mathemategydd gwych archwilio'r hyn a fyddai'n cael ei ddiffinio'n ddiweddarach fel y "Turing Machine" sydd, mewn geiriau eraill, yn cynrychioli dim byd mwy na "prototeip" cyntefig a chyntefig o'r cyfrifiadur modern. Greddf dyfeisgar Turing oedd "torri" y cyfarwyddyd i'w gyflenwi i'r peiriant yn gyfres o gyfarwyddiadau syml eraill, gan gredu y gellid ei ddatblygualgorithm ar gyfer pob problem: proses nad yw'n annhebyg i'r hyn a wynebir gan raglenwyr heddiw.

Yn ystod yr Ail Ryfel Byd rhoddodd Turing ei sgiliau mathemategol i wasanaeth "Adran Cyfathrebu" Prydain i ddehongli'r codau a ddefnyddir mewn cyfathrebiadau Almaeneg, tasg arbennig o anodd gan fod yr Almaenwyr wedi datblygu math o gyfrifiadur o'r enw " Enigma" a oedd yn gallu cynhyrchu cod sy'n newid yn gyson. Yn ystod yr amser hwn yn yr Adran Gyfathrebu, bu Turing a'i gydweithwyr yn gweithio gydag offeryn o'r enw "Colossus" a oedd yn cracio codau Almaeneg yn gyflym ac yn effeithlon a grëwyd gyda "Enigma". Set o servo motors a metel ydoedd, yn y bôn, ond dyma oedd y cam cyntaf tuag at y cyfrifiadur digidol.

Ar ôl y cyfraniad mawr hwn i ymdrech y rhyfel, ar ôl y rhyfel parhaodd i weithio i'r "Labordy Ffisegol Cenedlaethol" (NPL), gan barhau ag ymchwil ym maes cyfrifiaduron digidol. Bu'n gweithio ar ddatblygiad y "Peiriant Cyfrifiadura Awtomatig" (ACE), un o'r ymdrechion cyntaf i greu cyfrifiadur digidol go iawn. Tua'r amser hwn y dechreuodd archwilio'r berthynas rhwng cyfrifiaduron a natur. Ysgrifennodd erthygl o'r enw "Intelligent Machinery", a gyhoeddwyd yn ddiweddarach yn 1969. Hwn oedd un o'r troeon cyntaf y cysyniad o "deallusrwydd"Roedd Turing, mewn gwirionedd, o'r syniad y gellid creu peiriannau a oedd yn gallu efelychu prosesau'r ymennydd dynol, a ategwyd gan y gred nad oes dim, mewn theori, na all ymennydd artiffisial ei wneud, yn union fel y dynol hwnnw ( yn hyn o gymorth hefyd gan y cynnydd a oedd yn cael ei gyflawni wrth atgynhyrchu humanoid "simulacra", gyda'r camera fideo neu'r recordydd tâp, yn y drefn honno "prosthesis" i atgyfnerthu'r llygad a'r llais).

Turing, yn fyr, roedd o'r syniad y gellid cyflawni chimera deallusrwydd gwirioneddol artiffisial trwy ddilyn patrymau'r ymennydd dynol. Yn hyn o beth, ysgrifennodd erthygl yn 1950 lle disgrifiodd yr hyn a elwir bellach yn " Turing Prawf." Mae'r prawf hwn, math o arbrawf meddwl (gan nad oedd modd eto i'w weithredu yn y cyfnod yr ysgrifennodd Turing ei fod), yn rhagweld y byddai person, yn cau mewn ystafell a heb fod ag unrhyw wybodaeth am y cydlynydd gyda phwy. mae'n siarad, yn deialogau boed gyda bod dynol arall neu gyda pheiriant deallus. Os na all y pwnc dan sylw wahaniaethu rhwng y naill a'r llall, yna gellid dweud bod y peiriant yn rhywsut ddeallus.

Gadawodd Turing y Labordy Ffisegol Cenedlaethol cyn cwblhau'r "Injan Cyfrifiadura Awtomatig" a symudodd i Brifysgol Manceinion llebu'n gweithio ar greu Peiriant Digidol Awtomatig Manceinion (MADAM), gyda'r freuddwyd nad oedd mor gyfrinachol o allu gweld, yn y tymor hir, chimera deallusrwydd artiffisial yn cael ei gwireddu o'r diwedd.

Personoliaeth dirdynnol (hefyd oherwydd cyfunrywioldeb a brofwyd gydag anesmwythder eithafol), gyda mil o wrthddywediadau ac yn gallu gwneud rhyfeddodau a rhyfeddodau annhebygol, bu farw Turing trwy hunanladdiad, dim ond yn ddeugain oed, ar 7 Mehefin, 1954.

60 mlynedd ar ôl ei farwolaeth, mae ffilm fywgraffyddol o'r enw "The Imitation Game" yn cael ei rhyddhau, sy'n adrodd hanes bywyd Alan Turing a sut y cynlluniodd y system i ddehongli codau cyfrinachol y Natsïaid yn ystod yr Ail Ryfel Byd.