Donald E. Knuth Q&A Session 1 Transcript

Viz také vstupní stránka události a Přepis Q&A relace 2 .

Gruska : Dobré odpoledne. Vážení informátoři, máme dnes velmi speciální kolokvium. Máme legendu informatiky, otce analýzy algoritmu, otce umění programování, otce mnoha dalších knih, otce TeX atd. Atd. ... Raději se zastavím, protože bych zde pravděpodobně trávil pravděpodobně celý svůj čas mluví o jeho výsledku. Přišel sem odpovědět na vaše otázky. Relace budou tak zajímavé, jak zajímavé budou otázky, které položíte. Existují dva způsoby, jak klást otázky. Buď pomocí mikrofonu, nebo můžete použít mobilní telefon. OK?

Zmínil jsem se, že tato legenda informatiky a jeden argument podporující to, že v roce 1989 byl v USA v San Francisku IT World Computer Congress, byl pozván profesor Knuth, aby přednesl první přednášku, nejdůležitější přednášku. Tak vítejte, profesore Knuth. Vítejte zde a můžete zahájit relaci, kolokvium, položením dotazů od publika. Vítejte v Brně. potlesk

Knuth : Prof. Grusko, máte otázku?

Gruska : Ano! Před 42 lety jsem ti napsal dopis.

Knuth : Oh!

Gruska : Čekal jsem na odpověď. Po jednom měsíci jsem se rozhodl vám zavolat. Ministr vzal telefon a řekl: „Ach, on je tři měsíce za odpovědí na dopisy. Je však vedle mě.“ Takže jsem s tebou mohl mluvit. Změnilo se to s vaším zvykem reagovat na dopisy?

Knuth : Slyšíš mě? Testování ... Testování, testování. Nulový, nulový. smích

Takže sekretářkou, kterou jsem měl před 42 lety, je Phyllis Winklerová, která mi sloužila po mnoho let, ale zemřela asi před 15 lety a ve skutečnosti před tím odešla do důchodu. Chodím do kampusu ve Stanfordu čtyři dny v týdnu a každý čtvrtek a na fakultě mám oběd se studenty každé úterý a podobné věci ... Zjistil jsem však, že se říká jedno z největších tajemství informatiky dávkové zpracování. Takže když odpovím na mail, nedělám to přerušením, ale dávkovým zpracováním. Takže jsem se vzdal e-mailu, myslím, 1. ledna 1990 a od té doby jsem šťastný člověk. Ale otázky přicházejí a jsou filtrovány a já na ně všechny odpovídám najednou. Ukazuje se tedy, že je to pro mě nezbytné, abych mohl pracovat efektivně. Ale Phyllis byl skvělý ochránce. Po celé ty roky mi tedy umožňovala účinně pracovat pro mě.

Gruska : A je tu ještě jedna otázka, dobře se ptají, jeden student: Můžeš mluvit s Knuthem? Řekl: „Ano, v pátek večer.“

Knuth : Páteční noc? OK.

Než se budu věnovat dalším otázkám, chci zmínit, že celá inspirace pro tento druh sezení nastala, když jsem byl v těchto 60. letech v Caltechu a náš slavný profesor fyziky Richard Feynman by poslední den ukončil každou ze svých tříd třídy: Kdokoli může položit jakoukoli otázku, kterou chtěl. A začal jsem to používat ve svých vlastních třídách a udržoval jsem to až do důchodu. A nyní to považuji za nejlepší způsob, jak přizpůsobit přednášku. Pokusím se tedy v podstatě odpovědět na jakoukoli otázku a pokusím se ji udržet krátkou, takže se můžeme přesunout k celé řadě otázek.

Na druhou stranu, zítra dávám další přednášku ve 12:30, a to se také nazývá Otázky a odpovědi. Zítra budu mít klavírní klávesnici, abych mohl odpovědět na otázky, pokud mají co do činění s hudbou, protože si myslím, že když jsi sem šel, máš reklamu na koncert, který bude uveden v pátek. Takže dnes nebudeme mít otázky o hudbě, ale nic jiného je v pořádku.

Pak jsem to také přinesl se sebou. Toto je rekvizita pro brožovanou knihu, kterou jsem publikoval, nevím, před 2–3 lety, což je polovina třetiny svazku 4B umění počítačového programování. Zatím jsem dokončil svazek 1, 2, 3 a 4A a pracuji na svazku 4B. Začal jsem to psát uprostřed, a to vyšlo. Říká se tomu uspokojivost a velká šestka na něm říká Volume 6, Fascicle 6. Fascicles 0, 1, 2, 3 a 4 byly součástí Volume 4A.

Teď proto říkám, že to je právě teď, možná, když mluvíme, tiskne se Fascicle 5 a bude od nynějška k dispozici v knihkupectvích a budete ji milovat. Je to úžasná kniha. Požádejte rodiče, aby vám to na Vánoce dali. smích A hlavní věc je, že bych řekl, možná, že osmdesát procent z toho je o hádankách nebo tématech, která jsou často považována nejen za užitečné, ale za zábavné. Celý život jsem čekal, až představím tento materiál a ukážu, jak jsou hádanky velmi důležité pro učení, jak být dobrým počítačovým programátorem. A tak to bude Fascicle 5 vyjde za měsíc. To je konec reklamy.

Gruska : Existuje otázka: Jaký je váš oblíbený nevyřešený problém v informatice?

Knuth : Můj oblíbený nevyřešený problém v informatice ... Dobře, myslím ... osobně, na co je nejhorší otázka? A omlouvám se, ale je to otázka, která začíná slovy „jaký je tvůj oblíbený X?“. Protože je opravdu těžké říci, jaký je můj oblíbený X: téměř vždy „jaký je můj oblíbený algoritmus?“, „Jaký je můj oblíbený ... příbuzný? - Líbí se mi můj syn lépe než moje dcera?“ Atd. ... Doufám tedy, že příliš mnoho dnešních otázek nebude „jaký je můj nejoblíbenější X?“, Ale tohle nechci kachat.

