1
00:00:05,600 --> 00:00:10,600
V roce 1956 napsal proslulý matematik Kurt Gödel
dopis Johnu von Neumannovi,

2
00:00:10,800 --> 00:00:15,800
ve kterém postuloval existenci jednoduchého důkazu,

3
00:00:16,000 --> 00:00:20,000
jež by odhalil základní zákony,
podle kterých funguje náš vesmír.

4
00:00:21,100 --> 00:00:24,300
Ač se to tehdy zdálo neproveditelné,

5
00:00:24,400 --> 00:00:27,600
technologický vývoj a pokrok pojmového modelu
za posledního půl století

6
00:00:27,700 --> 00:00:31,000
nás dovedl blíže k odhalení
děsivého potenciálu tohoto důkazu.

7
00:00:31,100 --> 00:00:36,000
Ten je dnes pokládán za nejdůležitější
nevyřešený problém počítačové vědy.

8
00:00:41,400 --> 00:00:46,400
Obecně je znám jako problém P versus NP.

9
00:02:22,643 --> 00:02:25,277
Není vás slyšet!

10
00:02:31,252 --> 00:02:32,718
Omlouvám se.

11
00:02:32,720 --> 00:02:34,586
Omluvte nás na okamžik, prosím.

12
00:02:34,588 --> 00:02:37,623
Zřejmě tu máme nějaké
technické problémy.

13
00:02:37,625 --> 00:02:42,200
Za okamžik uvedeme dnešního
hlavního řečníka.

14
00:04:59,500 --> 00:05:01,100
Žádné mobily.

15
00:05:01,300 --> 00:05:03,468
Já vím.

16
00:05:05,872 --> 00:05:07,839
A baterii.

17
00:05:31,300 --> 00:05:33,532
Ano?

18
00:05:33,634 --> 00:05:35,768
Ano.

19
00:05:36,970 --> 00:05:39,238
Rozumím.

20
00:05:42,500 --> 00:05:44,076
To byl on?

21
00:05:44,078 --> 00:05:45,544
Co říkal?

22
00:05:45,900 --> 00:05:47,446
40 minut.

23
00:05:47,548 --> 00:05:50,182
To není dobrý.

24
........