Által Jonathon Keats

AZ 1935-ben Alan Turing meghatározott építeni a hírnevét azzal, outflanking a világ vezető matematikus. Turing 22 éves volt, és egy új munkatárs Cambridge-ben. Célpontja, David Hilbert volt a Göttingeni Egyetem professzora, aki egyedül állította be a 20.századi matematika kutatási menetrendjét.

Hilbert was no match for the British upstart. Turing víziója című könyvében Chris Bernhardt ügyesen megmutatja, hogy Turing mesterien bizonyította Hilbert egyik nagy ambícióját-amelynek során véletlenül feltalálta a modern számítógépet.

Turing papírjának címe, “kiszámítható számokon, az Entscheidungsproblemhez benyújtott alkalmazással” (ami azt jelenti, hogy “döntési probléma”), aligha hívogató, az olvasás pedig haladó képzést igényel. Ez megmagyarázhatja, hogy Turing hírnevének robbanásakor a legnépszerűbb írás a háborús codebreakingre, a háború utáni írásra a mesterséges intelligenciára összpontosított – vagy az üldözésre és a vádra, amiért meleg és posztumusz királyi kegyelem.

de amit Bernhardt könyve hiányzik a drámában, azt világos magyarázattal pótolja. Turing látása lehetővé teszi a gondos olvasók számára, hogy értékeljék Turing nevének bizonyítékát, és bónuszként megértsék a modern számítógépek alapjait.

az Entscheidungsproblem Hilbert munkájának része volt, hogy megmutassa, hogy a matematika alapvető axiómái logikusan következetesek. E célból Hilbert keresett egy algoritmust-egy számítási eljárást -, amely azt jelzi, hogy egy adott matematikai kijelentés bizonyítható-e csak ezekből az axiómákból. Turing határozottan megmutatta, hogy nincs ilyen algoritmus.

“Turing bebizonyította, hogy nincs mechanikus szabályrendszer az összes matematikai probléma megoldására”

ehhez Bernhardt elmagyarázza, Turingnak először létre kellett hoznia egy működő meghatározást az algoritmus kifejezéshez – annak meghatározásához, hogy mit jelent a számítás. Turing az emberi “számítógépekre” nézett – olyan emberekre, akik számításokat készítettek. A feladat magában foglalja a szimbólumok papírra írását-jegyezte meg. “A számítógép viselkedését bármely pillanatban a szimbólumok határozzák meg, amelyeket megfigyel és “lelkiállapotát”.”

a látszólag összetett kogitáció egyszerű aritmetikai eljárásokra bontása, Turing a számítást explicitvé tette, és megszüntette az emberi elemet. “Turing friss betekintése az algoritmusok meghatározása volt az elméleti számítástechnikai gépek szempontjából” – írja Bernhardt. “Bármi, ami lehet számítani lehet számítani egy Turing gép.”

ezért a gépek központi szerepet játszottak Turing papírjában. Hogy megmutassák, vannak olyan algoritmusok, amelyek szerint a Turing-gépek határozatlan ideig működnének, és nem tudják bizonyítani, hogy Hilbert tévedett. Turing bebizonyította, hogy “vannak olyan kérdések, amelyek túlmutatnak az algoritmusok hatalmán, hogy válaszoljanak”. Diadala látványos volt, és lesújtó azok számára, akik hittek (mint Hilbert tette), hogy minden problémát meg lehet oldani.

bár az elméleti gépek döntő fontosságúak voltak a Turing bizonyításához, kiderült, hogy még nagyobb hatással vannak saját jogukra, koncepcionális modellt biztosítva a modern számítógépek számára. A befolyás közvetlen volt, tájékoztatta John von Neumann úttörő 1945-ös elektronikus számítógépek tervezését, valamint az építészetét alkalmazó helyiségméretű gépeket. Turing gépeihez hasonlóan a számítógépek is és nullák segítségével kódolták a programokat és az adatokat. Ez továbbra is elengedhetetlen a magas szintű nyelvek és hálózatok számára, így a Turing gépek megismerése során az olvasók felveszik a számítástechnika alapelveit.

ma filozófiai következményei is vannak. Miután alapuló számítógépek emberi viselkedés, Turing megjegyezte, hogy az emberek valóban Turing gépek. A számítógépek a Tükreink: akár csodálkozunk, akár megrázzuk a legújabb AI-t, csak magunkra nézünk.

Ez a cikk nyomtatásban jelent meg a ” Vagyunk Turing gépek?”

(*ha ezen az oldalon linkeken keresztül vásárol, kis jutalékot kereshetünk, de ez nem játszik szerepet abban, amit áttekintünk vagy véleményünk róla.)

további témák:

• matematika
• Számítástechnika
• algoritmusok