Takže nevyřešené problémy v informatice. Záleží na tom, kdo a zda si myslím, že to bude vyřešeno nebo ne. Takže, aby to byl opravdu oblíbený problém, očekával bych, že když vám řeknu, co to je, pak příští týden to vyřeší někdo v místnosti. Můj oblíbený problém je tak často problém, který jsem právě vymyslel. A minulý týden jsem vymyslel problém, který jsem zmínil v neděli večer jednomu ze studentů Dana Kráľa, a proto ho tentokrát nebudu opakovat, aby na něm mohl pracovat a vyřešit ho.

Nejznámějším nevyřešeným problémem v informatice v tom smyslu, že s ním je spojena cena za milion dolarů, je samozřejmě otázka „rovná se P nebo NP?“ Někdo se mě na to stejně zeptá, takže bych na to mohl také strávit jednu nebo dvě minuty. Otázka tedy zní: P je množina všech problémů, které můžeme vyřešit v polynomickém čase, a NP je množina všech problémů, u nichž můžeme více či méně ověřit řešení v polynomickém čase. A tak velká otázka, kterou lidé říkají, zní: „Rovná se P NP nebo ne?“ Teď chci tuto otázku rozšířit. Zkusme tedy být konkrétní. Je známo, že otázka „P se rovná NP?“ je ekvivalentní tomu, že „existuje polynomiální algoritmus pro řešení jednoho konkrétního problému?“ Dovolte mi vzít si uspokojivost, například proto, že jsem to vydržel.

Existuje tedy problém nazývaný 3-SAT, který říká: Mám n klauzí a každá klauze má podobu (a nebo b nebo c) a (d nebo e nebo f) atd. Různé klauzule jako jsou tyto a všechny společně [logické] a z nich. A a, b, c, d, e a f jsou ve skutečnosti x nebo y bar nebo z nebo něco podobného ... a, b a všechny tyto věci jsou booleovské proměnné, které jsou buď negovány, nebo ne. A otázka zní: Můžeme uspokojit všechna tato ustanovení současně? Existuje způsob, jak říci, že x je pravda, že y je pravdivé a z je falešné a že všechna ustanovení budou pravdivá? A že je to uspokojivé, pokud a jen pokud existuje způsob, jak tyto proměnné nastavit.

Když se podíváte na tento problém, řeknete: „Jistě, mohu tento problém snadno vyřešit.“ Nechci však říkat, jestli jste to vyřešili, řekněte mi, jak jste to udělali, protože mi to mnoho lidí řeklo, ale byla to ztráta času. Mnoho lidí si myslí, že tento problém vyřešili, ale neudělali.

Otázka „P se rovná NP?“ říká: „Existuje algoritmus, který řeší 3-SAT s některými konstantními kroky?“ Chci položit další otázku, a to je: Mohli bychom znát algoritmus, který řeší 3-SAT? Někteří lidé si myslí, že se jedná o stejné otázky. Pokud existuje algoritmus, určitě bychom věděli, co to je, že? Je to však obrovský krok od toho, abychom řekli, že existuje algoritmus, a existuje algoritmus, který můžeme skutečně najít. Mnoho věcí je prokázáno nekonstruktivně, takže může jít několika způsoby. Jedním je, že máme „ano, existuje algoritmus, ano, víme to“. Nebo by to mohlo být „ano, existuje algoritmus, ale ne, ve skutečnosti je to mimo naši kontrolu“. Nikdy to nemůžete zapsat. Existuje tam nahoře, ale musíte být Bohem, abyste to věděli, vlastně jej používali. A pak je tu případ „no, neexistuje žádný algoritmus“. Pak by tato [čtvrtá buňka ve schématu kombinatorické tabulky] měla být lepší. Nebudu tady mít N a Y.

Gruska : Byli byste rádi, kdybyste měli konstruktivní řešení?

Knuth : Myslím, že to je asi pravda. Nejsem si jistý, jak šťastný bych byl, ale mohlo by to být tak, že celkový počet algoritmů je obrovský, a pokud neexistuje, je to úplně jiná otázka. Je to docela pravděpodobné, ale sotva někdo o této hádance přemýšlí. Je docela pravděpodobné, že algoritmus existuje, ale pouze proto, že existuje jen konečně mnoho důvodů, proč neexistuje. A to nám moc neřekne. Existuje mnoho případů nekonstruktivních věcí, kde například víme, že ve hře s hexem existuje vítězná strategie, ale nikdo nemá způsob, jak hex skutečně vyhrát. Je jen známo, že existuje vítězná strategie pro první ...

Gruska : Takže další otázka ...

Knuth : Jo ... smích

Gruska : Stále píšete nějaký kód? Pokud ano, proč a jaký programovací jazyk?

Knuth : V tomto případě bych dokonce mohl říci, jaký je můj oblíbený programovací jazyk. smích Když jsem psal Fascicle 5, asi jsem psal asi 600, nevím, mnoho stovek programů a každý týden píšu v průměru nejméně pět. Většina programů je samozřejmě poměrně krátká, ale některé z nich mají docela dobrou velikost. Jazyk, který používám neustále, se nazývá CWEB. Pro mě to opravdu funguje. Je nainstalována s operačním systémem Linux, a proto mám na svém webu mnoho příkladů CWEB programů. Pokud někdo chce více informací o kterémkoli z těch, které jsem dosud na webových stránkách nevložil, jsem rád, že je uvedu online.

Je to kombinace TeXu a C. Je mnohem lepší než jakýkoli jiný způsob psaní programů, ale raději bych s tím nezačal. Pro mě je to největší výsledek celé mé práce na TeXu. Skutečnost, že nyní mám CWEB, abych vyřešil spoustu problémů.

