RNDr. Ondřej Žára: Turingovy stroje [7. 2. 2020 | FEL ČVUT v Praze]

RNDr. Ondřej Žára:
Na ‪@CVUTFEL‬ působí na katedře počitačové grafiky a interakce. Učí předmět • RNDr. O. Žára: Vývoj k... a Základy webových aplikací. Plným úvazkem pak působí ve firmě Seznam.cz, kde se v roli frontendového programátora stará o vše související s klientskými webovými technologiemi.
slidy k přednášce: ondras.zarovi....
Přednáška se uskutečnila při příležitosti dni otevřených dveří ‪@CVUTFEL‬ .

[@jozefnovak7750]

Ďakujem za skvelú prednášku!

[@666MrGamer]

Zajimava a zabavna prednaska. Diky za ni! Naskyta se tu ovsem dotaz - proc se timto vubec matematici zabyvaji? Co z toho kdyz vypocitame nejlepsi BB5? Prijde mi to spise jako kratochvile pro matematiky.

[@jirioto6089]

Dnes více než kdy předtím se vracím k hodinovým strojkům a jejich "nekonečnému" škálování :)

[@Dr.Z.Moravcik-inventor-of-AGI]

Pojem Turingův stroj jsem stejně jako všichni z mé generace k pochopení programování algoritmů nikdy nepotřeboval. Ale z videa je jasné, že se jedná jen o jiný způsob zápisu algoritmu (resp. poč. programu).
Nechápu, proč se o tom vůbec tak zeširoka mluví. Pan Turing přeci nic konkrétního po sobě nezanechal. Pouze pracoval za války pro armádu a dešifrování Enigmy byla nakonec také jen týmová práce, kde pracovali i například Poláci.
Pan Turing je z velké části jen propaganda, která má význam pro Brity. Němci mají zase svého Konrada von Zuse. Češi nemají nikoho, tak mluví o Turingovi.

[@zarao]

Koncept turingova stroje je užitečný například proto, že jej lze použít pro dokázání Godelovy věty o neúplnosti (cs.wikipedia.org/wiki/G%C3%B6delovy_v%C4%9Bty_o_ne%C3%BAplnosti). Zájemci si mohou přečíst více např. zde: en.wikipedia.org/wiki/Turing%27s_proof