Next
Livestream will start soon!
Livestream has already ended.
Presentation has not been recorded yet!
  • title: Complexity and Infinity
      0:00 / 0:00
      • Report Issue
      • Settings
      • Playlists
      • Bookmarks
      • Subtitles Off
      • Playback rate
      • Quality
      • Settings
      • Debug information
      • Server sl-yoda-v2-stream-010-alpha.b-cdn.net
      • Subtitles size Medium
      • Bookmarks
      • Server
      • sl-yoda-v2-stream-010-alpha.b-cdn.net
      • sl-yoda-v2-stream-010-beta.b-cdn.net
      • 1759419103.rsc.cdn77.org
      • 1016618226.rsc.cdn77.org
      • Subtitles
      • Off
      • English (auto-generated)
      • Playback rate
      • Quality
      • Subtitles size
      • Large
      • Medium
      • Small
      • Mode
      • Video Slideshow
      • Audio Slideshow
      • Slideshow
      • Video
      My playlists
        Bookmarks
          00:00:00
            Complexity and Infinity
            • 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

            Live operating system kernel patching
            1:21:51

            Live operating system kernel patching

            Vojtěch Pavlík

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

            Artificial Intelligence and Theorem Proving
            58:52

            Artificial Intelligence and Theorem Proving

            Josef Urban

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

            Inferring and Comparing the Concept Spaces of Humans and Neural Networks
            52:43

            Inferring and Comparing the Concept Spaces of Humans and Neural Networks

            Robert A. Vandermeulen

            Total of 1 viewers voted for saving the presentation to eternal vault which is 0.1%

            Teams of autonomous cooperating micro aerial vehicles: From theory to applications
            1:00:56

            Teams of autonomous cooperating micro aerial vehicles: From theory to applications

            Martin Saska

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

            Realistic rendering in computer graphics...
            1:20:06

            Realistic rendering in computer graphics...

            Jaroslav Křivánek

            Total of 1 viewers voted for saving the presentation to eternal vault which is 0.1%

            The Life with Constraints
            55:04

            The Life with Constraints

            Roman Barták

            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ář