Gruska : Dobře, související otázka. Zkusili jste napsat program pro kvantový počítač?

Knuth : Ahaaa! Kvantové zpracování je něco, pro co nemám žádnou intuici. Pokud se ukáže, že kvantové výpočty jsou nejlepším způsobem, jak jít a všichni přecházejí na kvantové výpočty, bude to pro mě to nejlepší, protože pak budu mít více času na psaní svých knih. Protože nikdy nebudu psát nic o kvantovém počítání. Slibuji jen psát o věcech, které byly známy v roce 1962, když jsem zahájil projekt [The Art of Computer Programming] ...

Gruska : Další otázka je taková, že můžete mít potíže s odpovědí. Otázka zní: Na jakých výzkumných problémech jste pracovali během vaší spolupráce s NSA? smích

Knuth : Takže jsem strávil rok před tím, než jsem odešel do Stanfordu a pracoval na lámání kódu, a nemůžu říct své ženě, co jsem během toho roku udělal. smích

Gruska : Není tady! SMÍCH

Knuth : Ale tohle se nahrává, a možná by ji měla sledovat.

Gruska : [Zklamaně] Oh ...

Moje otázka zní: Jaký byl váš předmět ve vaší diplomové práci? PhD. teze. A pomohl vám váš poradce?

Knuth : Měl jsem štěstí, že jsem pracoval s Marshall Hall v Caltech, a tak moje práce byla o obecné oblasti, která by se nyní nazývala kombinatorickými designy. Konkrétně konečná projektivní rovina. Toto je uspořádání bodů a čar, které jsou abstraktní. Existuje parametr n, a myslím, že to bylo ... n ² + n + 1 bod, a každý řádek obsahuje n + 1 bod a každý bod je na n + 1 řádcích a všechny dva řádky se protínají přesně v jednom bodě. Je to jako projektivní geometrie, ale konečná projektivní geometrie místo projektivní geometrie koule nebo tak něco. Moje diplomová práce tedy měla ukázat, že existují určité druhy konečných projektivních letadel, které dříve nebyly známy. Celá oblast designu je najít rodiny sad, které mají zajímavé vlastnosti, které by mohly být užitečné v aplikaci.

Zajímavé je, že v průběhu roku, kdy jsem promoval, jsem aplikoval téměř všechny matematické obory, které jsem kdy slyšel, na počítačové programování, kromě teorie designu. Protože jsme následně zjistili, že v téměř všech případech můžeme namísto pokusu o nalezení těchto velmi vzácných vzorců, které někdy existují, dělat lepší výsledky s náhodnými rozhodnutími. Bylo to velmi dobré školení a můj poradce mi pomohl následujícím způsobem: Pracoval jsem na dalším problému a jednoho rána, když jsem jel do výtahu, dostal jsem se do své kanceláře a řekl jsem: " právě jsem slyšel. A můj poradce řekl: Dobře, to je vaše práce.

Gruska : Další otázka: Vim nebo Emacs? [Tato otázka nebyla v tuto chvíli zodpovězena. Ale podívejte se na pozdější zmínku poblíž textu „Tabulky nebo mezery“ v tomto přepisu.]

Knuth : Co si myslím o umělé inteligenci? OK. Myslíte si, že by to mohlo být nebezpečné?

Určitě upřednostňuji skutečnou inteligenci před umělou inteligencí. Vždycky jsem cítil, že pracovní ??? AI byla na špici počítačové vědy. Za posledních šedesát let lidé pracující na náročných problémech umělé inteligence přišli s mnoha nejdůležitějšími inovacemi v oboru. Vždy jsem to považoval za něco, co nám říká, jak protáhnout to, co víme, a vymýšlet lepší algoritmy, spíše než za něco, kde bych tyto algoritmy skutečně použil a věřil tomu.

Jinými slovy, předpokládejme, že vyvíjíme opravdu dobrý algoritmus, který rozhoduje, zda student má nebo nemá absolvovat. Měl bych nechat počítač, aby se rozhodl, který student absolvuje, nebo bych se měl pokusit porozumět jejich práci a zjistit, jestli to má nějakou hodnotu?

Právě teď je otázka nebezpečí nebezpečná a zejména s ohledem na vojenské aplikace. Je tu opravdu děsivý film, krátké video ... nepamatuji si jeho název. Přišel jsem asi před třemi lety. Tam, kde jste mohli, díky dnešní technologii můžete naprogramovat drony, aby zabili kohokoli, koho jste chtěli. Scénář, na který bych si měl vzpomenout, si někteří z vás možná pamatují název, ale můj přítel Stu Russell v Berkeley byl jedním z lidí za tímto filmem. V podstatě je již možné tyto strašné věci dělat, takže musíme najít způsob, jak tomu zabránit. Stu má zatím nejlepší představu o tom, jak se na taková nebezpečí připravit, ale přesto se obávám, že mi jeho myšlenky nevyhovují, protože závisí na předpokladu, že lidské bytosti jsou racionální. A čím více jsem o těchto dnech četl, tím méně jsem přesvědčen, že lidské bytosti jsou racionální.

Je velmi seriózní vidět, jak omezit věci, kterým nerozumíme, a zjistit, jak, protože s novými technikami jsme schopni vyřešit mnoho problémů, úžasné problémy ve všech oborech vědy, které jsme dříve nedokázali vyřešit. . Ty, které mě povzbuzují, jsou ty, kde není zapojen žádný nepřítel. Jako někdo, kdo se nás snaží v experimentu porazit, ale jediným nepřítelem je to, že bojujeme s nevědomostí, snažíme se najít nějaký vzorec, jak hvězdy fungují, nebo něco podobného, jak funguje biologie, jak identifikovat nemoci různé druhy ... A tyto techniky strojového učení jsou úžasné. I když nechápeme nic o tom, jak fungují. Stejný algoritmus však používáte pro něco, o co se jedná, pokud jde o kontradiktorní zájem, pak je všechno špatné.

