Tím, Jonathon Keats

V roce 1935, Alan Turing se rozhodla vybudovat pověst tím, obcházet světový matematik. Turing byl 22 let, a nový člověk v Cambridge. Jeho cíl, David Hilbert, byl uctívaný profesor univerzity v Göttingenu, který jednou rukou stanovil výzkumnou agendu pro matematiku 20. století.

Hilbert byl žádný partner pro Britský zbohatlík. Ve své knize Turing Vize, Chris Bernhardt obratně ukazuje, jak Turing uháněl jeden z Hilbertova velké ambice s mistrovskou důkaz – v průběhu které se nechtěně vynalezl moderní počítač.

název Turingův papíru, „Na Vypočitatelný Čísla, S žádostí o Entscheidungsproblem“ (což znamená „rozhodovací problém“), je stěží příjemné, a čtení je potřeba pokročilý výcvik. To může vysvětlovat, proč, jak Turing sláva explodoval, nejvíce populární psaní soustředí na jeho válečné codebreaking, jeho poválečné psaní na umělou inteligenci – nebo jeho pronásledování a stíhání za to, že gay a posmrtný královskou milost.

ale to, co Bernhardtova kniha postrádá v dramatu, to vynahrazuje přehledným vysvětlením. Turingova vize umožňuje pečlivým čtenářům ocenit důkaz, který učinil Turingovo jméno, a jako bonus pochopit základy moderních počítačů.

Entscheidungsproblem byl součástí Hilbertovy práce, aby ukázal, že základní axiomy matematiky jsou logicky konzistentní. Za tímto účelem Hilbert hledal algoritmus-výpočetní postup-který by naznačoval, zda lze dané matematické prohlášení prokázat pouze z těchto axiomů. Turing rozhodně ukázal, že takový algoritmus neexistuje.

„Turing dokázal, že tam byl žádné mechanické nastavení pravidel pro řešení všech matematických problémů“

K tomu, Bernhardt vysvětluje, Turing musel nejprve vytvořit pracovní definici pro pojem algoritmus – definuje, co to znamená, počítat. Turing se podíval na lidské “ počítače – – lidi, kteří provedli výpočty. Úkolem je psaní symbolů na papír, poznamenal. „Chování počítače v každém okamžiku je určeno symboly … pozoruje a jeho „stavem mysli“.“

rozebrat zřejmě komplexní myšlení na jednoduché aritmetické postupy, Turing udělal výpočtu explicitní a vyloučen lidský prvek. „Turingovým čerstvým poznatkem bylo definovat algoritmy z hlediska teoretických výpočetních strojů,“ píše Bernhardt. „Vše, co lze vypočítat, lze vypočítat Turingovým strojem.“

proto byly stroje ústředním bodem Turingova papíru. Ukázat, že existují algoritmy, že Turingovy stroje budou běžet donekonečna a neprůkazně, byl způsob, jak ukázat, že se Hilbert mýlil. Turing dokázal „že existují otázky, které byly nad síly algoritmů odpovědět“. Jeho triumf byl velkolepý a zničující pro ty, kteří věřili (stejně jako Hilbert), že všechny problémy lze vyřešit.

přesto, že teoretické stroje byly pro Turingův důkaz zásadní, ukázalo se, že mají ještě větší dopad samy o sobě a poskytují koncepční model pro moderní počítače. Vliv byl přímý, informoval o průkopnickém designu elektronických počítačů Johna von Neumanna z roku 1945 a strojích velikosti místnosti, které aplikovaly jeho architekturu. Stejně jako Turingovy stroje, počítače používaly jedničky a nuly pro kódování programů a dat. To zůstává zásadní pro jazyky a sítě na vysoké úrovni, takže při učení o Turingových strojích čtenáři vybírají principy informatiky.

existují i filozofické důsledky dnes. Mít založené počítače na lidském chování, Turing poznamenal, že lidé jsou opravdu Turing stroje. Počítače jsou naše zrcadla: ať už žasneme nebo se třeseme při nejnovější AI, díváme se pouze na sebe.

Tento článek se objevil v tisku pod titulkem „jsme Turingova stroje?“

(*při nákupu prostřednictvím odkazů na této stránce můžeme získat malou provizi, ale to nehraje žádnou roli v tom, co přezkoumáváme, ani v našem názoru na to.)

Více k těmto tématům:

• matematika
• výpočetní
• algoritmy