Složitost výpočtů a složitost důkazů

Prof. RNDr. Pavel Pudlák, DrSc.
(tým Logika a teoretická informatika, Matematický ústav AV ČR, v. v. i.)

Náš tým pracuje v několika oborech matematické logiky a teoretické informatiky. V logice se zaměřujeme na důkazovou složitost a teorii množin, v teoretické informatice na výpočetní složitost. Ve své presentaci vysvětlím, proč je studium výpočetní složitosti důležité a jak souvisí s matematickou logikou. Také stručně zmíním některé naše výsledky.

Přečtěte si také

• Tekutiny v pohybu
• Spintronika: most mezi relativistickou kvantovou fyzikou a nanoelektronikou
• Kosmické plazma pohledem umělých družic a meziplanetárních sond
• Grafen
• Grafen
• Mysterie začátku a konce aneb jak vdechnout genu
• Biodiverzita na naší planetě: ekologické faktory zodpovědné za druhovou rozmanitost rostlin a živočichů
• Buněčný osud a jak ho dokážeme ovlivnit
• Racionální nepozornost a experimentální ekonomie
• Předpoklady, formy a aspekty „dlouhé systémové změny“ 1980-2000