Gruska : Další otázka byla velmi pěkná a myslím, že se vám bude líbit: Mohl byste nám vyprávět příběh TeXu od samého začátku implementace?

Knuth : Ano, ano. smích Ano. Stručně řečeno, zjistil jsem, že počítačová technologie se změnila, takže práce, která byla jednou prováděna ručně s horkým kovem, se již neuskutečňovala. Byl nahrazen novou technologií založenou na fotografii. A nová technologie vypadala hrozně. Viděl jsem důkazy pro nové vydání svazku 2 Umění počítačového programování a byl jsem skoro nemocný. Nechtěl jsem mít knihu, která by vypadala takto. A pak jsem se o pár týdnů později dozvěděl, že počítače mohou být odpovědí, protože někdo, kdo pracuje v jižní Kalifornii, zjistil, že vlastně s digitálními metodami, s nulami pixelů a ty, které by mohly potenciálně vytvářet knihy, které by vypadaly stejně dobře jako skutečné jeden vytištěn.

Tak jsem se dostal do letadla a odletěl do Jižní Kalifornie, mluvil s tamními lidmi a rozhodl se změnit své sabbatické plány pro příští rok, kde jsem měl studovat kombinatorické algoritmy. Místo toho jsem se rozhodl, že oh, teď mohu vyřešit problém s knihami, pokud budu psát pouze počítačový program, který vytváří vzory nul a ty, které říkají, co by mělo být na každé stránce knihy. Trvalo to trochu déle než rok, ale to byl začátek mé práce na typografii.

Zlatuska : Takže důkazy pro Svazek 2. To znamená, že Svazek 1 již nebyl vytištěn pomocí TeXu? Existuje?

Knuth : Ne. Svazek 1, 2. vydání již vyšlo.

Zlatuska : První vydání, které ??? o.

Knuth : Svazek 1 by v určitém okamžiku vypadal špatně, ale revidoval jsem Svazek 2, a tak tyto důkazy přišly. Co se stalo, je to, že technologie šla pryč od horkého kovu, v podstatě monotypů, a vlastně ve východní Evropě byla jediné místo, které zbylo lidem, kteří v 70. letech stále dělali monotyp. Takže mám překlad své knihy do maďarštiny, že jak to bylo provedeno těmito ručními metodami, stále vypadají dobře v 70. letech, ale knihy, které byly vytištěny ... pokud se podíváte na všechny časopisy z matematiky, které byly vytištěny v 70. letech, to, co mám na mysli. Takže jsem se cítil špatně, dokud jsem si neuvědomil, že je to jen otázka programování. Byly tam stroje, které by knihu vytvořily, ale já musím dostat obrazové body. Takže jsem strávil dlouhou dobu v knihovně a díval se na všechno, co jsem viděl o tom, jak vytvořit dobře vypadající knihy, a přivedl jsem odborníky do Stanfordu a chvíli jsme spolu pracovali.

Gruska : Kolik měsíců jsi pracoval na TeXu?

Knuth : Těžko říci, protože jsem také dělal několik dalších věcí, ale v jednom bodě jsem odcházel ze Stanfordu na rok, protože jsem zjistil, že práce na softwaru je těžší než psaní knih. Můžete psát knihy, psát papíry, ale software zahrnuje mnohem více vašeho mozku, a já jsem nemohl zaměnit a zaměnit tolik, aniž bych si vzal rok výuky a dokončil TeX. Pak jsem se mohl vrátit a pokračovat v dalším rozvrhu. Ale v kalendářním čase jsem dokončil tuto pětidílnou sadu knih s názvem Počítače v typografii. Dokončil jsem to v roce 1984, projekt jsem zahájil v roce 1977. Takže to je sedm let. Pak jsem se k tomu vrátil v roce 1989. Vrátil jsem se k tomu, protože jsem si neuvědomil, že to lidé budou používat pro sazbu podivných jazyků, jako je čeština. smích Víš, máš dopisy. Páni. V roce 1989 jsem tedy přešel ze 7 bitů na 8 bitů. Trvalo rok.

Gruska : Pokud si vzpomínám, při práci na TeXu každý večer nebo každé ráno jsi napsal, co bylo dobré, co bylo špatné. Využili jste tyto komentáře?

Z toho jsem dostal papír. Mám novinu nazvanou „Chyby TeXu“, kterou považuji za dobrý nápad pro všechny - sledovat, jaké chyby uděláte. Programování je příliš komplikované, nemůžete to všechno udělat dobře. Chtěl jsem zjistit, jaké byly chyby, které jsem udělal, a také se něco dozvědět o vzorcích a že bych mohl změnit své činy. Tento protokol jsem uchovával každé století (???), každou významnou netriviální změnu, kterou jsem v průběhu let provedl, některé z těch triviálních, pro TeX a Metafont. Pak jsem byl schopen pochopit rozsah, jak důležité jsou určité druhy chyb. Například lidé říkají: goto prohlášení jsou špatná. Podívejte se na svou historii s TeXem - jsem si jistý, že jsem udělal několik chyb, protože jsem nesprávně použil příkazy goto. Také jsem však použil každý jiný druh tvrzení nesprávně. Každé prohlášení - příkazy k zadání jsou špatné, podmíněné příkazy jsou špatné, vše z tohoto hlediska lze zneužít. Dozvěděl jsem se však něco o tom, kterým druhům se vyhnout a opravy nebyly pouze opravením chyb, ale také vylepšením uživatelského rozhraní a podobně.

Gruska : Další dvě otázky jsou pěkné ??? tak prosím ???.

Knuth : Dobře, tak ... Co byste radili svému 25letému?

