Next
Livestream will start soon!
Livestream has already ended.
Presentation has not been recorded yet!
        0:00 / 0:00
        • Report Issue
        • Settings
        • Playlists
        • Bookmarks
        • Subtitles
        • Playback rate
        • Quality
        • Settings
        • Debug information
        • Server
        • Subtitles size Medium
        • Bookmarks
        • Server
        • Subtitles
        • Playback rate
        • Quality
        • Subtitles size
        • Large
        • Medium
        • Small
        • Mode
        • Video Slideshow
        • Audio Slideshow
        • Slideshow
        • Video
        My playlists
          Bookmarks
            00:00:00
              • Settings
              • Sync diff
              • Quality
              • Settings
              • Server
              • Quality
              • Server

              Complexity and Infinity

              Jan 23, 2014

              Speakers

              PP
              PP

              Pavel Pudlák

              Speaker · 0 followers

              About

              When the set theory was axiomatized, the guiding principle was to keep as many properties of finite sets as possible also for infinite sets. Today, lacking methods to solve problems in complexity theory, we are, in a sense, doing the opposite: we make conjectures about finite structures using facts that are true about similar infinite structures. For example, our belief that P ≠ NP is mainly supported by the fact that recursively enumerable sets are not recursive. I will give some examples of s…

              Organizer

              Categories

              Mathematics

              Category · 2.4k presentations

              About Pražský informatický seminář

              Seminář se bude scházet vždy 4. čtvrtek v měsíci v 16 hod. (s výjimkou letních měsíců a prosince), a to buď v budově FEL ČVUT na Karlově náměstí, nebo v budově MFF UK na Malostranském náměstí. Jeho program bude tvořen hodinovou přednáškou, po níž bude následovat časově neomezená diskuse. Základem přednášky by mělo být něco (v mezinárodním měřítku) mimořádného nebo aspoň pozoruhodného, na co přednášející přišel a co vysvětlí způsobem srozumitelným a zajímavým i pro širší informatickou obec. Přednášky budou standardně v angličtině. Formát semináře připravil přípravný výbor ve složení Roman Barták (MFF UK), Michal Chytil (ÚI AVČR), Pavel Kordík (FIT ČVUT), Jan Kybic (FEL ČVUT), Michal Pěchouček (FEL ČVUT), Jiří Sgall (MFF UK), Vojtěch Svátek (FIS VŠE), Michal Šorel (ÚTIA AV ČR), Tomáš Werner (FEL ČVUT), Filip Železný (FEL ČVUT) Idea Pražského informatického semináře vznikla z rozhovorů představitelů několika vědeckých institucí na téma, jak odstranit zbytečnou fragmentaci informatické komunity v ČR.

              Like the format? Trust SlidesLive to capture your next event!

              Professional recording and live streaming, delivered globally.

              Sharing

              Recommended Videos

              Presentations on similar topic, category or speaker

              Quantum software with an application to position-based cryptography
              1:14:21

              Quantum software with an application to position-based cryptography

              Harry Buhrman

              Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

              Garbage In - Garbage Out: The Critical Role of Data Quality in Clinical Research
              1:11:36

              Garbage In - Garbage Out: The Critical Role of Data Quality in Clinical Research

              Daniel Schwarz

              Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

              Secrecy amplification in partially compromised networks
              1:05:20

              Secrecy amplification in partially compromised networks

              Václav Matyáš

              Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

              Anomaly detection: A novel framework
              1:22:33

              Anomaly detection: A novel framework

              Josef Kittler

              Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

              The Traveling Salesman Problem
              1:03:09

              The Traveling Salesman Problem

              Vašek Chvátal

              Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

              From Graphical to Compositional Models
              1:01:52

              From Graphical to Compositional Models

              Radim Jiroušek

              Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

              Interested in talks like this? Follow Pražský informatický seminář