Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Jak jsem se dostal k matematikovi?
(dlouhý příběh)
Jako dítěti mi táta řekl, že "naše rodina není dobrá v matematice" a já, který jsem dával přednost fotbalu a randění před čímkoliv, co zahrnuje mozkovou práci, jsem to přijal jako pravdu.
Jako vysokoškolák jsem studoval biologii a informatiku, abych se dostal na neurovědy (nakonec jsem se oženil s dcerou jednoho z mých vážených profesorů. Ale to je jiný příběh).
Uvědomil jsem si, že mám opravdu rád kurzy matematiky a nenávidím vše, co se používá - ať už to bylo programování nebo biologické laboratoře. Ve skutečnosti jsem při každém otevření semestru chodil za tehdejším děkanem bakalářského studia (prof. @noamnisan, nyní poradcem StarkWare), abych vyjednal nahrazení programovacích kurzů více matematikou (což je důvod, proč dodnes neumím programovat; i když Úvod do C++ byl první kurz, který jsem učil jako odborný asistent. Ale i to je jiný příběh.)
Pak, jako postgraduální studentka, jsem se chtěla věnovat strojovému učení, ale vytoužená profesorka (Tali Tishby, RIP) už měla studenty.
Seděl jsem na kurzu o výpočetní složitosti, který vyučoval postdoktorand, když ho na jednu přednášku nahradil jistý Avi Wigderson. V té době jsem o něm nic nevěděl (jeho fotografie se objevila na plakátech, protože právě obdržel Nevanlinnovu cenu, ale jako hloupý mladý postgraduální student jsem nevěděl, co to znamená).
Avi mluvil o tom, jak se někteří lidé nyní snaží formálně dokázat, že je nemožné vyřešit dohady P vs. NP. A to mě uchvátilo. Tak jsem mu řekl: Chci to studovat jako svůj magisterský projekt.
Začalo období námluv. Avi si nebyl jistý, jestli se k němu hodím (moje známky z matematiky byly v pořádku, ale nikdy jsem nebyl jedničkářský typ). Tak na mě hodil knihu o složitosti důkazů se slovy: Přečtěte si to a shrňte mi to.
Přečetl jsem tu knihu asi třikrát od začátku do konce a nerozuměl jsem ani slovo kromě úvodní kapitoly (dnes vím, že je to spíše chyba autora, ne moje vlastní hloupost. Ale to je jiný příběh).
O několik týdnů později, stále ještě nerozuměl ani slovu o tomto tématu, požádal Avi, aby vysvětlil svůj nedávný článek na téma "stupeň a velikost důkazů polynomiálního počtu". Seděli jsme u něj doma, vysvětlovala jsem mu.
V určitém okamžiku se zeptal: "Proč to nemůže být aplikováno na systém důkazů rozlišení?" (Rozlišení je nejdůležitější a nejzákladnější systém důkazu výrokového počtu). Přimhouřil jsem oči, trochu se zamyslel a řekl "Aha, ale může, tady je návod", a použil jsem stejnou metodu důkazu na Resolution.
Avi byl velmi nadšený.
Řekl jsem "pošleme e-mail autorům předchozího článku" a myslel jsem si, že když tomu rozumím, nemůže to být víc než hodné e-mailu.
Avi trval na tom, abychom to napsali jako papír. Každých pár dní jsem se ho snažil přesvědčit, aby toho nechal a prostě poslal e-mail, ale byl neoblomný a já jsem ho poslouchal.
Dobře, že jsem to udělal. Skončil jako můj nejcitovanější a nejrelevantnější článek před těmi STORKovými/SNARK.
Po tomto článku přišlo několik dalších. U každého z nich jsem si byl jistý, že je to pouze postřeh hodný e-mailu, nikoli hluboká matematika. Viděla jsem všechny ty ostatní noviny, kterým bylo tak těžké porozumět, a ve srovnání s tím byly moje vlastní věci tak jasné a jednoduché.
Trvalo mi mnoho let, než jsem si uvědomil, že matematika se vyvíjí takto. Strávíte spoustu času internalizací některých teoretických konceptů a pak to jednoho dne "uvidíte". A pak se vám to zdá jasné a prosté. Ale je to jasné a jednoduché pouze pro vás. Pro jiné je to složité.
Dnes, když se musím jít podívat zpět na některé ze svých dřívějších článků, přistihnu se, že mžourám, škrábu se na hlavě a říkám si "sakra, to je nějaká vážná věc, jak na to přišli?" :-)
Po těchto počátečních matematických průlomech mi Avi nabídl, že nedělám jen magisterský titul, ale dokonce doktorát, a tak jsem skončil jako teoretický počítačový vědec (což je druh matematika).
KONEC.
20,68K
Top
Hodnocení
Oblíbené