Takže 25 let, to by bylo ... 1963. To je rok, kdy jsem získal doktorát. ... Rozhodl jsem se ten rok stát se vysokoškolským profesorem. Vlastně mi bylo nabídnuto rok předtím, když mi bylo 24, abych odešel z gymnázia. V podstatě mi byl nabídnut plat 100 000 dolarů ročně plus asistent. Nyní v roce 1962 by to bylo 10 000 000 dolarů. Není to nikde blízko platu Billa Gatese, ale stejně jsem věděl, že v mém životě v životě bude mým zájmem pracovat spíše se studenty, než maximalizovat výši mého příjmu. Na druhou stranu neříkám, že by se všichni měli rozhodovat. Každopádně, ve 25, je to, když se chcete začít stabilizovat a dělat dlouhodobá rozhodnutí, se kterými budete žít.

Knuth : Další otázka: Anonym:

Gruska : Jak vás křesťan ovlivnil jako počítačový vědec?

Knuth : Je pro mě těžké říci, jaké by to bylo, kdybych se narodil v jiné rodině, ale určitě, myslím, jedním ze způsobů, moje křesťanská výchova s ohledem na práci na kryptě a otázky počítačové bezpečnosti. Nejsem moc dobrý v práci na kryptografii, protože nejsem tak záludný jako lidé, kteří se snaží tyto věci porazit, ale s ohledem na bezpečnost celý můj život jsem měl tento nápad ... Omlouvám se, ne bezpečnost - soukromí ... Vždy jsem měl tušení, že všechno, co dělám, je známo Bohu, takže nemám absolutní soukromí. A až později jsem pochopil, že jsou lidé, kteří si myslí, že nikdo by neměl vědět, jaké jsou jejich myšlenky. Takže je pro mě těžší pochopit, ale někteří lidé se obávají o soukromí, i když samozřejmě nechci, aby mé myšlenky použil ďábel, něco, co mě zneužije, ale nejsem moc pohodlný jestli tam bylo něco prospěšného sledovat, co dělám.

Myslím, že všechny tyto věci, myslím, jsem velmi rád, že existují části mého života, ve kterých není tajemství, a mohu dokázat, že je něco v pořádku, ale nebyl bych šťastný, kdyby neexistovalo vůbec žádné tajemství. , takže si vážím toho, že jsou věci, kterým nikdy nebudu rozumět, takže mě to učí nějaké pokoře, že bych neměl očekávat, že všechno pochopím. Takže netvrdím, že rozumím všemu, a jsem velmi šťastný, že Bůh neumožnil dokázat nebo vyvrátit existenci Boha.

Gruska : Souvisí s touto otázkou: Předpokládejme, že budete žít ještě 30 let.

Knuth : Ano ? Co teď? ... Svatá dobroto. smích

Gruska : V té době slavným vizionářem Kurzweilem bychom měli mít notebook s možností zpracování informací lepší než všechny lidské mozky. Co byste dělali s takovým notebookem?

Knuth : Určitě bych se pokusil dokončit umění počítačového programování. Dovolte mi přeformulovat vaši otázku. Jak chci pokračovat, víte, co mám dělat příští týden a týden poté? Jak chci pokračovat v životě? Musím sledovat, kdy začnu být senilní. V tuto chvíli si nemyslím, že jsem toho bodu doposud dosáhl, ale mohlo by dojít k bodu, kdy bych měl přestat psát The Art of Computer Programming, protože začínám psát hloupé věci.

Gruska : V které oblasti informatiky nebo matematiky vidíš největší potenciál?

Knuth : V které oblasti ... To je opět jedna z těchto oblíbených otázek. Mnohem těžší otázkou by bylo: „Která oblast nemá velký potenciál?“ protože myslím, že všude, kam se podívám, vidím potenciál. Problém je, že v noci musíme spát a nevyužívat znalosti, které máme. Všude, kam se podívám, vidím, že to ještě není nasycené.

Gruska : Další otázka je dost filozofická: Jaký je váš názor na Curry-Lambekovu korespondenci? Myslíte si, že matematika je konstruována nebo existuje nezávisle?

Knuth : Myslím, že jsem platonista v tom smyslu, že objevuji věci, které již existují. Věci, které tam jsou, jsou v souladu s mým vlastním postojem, že tyto pravdy jsou a já se jen několik z nich učím najednou. Mohl by existovat algoritmus, který řeší 3-SAT, a to by tam bylo. Ve skutečnosti si nejsem jistý, jestli vůbec chápu, jak bych mohl být ne-platonista.

Gruska : Co bylo nejcennější ??? naučili jste se během své kariéry?

Knuth : Nepoužívat e-mail? smích Tam jdeme.

Gruska : Je příliš pozdě na dvacetileté studenty, aby se začali učit skutečné matematice a programování?

Knuth : 20letý student? Má bože, ne. Když mi bylo 20, tak moc jsem to neudělal. Záleží na tom, co jste dosud viděli a na učitelích, které jste měli. Ale považuji život za binární hledání, kde zjistíte věci, které jsou pro vás relativně snadné, kvůli jedinečným zážitkům, které jste prožili, a vyzkoušíte některé věci a některé věci fungují a některé věci nefungují . Pak se o sobě stále více dozvíte. Je mi 81 let, stále si nejsem jistá, kam přesně jít, ale pořád zkouším jinou věc. Vzdal jsem se však kvantového zpracování. smích . Snažil jsem se porozumět kvantovému zpracování a znám lidi, kteří rozumějí kvantovému zpracování, ale já ??? to nejsem já.

Gruska : Věříš v non-místo ve fyzice?

Knuth : Chápu pár věcí o multiverse a podobných věcech. Například neexistuje způsob, jak rozlišovat mezi tím, zda tato přednáška, kterou nyní předávám, se současně rozkládá v mnoha různých věcech, a tak každá její různá inkarnace bude mít jinou řadu otázek a dám různé odpovědi různým otázky atd. A celá tato myšlenka, že existují všechny tyto různé vesmíry, všechny současně existující, je v souladu s kvantovou mechanikou.

Gruska : Největší výzva stát se dobrým programátorem?

Knuth : Co to říká? Prostory ... Záložky nebo mezery? hej, smích

Takže používám Emacs pro své hackování a vždycky jsem untabify ??? ale také jsem četl spoustu programů, které napsali jiní lidé, a začnu se změnou všech karet na mezery. Samozřejmě používám CWEB, ne Python.

Knuth : Další ... Některá cvičení jsou známa jako problémy otevřeného výzkumu. Ano vskutku. Pokud je číslo 46 nebo vyšší, je to něco, kde, pokud vím, to ještě nebylo vyřešeno.

Knuth : Už vás někdo někdy kontaktoval, že vyřešili jednu z nich při čtení knihy? To jo. Lidé se na ně dívají ??? Chci poukázat na to, že mnoho lidí se na ty v poslední době nedívá, takže ... Omlouvám se ...

Gruska : Promiňte ... Děláme přestávku na 5 minut, protože musí změnit mikrofon.

Knuth : Takže jsme měli oslavu v Berkeley, myslím, že před měsícem, oslavující život Dicka Karpa a v té době bylo tucet řečníků, a rozhodl jsem se, že řeknu něco o Karpově práci, že ostatní se neúčastní mluvit o. Takže jsem se znovu podíval na 3. díl The Art of Computer Programming, kde mi Dick řekl o některých věcech, které nikdy nezveřejnil a které se týkaly třídění na páskách. V dnešní době lidé nepoužívají pásky pro třídění, ale když vyšel 3. svazek, byl to jeden z největších témat v celé počítačové informatice. Lidé říkali, že jedna třetina veškerého počítačového času byla věnována třídění, a lidé měli tyto pásky a ty musely mít v knize. Ale protože už to takto neřídíme, měl bych to všechno vytrhnout, nevím, šedesát stránek nebo něco svazku 3. A pak lidé říkají „ne, ne, neber to pryč, protože jen zjišťujeme, že existuje nový druh paměti, který byl vynalezen a který je poněkud podobný pásku, a tak tyto staré techniky budou dobré! “

Jednou z věcí magnetické pásky je, že ji můžete číst dopředu a dozadu, takže můžete psát informace na pásku, a pak si ji můžete přečíst v opačném směru, což by bylo mnohem rychlejší než přetočení a zpětné čtení dopředu. . A Dick Karp vypracoval nádhernou teorii o vzorcích používání pásek pro třídění, které mi jednoho dne ukázal na oběda a dal jsem ji do své knihy a nikdy ji nezveřejnil. Takže jsem to ukázal lidem v Berkeley, a když jsem se díval skrz tohle, narazil jsem na výzkumný problém, víte, že úroveň 46, která se mi zdá, je nyní zralá na řešení. Uplynulo 50 let a lidé vědí mnohem více matematiky než tehdy, takže mám podezření, že tam jsou tucty problémů, které čekají na vyřešení. Abyste mohli projít, musíte strávit trochu času pagingem a kontrolou čísel. A pokud je to 46 nebo více, pak o tom přemýšlejte a řekněte „hm, zajímalo by mě, jestli to dokážu vyřešit teď“, protože to lidé systematicky nedělali.

Zlatuska : Kolik dívek jste sváděli kvůli informatice?

Knuth : Kolik dívek jsem měl díky počítačové vědě?

Gruska : Zapomeň na to. Zapomeň na to.

Knuth : Ve skutečnosti jsem měl 28 studentů, ale žádný z nich nebyl ženský, smích, ale sloužil jsem mnoha výborům a mnoha dalším a tak dále ...

Gruska : Tady je lepší otázka: Jaká je největší motivace, která vás udržovala v kariéře?

Knuth : Myslím, že je to příklad mých rodičů, který byl vždy nějakým sluhou, aby viděl, jak bych mohl být užitečný pro někoho jiného. Jméno mého otce bylo Erwin. Měl neformální, myslím, že byste to nazvali startem ???, je to operace s jednou osobou a bude poskytovat služby pro všechny církve a školy a několik dalších neziskových věcí, jako je tato, a nazval to ERW. servis. Myslel si, že je chytré, že dokáže napsat slovo služba, ale zvětšit ERW, takže by řekla ERW služba. Ale stejně to ztělesňovalo veškerou filozofii, se kterou jsem vyrostl - být službou. Pokud jsem se dostal do bodu, kdy jsem si myslel, že už nikomu nemohu být užitečný, řekl jsem svým dětem, aby mě neudržovaly naživu, jen aby mě udělaly šťastnými, ale pokud se dostanu do bodu, kdy je neuznávám nebo něco podobného ... Jak to vyjádřím ... Je tu román, vyšel před méně než 20 lety od PD James a bylo to o ... světě ... lidé to objevují od nynějška u všech žen na celém světě by bylo neplodné, a tak už nebudou znovu děti. Takže lidstvo nakonec vymřelo. Co tedy lidé dělali? Bylo to pro mě velmi devastující, představit si, jaké by to bylo, kdybych byl v situaci, kdy bych nemohl udělat něco, co by bylo užitečné lidem, více než mé nejbližší rodině, ale lidem v budoucnosti.

No, je tu povídka ... Oh, bože ... Dobře, kdo je největším argentinským autorem?

Zlatuska : Borges.

Knuth : Borges, samozřejmě, Borges. Má tedy tuto povídku. Myslím, že se to dokonce odehrává možná v Československu, nevím. Ale stejně je to příběh člověka, který je dramatikem, ale kvůli svým politickým názorům čelí palebné skupině. A stejně jako na něj míří zbraně a tak dále, modlí se k Bohu a říká: „Bože, musím dokončit tuto hru, na které pracuji. Prosím, udělejte si čas, abych mohl vypracovat všechny podrobnosti a přesně zjistit, co by se v této hře mělo stát. “ Takže Bůh říká, že je v pořádku a čas stojí, a tento dramatik řeší problém, přesně zjistí, jaká je perfektní hra. A pak je zastřelen. Takže nikdo nikdy neuvidí, co se ve hře stalo. Právě ten dramatik dokázal tento konkrétní problém vyřešit. To je opak mého vlastního způsobu. Musí to být něco, co dělám, že někdo může použít. Doufám, že se tím trochu objasním, co je to za myšlenku služby.

Gruska : Existuje poměrně málo lidí, kteří se snaží programovat, formovat metody do programování, vývoje softwaru .... Co si o tom myslíš?

Knuth : Když vkládáte nápady do formálních metod, nutí vás pochopit, jaké jsou tyto myšlenky. Neuvědomujete si, co nevíte, dokud se to nepokusíte nějak formalizovat. Takže je to skvělá vzdělávací zkušenost. Na druhou stranu, myslím, že jsem před chvílí řekl o umělé inteligenci něco podobného, že to považuji za velmi užitečný způsob, zdroj dobrých problémů a další učení. Poté jsem ale měl menší zájem o to, abych tyto programy skutečně používal, protože jsem věděl, že budou mít pouze přibližně pravdu.

Kdysi jsem měl jazyk nazvaný SOL, Simulation Oriented Language, a myšlenka byla taková, že by bylo docela snadné psát modely pro diskrétní systémy. A můžete simulovat systém. Když jsem pracoval na tomto jazyce, podíval jsem se na spoustu různých aplikací, a v každém případě jsem zjistil, že myšlenka formalizace aplikace a její uvedení do tohoto jazyka byla úžasná vzdělávací zkušenost. Dokážu stavět modely věcí, které simuluji, ale naučil jsem se mnohem více psát model, než jsem ten model vlastně následně spustil. Téměř jsem si tedy myslel, že bych měl z výstupu vycházet výstupní prohlášení. Lidé používají jazyk pouze k formalizaci svého modelu, místo aby ho skutečně spustili a věřili na odpovědi, které poté dostanou.

Zdá se, že nikdo nerozumí tomu, co říkám, ale každopádně jsem přesvědčen, že hlavní výhodou formalismu je spíše vzdělávací, než skutečný přínos.

Gruska : Další otázka: Jak dlouho dokážete programovat nebo číst příspěvky denně, dokud nebudete vyčerpaní? Jak odpočíváš? Relaxujete někdy? smích

Knuth : Ano, ale ve skutečnosti se právě teď uvolňuji. smích V noci musím sundat svou mysl, ať dělám cokoli. Četl jsem tedy Jamese Bonda nebo něco, co není opravdu těžká literatura. Právě teď čtu román Fredericka Forsytha jménem The Odessa File, který je příběhem německé SS v Lotyšsku ... co byste nazvali thrillerem. Nějaký takový příběh a já jdu přímo spát. Četl jsem romány stejnou rychlostí, jako jsem četl matematický papír. smích Nevím, jak to udělat, takže se nedostanu skrz tolik knih. Když však narazím na knihu, která je podle mě obzvláště příjemná, umístil jsem ji na svůj web. Takže myslím, že když se podíváte na můj web a pod ... Myslím, že jsou často kladené otázky a říká: „Takže jste v důchodu“ nebo něco takového. Kliknete na to a řekne vám to, myslím, možná tři tucty knih, které považuji za zvláštní pro mě.

Gruska : Pracoval jsi tvrdě, když jsi byl student?

Knuth : Byl jsem stroj. Byl jsem stroj na řešení problémů. Někdo řekl: „Dobře, Don, udělej to,“ a udělal bych to. A začal jsem číst pro potěšení pravděpodobně až ve věku kolem třiceti let. Dostal jsem úkol a byl jsem dobrý chlapec. Tak jsem to udělal.

Alespoň tak si pamatuji, jak to bylo. Nevím, jak to vlastně bylo. Myslím, že jsem byl také ... mohli by mi říkat moudrý člověk. Myslím, že jsem praskal vtipy a nevěnoval jsem příliš pozornosti tomu, co jsem měl dělat.

Gruska : Sledovali jste westernové nebo detektivní příběhy?

Knuth : A co detektivní příběhy?

Gruska : Sledovali jste westernové filmy nebo detektivní příběhy?

Knuth : Určitě sleduji spoustu filmů, ale mimochodem, mohu také zmínit jednu věc. Myslím, že to bylo před měsícem, když jsem znovu viděl film. Jmenuje se to Double Indemnity. Vyšlo to v roce 1944 nebo tak něco. Je to jeden z nejranějších noir filmů, a to hvězdy Fred MacMurray a Edward G. Robinson a Barbara Stanwyck. Tento film má pro mě zvláštní význam, protože když jsem psal The Art of Computer Programming, ten film se hrál téměř každou noc na The Late Show. Když jsem psal Umění počítačového programování, měl jsem televizi zapnutou a znovu a znovu jsem viděl dvojité odškodnění. Takže umění počítačového programování bylo napsáno převážně do tohoto filmu Double Indemnity. Hudba pro Double Indemnity napsal Miklós Rózsa, a je to strašidelná hudba, kterou jsem si nepamatoval, jak strašidelné to bylo asi před deseti lety. Znovu jsem viděl Double Indemnity v divadle a okamžitě, když ukázali název, a slyšel jsem tuto hudbu a řekl jsem: "Ach můj bože, jaká mocná hudba to je." Takže jsem zahrnul hudbu z Double Indemnity do svého díla, které se bude hrát v pátek. I když si nejsem jistý, jestli za to budu žalován. Ale jedna z věcí, která se děje, si ji můžete prohlédnout sledováním filmu.

Gruska : Neměl jsi nápad psát sci-fi?

Knuth : Mluvil jsem o psaní, nebo? Baví mě různé druhy sci-fi, samozřejmě, ale neměl jsem čas ... Napsal jsem tuto malou knihu s názvem Surreal Numbers. Něco na to myslím jako opera v tom smyslu, že opera je dobrá hudba do trochu spiknutí. Moje kniha Surreal Numbers je dobrá matematika na trochu spiknutí. Postavy v tomto příběhu pracují společně na matematickém problému a je to trochu spiknutí, ale hlavně existuje krásná matematika, o které diskutují.

Pokud budu žít dost dlouho a dokončím umění počítačového programování, rád bych napsal nějakou sci-fi. Jedna kniha, kterou bych chtěl napsat, je místo, kde příběh vypráví mravenčí kolonie. Ne mravencem, ale mravenčí kolonií. Existují desítky tisíc mravenců a nějakým způsobem spolu spolupracují, takže vytvářejí vědomí, a tak si myslím, že by měl existovat krátký román, který vypráví mravenčí kolonie.

Druhou věcí je povídka, něco jako ... to by se dalo nazvat The Fly. Nyní, Mark Twain, v jedné ze svých knih si myslím, že se jmenuje Tajemný cizinec, tam je postava představující ďábla a brzy v knize ďábel otevírá okno a moucha vychází z okna. A řekl: „Protože jsem to nechal vyletět z okna, příští rok bude válka.“ Předpovídá, čemu říkají motýlí efekt teorie chaosu. Všechny věci jsou na sobě závislé.

Takže možná lidé viděli tento film Run Lola Run, který vyšel z Německa před několika lety. Vypráví příběh, třikrát nebo čtyřikrát, kdy příběh začíná úplně stejným způsobem, ale pak existují tři nebo čtyři různé, úplně odlišné konce, jen kvůli malým změnám času. Takže si myslím, že by bylo zábavné psát příběhy, které ... No, není to jeden příběh, ale jsou to dva nebo tři příběhy, které začínají úplně stejně, ale končí úplně jinak. Ale na druhou stranu, udělal tento film, je to německé jméno Lola rennt. Run Lola Run v angličtině. Takže autor toho filmu už to udělal, co jsem měl v plánu udělat nějaký čas.

Gruska : Takže, prosím, položte otázky. Ano, budu dokončovat. Možná ti, kteří s mobilem nemají, by měli mít také možnost klást otázky.

Knuth : Ano!

student : Máte potíže ??? rozptýlení nebo udržení zaměření, když pracujete na problému během dne? A pokud ano, jak se posadíte a soustředíte a během dne budete dělat nějakou práci? Máte rádi ???.

Knuth : Pokud to chápu, říkáte, jak se mohu soustředit na jednu věc místo na mnoho dalších? Nemám všechny rozptýlení moderního dne. Nemám rádiovou hru, hudba doprovází ???. Zjistil jsem, že například pokud mám v práci den dělat něco jako korektury, pak mi to pomůže mít nějakou hudbu, jako je Telemann, nebo něco hrát na pozadí. Ostří to moje mysl. Ale pokud budu mít na pozadí Bacha, bude to příliš, a všechno zmizí. Takže její část nemá rozptylování, žádné přerušení.

Když byly moje děti děti, plakaly. Měl jsem tento problém: Jak se soustředím na psaní knihy, když dítě křičí? Odpověď byl bílý šum. Měl jsem vodopád a mohl jsem zapnout fontánu a plakat plus bílý šum rovný bílém šumu. smích

Obecně se ale soustředím na jednu věc a sbírám spoustu materiálu, vše na stejné téma. Budu číst třicet článků o tomto tématu najednou, místo toho, abych četl mnoho různých věcí. Trávil jsem tak spoustu času tím, že jsem dělal věci, abych si je mohl přečíst později. Dávkové zpracování je velmi důležité.

Sochor : Moje otázka zní: Dáváte přednost obrazovce a klávesnici nebo papíru a tužce?

Knuth : Miluji tu otázku, protože se ukázalo, že jsem se na vysoké škole naučil, že dokážu psát dopis svým rodičům rychleji tužkou a papírem než na psacím stroji. Důvod byl vlastně proto, že jsem dobrý pisatel, píšu rychleji, než si myslím. smích jsem vlastně šel do školy psaní, takže můžu psát tak rychle, že je to problém se synchronizací. smích, nejsem na to připraven. Ale tužka a papír pro mě jsou dokonalou synchronizací s mým myšlenkovým procesem. Takže udělám první návrh všeho na tužkovém papíře, ale pak jdu do počítače a leštím ho a upravuji styl. A píšu na to ??? Udělám to.

Gruska : Takže nemusíte myslet, jen jste se podívali na prsty.

Knuth : To pro mě nefunguje.

student : Takže moje otázka zní: Jak byl váš pobyt v Česku dosud?

Knuth : Ve skutečnosti jsem chtěl hned na začátku říci, že je pro mě vzrušením, že mě sem pozvali na oslavu 25. výročí. Ve všech směrech to nemohlo být lepší a tento týden si opravdu užívám. Blábolil jsem se nadšeně, ale zapomněl jsem na to na začátku.

Samozřejmě jsem zatím měl jen pět / šest dní, ale každý z nich byl radost.

Gruska : Dobře, myslím, že je čas na přestávku. Přestávka bude docela dlouhá. Pokračování bude zítra. Děkuji, profesore Knuth.

potlesk

Sojka : Přijďte zítra a těmi, kteří chtějí vyfotit s Donem a fakultou, fotografie ???.