Матем 23 09

0:09

S… Speaker 1 (Матем 23 09)

Když se zeptáte,

0:17

S… Speaker 1 (Матем 23 09)

kdyby

0:23

S… Speaker 1 (Матем 23 09)

bylo, tak bylo splňovat tu podmínku.

0:26

S… Speaker 1 (Матем 23 09)

Výroková forma,

0:30

S… Speaker 1 (Матем 23 09)

která je svýslou čárou,

0:32

S… Speaker 1 (Матем 23 09)

tak by musela být pravdívá.

0:35

S… Speaker 1 (Матем 23 09)

To by to znamenalo,

0:36

S… Speaker 1 (Матем 23 09)

že energií,

0:38

S… Speaker 1 (Матем 23 09)

kdyby ovšem...

0:44

S… Speaker 1 (Матем 23 09)

nastala ta druhá možnost,

0:46

S… Speaker 1 (Матем 23 09)

že by ten nebyl přeskeměn,

0:48

S… Speaker 1 (Матем 23 09)

a vlastně tohle,

0:50

S… Speaker 2 (Матем 23 09)

kterým je tady výrokovou spodu,

0:52

S… Speaker 1 (Матем 23 09)

sa tajemným záležit,

0:54

S… Speaker 1 (Матем 23 09)

takže by muselo tam být,

0:58

S… Speaker 1 (Матем 23 09)

že to je tzv.

1:01

S… Speaker 3 (Матем 23 09)

rasový praštný paragraf.

1:02

S… Speaker 4 (Матем 23 09)

Teď jsme

1:13

S… Speaker 1 (Матем 23 09)

si řekli, že vlastně odmá svoje analogie,

1:16

S… Speaker 1 (Матем 23 09)

vlastně logice,

1:19

S… Speaker 1 (Матем 23 09)

jako tzv.

1:21

S… Speaker 1 (Матем 23 09)

paragraf sloháře,

1:23

S… Speaker 1 (Матем 23 09)

když já napíšu věc,

1:25

S… Speaker 1 (Матем 23 09)

v járzu,

1:26

S… Speaker 4 (Матем 23 09)

távka

1:33

S… Speaker 1 (Матем 23 09)

je vytatní.

1:34

S… Speaker 1 (Матем 23 09)

Věta je pravdivá nebo není,

1:36

S… Speaker 1 (Матем 23 09)

takže věta je pravdivá,

1:38

S… Speaker 1 (Матем 23 09)

tak toho vyflývá,

1:40

S… Speaker 1 (Матем 23 09)

že hudu.

1:41

S… Speaker 1 (Матем 23 09)

Takže když sluzím pravdu,

1:42

S… Speaker 1 (Матем 23 09)

tak věžu.

1:42

S… Speaker 4 (Матем 23 09)

A když je pravdivá,

1:46

S… Speaker 3 (Матем 23 09)

tak to znamená,

1:47

S… Speaker 2 (Матем 23 09)

že hudu je pravdu.

1:48

S… Speaker 1 (Матем 23 09)

Čili to je podobná situace.

1:50

S… Speaker 1 (Матем 23 09)

Nebo jsme se zmiňovali paradox voliče,

1:54

S… Speaker 1 (Матем 23 09)

to je zase u nějaké vesnici,

1:56

S… Speaker 2 (Матем 23 09)

kde je holič,

1:58

S… Speaker 1 (Матем 23 09)

který holí všechny a jenom ty,

2:01

S… Speaker 1 (Матем 23 09)

kteří se neholí sami.

2:03

S… Speaker 1 (Матем 23 09)

Je to správná otázka,

2:04

S… Speaker 1 (Матем 23 09)

jak je to s ním samotný,

2:05

S… Speaker 5 (Матем 23 09)

jestli jsem.

2:06

S… Speaker 1 (Матем 23 09)

a zase dojdeme analogicky

2:10

S… Speaker 3 (Матем 23 09)

ke spolu.

2:11

S… Speaker 4 (Матем 23 09)

No a

2:15

S… Speaker 1 (Матем 23 09)

teďka vlastně,

2:16

S… Speaker 1 (Матем 23 09)

jak v tomhle?

2:17

S… Speaker 1 (Матем 23 09)

Takže jedna možnost je zavedení axiomatické

2:21

S… Speaker 1 (Матем 23 09)

teorie množiny,

2:22

S… Speaker 1 (Матем 23 09)

tohletou cestika,

2:25

S… Speaker 1 (Матем 23 09)

která přesně formuluje,

2:27

S… Speaker 1 (Матем 23 09)

co to jsou množiny a zavádí pravidla,

2:31

S… Speaker 1 (Матем 23 09)

jak se s těmi množinami dá zacházet,

2:33

S… Speaker 1 (Матем 23 09)

a k tomuhle paradoxu se vyjde.

2:37

S… Speaker 1 (Матем 23 09)

Bohužel to není tak hružové,

2:39

S… Speaker 1 (Матем 23 09)

jak bych si někdo včal,

2:40

S… Speaker 1 (Матем 23 09)

protože není úplně jasné,

2:42

S… Speaker 1 (Матем 23 09)

jestli tam nemůže se skrývat nějaký jiný paradox,

2:46

S… Speaker 1 (Матем 23 09)

jestli by ještě někdo přišel.

2:47

S… Speaker 1 (Матем 23 09)

Takhle se máte situace.

2:51

S… Speaker 1 (Матем 23 09)

Jednoduchá cesta ven vede přes

2:56

S… Speaker 1 (Матем 23 09)

takovou uvahu,

2:57

S… Speaker 1 (Матем 23 09)

že protože předem máme nějakou danou hnožinu,

3:00

S… Speaker 1 (Матем 23 09)

které bezpečně víme,

3:02

S… Speaker 1 (Матем 23 09)

že jsme ji nějak dobře sestrojili,

3:04

S… Speaker 1 (Матем 23 09)

tak vlastně toho můžeme využít.

3:09

S… Speaker 1 (Матем 23 09)

Takže, když už

3:17

S… Speaker 1 (Матем 23 09)

nám může to být vlastně nějaká,

3:18

S… Speaker 1 (Матем 23 09)

jeden v nějaké dané jedy verzu mobilitů,

3:21

S… Speaker 1 (Матем 23 09)

které už je vlastně konečně zestrojeme,

3:23

S… Speaker 5 (Матем 23 09)

a můžeme na něj,

3:24

S… Speaker 1 (Матем 23 09)

protože to je vlastně v systém,

3:27

S… Speaker 1 (Матем 23 09)

vlastně vše jedy verzu.

3:30

S… Speaker 4 (Матем 23 09)

Zestrojíme

3:53

S… Speaker 1 (Матем 23 09)

něco podobné,

3:54

S… Speaker 1 (Матем 23 09)

vlastně tada slova konstrukčů jinak.

3:59

S… Speaker 1 (Матем 23 09)

Budou tam všechna taková

4:03

S… Speaker 1 (Матем 23 09)

S, která vybereme z toho nic.

4:05

S… Speaker 1 (Матем 23 09)

Nebudou tu ji,

4:09

S… Speaker 1 (Матем 23 09)

protože to se

4:15

S… Speaker 1 (Матем 23 09)

stane.

4:16

S… Speaker 1 (Матем 23 09)

A když teď pak nastane podobný.

4:19

S… Speaker 1 (Матем 23 09)

podobný paragraf,

4:21

S… Speaker 1 (Матем 23 09)

podobný způr.

4:21

S… Speaker 1 (Матем 23 09)

Co tady vlastně máme,

4:23

S… Speaker 1 (Матем 23 09)

každé dne možnosti máme,

4:24

S… Speaker 1 (Матем 23 09)

vlastně

4:39

S… Speaker 1 (Матем 23 09)

znamená podle té naší konvence,

4:41

S… Speaker 1 (Матем 23 09)

že vlastně tady je za tou svyklou čárovou výroková konva,

4:44

S… Speaker 1 (Матем 23 09)

která musí být pravdivá.

4:45

S… Speaker 1 (Матем 23 09)

Tady tato čár,

4:47

S… Speaker 1 (Матем 23 09)

vlastně ta vlastně funguje jako,

4:48

S… Speaker 1 (Матем 23 09)

ta čárka funguje jako koryum.

4:50

S… Speaker 1 (Матем 23 09)

Vlastně musí vlastně vyplněný všechny podmínky,

4:53

S… Speaker 1 (Матем 23 09)

které jsou tady napstány.

4:54

S… Speaker 1 (Матем 23 09)

Někdy se tam přišel ty čárky,

4:56

S… Speaker 1 (Матем 23 09)

nebo předníky,

4:57

S… Speaker 2 (Матем 23 09)

protože to tam može být.

5:04

S… Speaker 1 (Матем 23 09)

Takže to znamená vlastně,

5:06

S… Speaker 1 (Матем 23 09)

že když to M bude spolužit při

5:10

S… Speaker 1 (Матем 23 09)

toho M, tak on musí platit,

5:11

S… Speaker 1 (Матем 23 09)

že vlastně M je prvek víc.

5:14

S… Speaker 1 (Матем 23 09)

A zároveň,

5:15

S… Speaker 1 (Матем 23 09)

když nastává něco podobného,

5:20

S… Speaker 1 (Матем 23 09)

jak už jsme myslím,

5:21

S… Speaker 1 (Матем 23 09)

že se tady chceme spadit,

5:23

S… Speaker 1 (Матем 23 09)

když máme tady prvně urnávací.

5:38

S… Speaker 1 (Матем 23 09)

A takhle se podívám z toho zamek,

5:41

S… Speaker 6 (Матем 23 09)

když žijeme u níců.

5:42

S… Speaker 1 (Матем 23 09)

To vlastně

5:49

S… Speaker 7 (Матем 23 09)

znamená,

5:50

S… Speaker 1 (Матем 23 09)

že neplatí pro mě tohle zapomínka.

5:54

S… Speaker 1 (Матем 23 09)

Čili neplatí

5:55

S… Speaker 1 (Матем 23 09)

A hořky

6:00

S… Speaker 1 (Матем 23 09)

dám v podniku,

6:01

S… Speaker 2 (Матем 23 09)

čili tam bude N,

6:03

S… Speaker 1 (Матем 23 09)

J,

6:03

S… Speaker 1 (Матем 23 09)

K.

6:04

S… Speaker 1 (Матем 23 09)

Nějakou

6:16

S… Speaker 1 (Матем 23 09)

výrokovou formu a před ním mám negaci,

6:18

S… Speaker 3 (Матем 23 09)

operátor negace.

6:19

S… Speaker 1 (Матем 23 09)

Takže ji musím znegovat.

6:21

S… Speaker 1 (Матем 23 09)

A teď je tady koniunce.

6:23

S… Speaker 1 (Матем 23 09)

Tam si ukazovaly pravdivostní tabulky

6:27

S… Speaker 1 (Матем 23 09)

různých výrokových

6:31

S… Speaker 1 (Матем 23 09)

logických spojek.

6:34

S… Speaker 1 (Матем 23 09)

A vlastně víme,

6:36

S… Speaker 1 (Матем 23 09)

že ta koniunce se při negaci uvědí

6:40

S… Speaker 1 (Матем 23 09)

na difiunci.

6:41

S… Speaker 5 (Матем 23 09)

Ono,

6:42

S… Speaker 1 (Матем 23 09)

vlastně si to dá vysvětlit,

6:43

S… Speaker 1 (Матем 23 09)

když se s tím rozumět,

6:44

S… Speaker 1 (Матем 23 09)

protože tohle,

6:45

S… Speaker 1 (Матем 23 09)

když nemá platit,

6:46

S… Speaker 1 (Матем 23 09)

to kveření zároveň je podmínit úžasně.

6:50

S… Speaker 1 (Матем 23 09)

Kdyby to nebyla pravda,

6:52

S… Speaker 1 (Матем 23 09)

tak stačí,

6:52

S… Speaker 1 (Матем 23 09)

aby jedna neplatila.

6:54

S… Speaker 1 (Матем 23 09)

Čili to znamená,

6:57

S… Speaker 1 (Матем 23 09)

že nebude platit tohle,

6:59

S… Speaker 1 (Матем 23 09)

takže bude ve ryní N.

7:01

S… Speaker 1 (Матем 23 09)

Není tohle víc,

7:03

S… Speaker 1 (Матем 23 09)

zebo.

7:04

S… Speaker 1 (Матем 23 09)

A druhá,

7:05

S… Speaker 5 (Матем 23 09)

že tohle opak,

7:06

S… Speaker 1 (Матем 23 09)

čili N bude ve ryní N.

7:07

S… Speaker 1 (Матем 23 09)

Když na ten spór,

7:11

S… Speaker 1 (Матем 23 09)

který nastal zde,

7:16

S… Speaker 1 (Матем 23 09)

vlastně tady nenastane,

7:17

S… Speaker 1 (Матем 23 09)

protože výukce ona

7:21

S… Speaker 1 (Матем 23 09)

to zachrání a vlastně říká,

7:24

S… Speaker 1 (Матем 23 09)

že tohle

7:30

S… Speaker 1 (Матем 23 09)

nastane nebo tohle.

7:32

S… Speaker 1 (Матем 23 09)

A toto nastat nemůže,

7:34

S… Speaker 1 (Матем 23 09)

protože vlastně je to ve sporu s tím okládným.

7:37

S… Speaker 1 (Матем 23 09)

Čiže tohle to nastane určet.

7:39

S… Speaker 4 (Матем 23 09)

A nám

7:48

S… Speaker 4 (Матем 23 09)

zbývá jenom,

7:48

S… Speaker 1 (Матем 23 09)

že M není takhle víc.

7:54

S… Speaker 1 (Матем 23 09)

Takže vlastně nestalo se nic zvláštního,

7:56

S… Speaker 1 (Матем 23 09)

jenom, že jsme pomocí té množinové symboliky sestrojili

8:00

S… Speaker 1 (Матем 23 09)

objekt, který tady nebyl do začátku.

8:02

S… Speaker 1 (Матем 23 09)

Což nám nevadí,

8:05

S… Speaker 1 (Матем 23 09)

je to třeba podobná situace,

8:07

S… Speaker 1 (Матем 23 09)

jako třeba upočítání z čísly,

8:09

S… Speaker 1 (Матем 23 09)

když máte třeba čísla přirodená.

8:12

S… Speaker 1 (Матем 23 09)

Teďka budete mít nějaké rovnice,

8:15

S… Speaker 1 (Матем 23 09)

chcete, aby měli řešení,

8:16

S… Speaker 1 (Матем 23 09)

tak potřebujete rozšířit ta přirodená čísla

8:21

S… Speaker 5 (Матем 23 09)

na cela.

8:23

S… Speaker 1 (Матем 23 09)

Když tam chcete mít odčítání a všechny výsledky,

8:25

S… Speaker 1 (Матем 23 09)

když chcete odečíst od sebe dvě přirodená čísla,

8:29

S… Speaker 1 (Матем 23 09)

chcete mít výsledek vlastně,

8:31

S… Speaker 1 (Матем 23 09)

když od menšího

8:36

S… Speaker 1 (Матем 23 09)

čísla odčítáte větší,

8:37

S… Speaker 1 (Матем 23 09)

tak potřebujete vlastně jít do té záporné části

8:43

S… Speaker 1 (Матем 23 09)

číselného si ž.

8:44

S… Speaker 1 (Матем 23 09)

Takže nebo podobně,

8:46

S… Speaker 1 (Матем 23 09)

když máte nějaké dělení v těch rovnicích.

8:51

S… Speaker 1 (Матем 23 09)

Vlastně chcete,

8:51

S… Speaker 1 (Матем 23 09)

aby rovnice s násobením měly vždycky řešení.

8:55

S… Speaker 1 (Матем 23 09)

Vlastně potřebujete převést nějaký

8:59

S… Speaker 1 (Матем 23 09)

koeficient na druhou stranu a v nich nemám tam zlomek.

9:02

S… Speaker 1 (Матем 23 09)

Takže abychom tohle mohli dělat,

9:04

S… Speaker 1 (Матем 23 09)

aby to mělo výsledky,

9:06

S… Speaker 1 (Матем 23 09)

musíme rozšířit čísla celá na

9:10

S… Speaker 1 (Матем 23 09)

racionální zlomky.

9:12

S… Speaker 1 (Матем 23 09)

A takhle postupně

9:17

S… Speaker 1 (Матем 23 09)

se rozšířují ty číselné obory,

9:19

S… Speaker 1 (Матем 23 09)

nebo když třeba máme odmocniny.

9:22

S… Speaker 1 (Матем 23 09)

nebo všechny rovnice s měnami,

9:24

S… Speaker 1 (Матем 23 09)

aby měly řešení,

9:25

S… Speaker 1 (Матем 23 09)

tak potřebujeme mít tam ty odmocněny,

9:28

S… Speaker 1 (Матем 23 09)

a to už jsou často čísla iracionální,

9:31

S… Speaker 1 (Матем 23 09)

než reálná.

9:32

S… Speaker 3 (Матем 23 09)

Takhle se dostaneme k reálným číslům.

9:34

S… Speaker 1 (Матем 23 09)

Vlastně něco to je situace,

9:38

S… Speaker 7 (Матем 23 09)

protože si zala větná,

9:40

S… Speaker 1 (Матем 23 09)

už se to nevadí.

9:41

S… Speaker 4 (Матем 23 09)

Teďka,

9:43

S… Speaker 1 (Матем 23 09)

když jste tam zapisovali

9:47

S… Speaker 1 (Матем 23 09)

nějaké množiny,

9:48

S… Speaker 1 (Матем 23 09)

vlastně pomocí právě toho oboru pravdivosti výrokové formy.

9:53

S… Speaker 1 (Матем 23 09)

Kud jste měli pečtivé přítele,

9:55

S… Speaker 1 (Матем 23 09)

tak vám připali,

9:56

S… Speaker 1 (Матем 23 09)

že než na to naložíte nějakou průmění komunáci.

10:00

S… Speaker 1 (Матем 23 09)

No a vlastně tady tu proměnu,

10:03

S… Speaker 1 (Матем 23 09)

tak musíte říct,

10:05

S… Speaker 1 (Матем 23 09)

z které množiny vybíráte ty prvky.

10:08

S… Speaker 4 (Матем 23 09)

No,

10:09

S… Speaker 1 (Матем 23 09)

jestli vzpomenete.

10:10

S… Speaker 1 (Матем 23 09)

Tak to vám říkali právě z tohoto důvodu,

10:13

S… Speaker 1 (Матем 23 09)

aby nenastal ten problém vlastně s tím praslovým

10:17

S… Speaker 3 (Матем 23 09)

paradoxem.

10:18

S… Speaker 4 (Матем 23 09)

No,

10:19

S… Speaker 1 (Матем 23 09)

aby to bylo korektně definované,

10:21

S… Speaker 1 (Матем 23 09)

tak tam musí být předem řečeno,

10:24

S… Speaker 1 (Матем 23 09)

odkud ty prvky berem.

10:25

S… Speaker 1 (Матем 23 09)

Počuji tady vlastně proměnu je to.

10:29

S… Speaker 1 (Матем 23 09)

No a nyní ještě můžeme udělat takovou upahu,

10:32

S… Speaker 1 (Матем 23 09)

podívat se,

10:33

S… Speaker 1 (Матем 23 09)

jak je to propojené vlastně tady tohleto,

10:36

S… Speaker 1 (Матем 23 09)

tohleto, tohleto, tak je možné

10:40

S… Speaker 1 (Матем 23 09)

nějak zaměřit,

10:41

S… Speaker 1 (Матем 23 09)

aby vlastně tady,

10:44

S… Speaker 1 (Матем 23 09)

vlastně z téhle,

10:46

S… Speaker 1 (Матем 23 09)

z téhle konstrukci se stala ta bežka.

10:49

S… Speaker 1 (Матем 23 09)

No to bude tehdy,

10:52

S… Speaker 4 (Матем 23 09)

když...

10:55

S… Speaker 1 (Матем 23 09)

Tato podmínka,

10:56

S… Speaker 1 (Матем 23 09)

čiže to je prostě víc,

10:58

S… Speaker 1 (Матем 23 09)

nebude žádné omezení.

11:00

S… Speaker 1 (Матем 23 09)

Nebude tam omezovat vůbec nic.

11:02

S… Speaker 1 (Матем 23 09)

A to bude tehdy,

11:06

S… Speaker 1 (Матем 23 09)

kdybychom místo toho

11:10

S… Speaker 1 (Матем 23 09)

nějakých objektů,

11:11

S… Speaker 2 (Матем 23 09)

které dali vše,

11:12

S… Speaker 1 (Матем 23 09)

budeme tam mít všechno,

11:16

S… Speaker 1 (Матем 23 09)

co existuje.

11:16

S… Speaker 1 (Матем 23 09)

Vlastně nastane něco

11:21

S… Speaker 1 (Матем 23 09)

podobné, takže vlastně...

11:26

S… Speaker 1 (Матем 23 09)

tento objekt M vyskočí vlastně z toho univerza všech existujících

11:30

S… Speaker 1 (Матем 23 09)

objektů, čili vlastně to říká,

11:32

S… Speaker 1 (Матем 23 09)

že takové M neexistuje.

11:33

S… Speaker 4 (Матем 23 09)

No,

11:36

S… Speaker 1 (Матем 23 09)

takže to je jiná formulace

11:45

S… Speaker 1 (Матем 23 09)

než ta běžná.

11:48

S… Speaker 1 (Матем 23 09)

No a jestli si vzpomenete z klasová,

11:51

S… Speaker 1 (Матем 23 09)

že třeba vlastně ten starověký

11:56

S… Speaker 1 (Матем 23 09)

budučistý příběh o Agiretanovi,

11:58

S… Speaker 1 (Матем 23 09)

ještě to připomenu,

12:00

S… Speaker 1 (Матем 23 09)

že vlastně ten objem,

12:02

S… Speaker 1 (Матем 23 09)

ten údrc,

12:06

S… Speaker 1 (Матем 23 09)

Budu ho setkat a říct,

12:08

S… Speaker 1 (Матем 23 09)

jak si předem varoval,

12:10

S… Speaker 1 (Матем 23 09)

že to nebude mít lehké v té debatě,

12:12

S… Speaker 1 (Матем 23 09)

že to pane Budu ho já neuznávám žádné názory.

12:16

S… Speaker 1 (Матем 23 09)

Zeptal,

12:18

S… Speaker 1 (Матем 23 09)

neuznáváš ani tento

12:22

S… Speaker 3 (Матем 23 09)

názor, to zná,

12:23

S… Speaker 1 (Матем 23 09)

že žádné názory neuzná.

12:25

S… Speaker 1 (Матем 23 09)

A Givesana nebyl žádný úpad,

12:28

S… Speaker 1 (Матем 23 09)

takže to otamžitě vlastně došlo.

12:31

S… Speaker 1 (Матем 23 09)

Vlastně

12:35

S… Speaker 1 (Матем 23 09)

dosáhl jakého svýho pochopení,

12:38

S… Speaker 1 (Матем 23 09)

že vlastně tady takováhle konstrukce,

12:42

S… Speaker 1 (Матем 23 09)

že to jsou jakási brána mezi

12:45

S… Speaker 4 (Матем 23 09)

Jak si věta,

12:46

S… Speaker 1 (Матем 23 09)

kde už neplatí to přísné

12:51

S… Speaker 1 (Матем 23 09)

logické zplašování,

12:52

S… Speaker 1 (Матем 23 09)

například tady si dokázali,

12:54

S… Speaker 1 (Матем 23 09)

že jsme potřeli zákon vyloučeného třetí,

12:57

S… Speaker 1 (Матем 23 09)

že obvyklé jsme zvyklí na to,

13:01

S… Speaker 1 (Матем 23 09)

že něco platí nebo neplatí.

13:03

S… Speaker 1 (Матем 23 09)

Vidíme,

13:05

S… Speaker 1 (Матем 23 09)

že obojí je špatně.

13:07

S… Speaker 1 (Матем 23 09)

Když to ukazuje,

13:08

S… Speaker 1 (Матем 23 09)

že vysvětluje ještě něco,

13:10

S… Speaker 1 (Матем 23 09)

co se nedá vyksat těmi jaksi slovy a pojmy a nedá se

13:14

S… Speaker 1 (Матем 23 09)

vlastně říct,

13:15

S… Speaker 1 (Матем 23 09)

jestli je to pravda nebo není.

13:16

S… Speaker 1 (Матем 23 09)

No,

13:17

S… Speaker 1 (Матем 23 09)

je to prostě mluhačí.

13:19

S… Speaker 1 (Матем 23 09)

ještě naše výradové podpředky je za skutečnost.

13:22

S… Speaker 1 (Матем 23 09)

A to právě to,

13:24

S… Speaker 1 (Матем 23 09)

aby došlo a nějakého zložili,

13:26

S… Speaker 1 (Матем 23 09)

dostává to z těchto legendy,

13:31

S… Speaker 1 (Матем 23 09)

které se říká o zvícení a o probuzení.

13:33

S… Speaker 1 (Матем 23 09)

No a to bylo vlastně cest téhleté kultury.

13:38

S… Speaker 1 (Матем 23 09)

No a kdybychom vzali tady tuto konstrukci a trošku

13:42

S… Speaker 1 (Матем 23 09)

víc ji rozebrali,

13:43

S… Speaker 1 (Матем 23 09)

což tady to s váma dělat nebudu,

13:44

S… Speaker 1 (Матем 23 09)

ale dá se to takhle dělat.

13:46

S… Speaker 1 (Матем 23 09)

Tak to je z té kultury,

13:49

S… Speaker 1 (Матем 23 09)

která je nám blížší.

13:51

S… Speaker 1 (Матем 23 09)

Pokud znáte Biblii a tam je situace,

13:54

S… Speaker 1 (Матем 23 09)

které v zákoně Mojžíš přijde na koušť a potká se zložitým keřem

13:58

S… Speaker 1 (Матем 23 09)

a z toho,

13:59

S… Speaker 1 (Матем 23 09)

který mu říká sem,

14:03

S… Speaker 1 (Матем 23 09)

ten, který jsem,

14:04

S… Speaker 1 (Матем 23 09)

tak vlastně z této konstrukce to přesně dostanete.

14:09

S… Speaker 1 (Матем 23 09)

A vlastně to první sem je mluvnické,

14:13

S… Speaker 1 (Матем 23 09)

takové, aby ta světa fungovala a to tady sem říká sem jiného

14:18

S… Speaker 1 (Матем 23 09)

druhou skutečnost,

14:19

S… Speaker 1 (Матем 23 09)

než je toho všechno ostatní.

14:22

S… Speaker 1 (Матем 23 09)

Čili to je jakoby,

14:23

S… Speaker 1 (Матем 23 09)

to je,

14:25

S… Speaker 1 (Матем 23 09)

byste dostali z téhle konstruktury,

14:28

S… Speaker 1 (Матем 23 09)

tak když by tady nějakých objektů,

14:32

S… Speaker 1 (Матем 23 09)

kdybyste dali všechno,

14:33

S… Speaker 1 (Матем 23 09)

tak to dostáváte.

14:36

S… Speaker 1 (Матем 23 09)

Takže to je na tom zajímavé,

14:39

S… Speaker 1 (Матем 23 09)

protože to se úkury je úplně oddělené na sebe,

14:43

S… Speaker 1 (Матем 23 09)

přesto mají vlastně něco

14:47

S… Speaker 1 (Матем 23 09)

společného.

14:48

S… Speaker 1 (Матем 23 09)

Ukrazoval jsem vám takový ten příklad

14:52

S… Speaker 1 (Матем 23 09)

se zvonkem,

14:53

S… Speaker 1 (Матем 23 09)

že, tam vlastně jsme se strojili,

14:55

S… Speaker 1 (Матем 23 09)

ukázali,

14:56

S… Speaker 1 (Матем 23 09)

kreslil jsem ten zvonek,

14:59

S… Speaker 1 (Матем 23 09)

že.

15:01

S… Speaker 3 (Матем 23 09)

Nakonec je přes nášky,

15:02

S… Speaker 1 (Матем 23 09)

nebo ne?

15:03

S… Speaker 1 (Матем 23 09)

Ano.

15:04

S… Speaker 1 (Матем 23 09)

Když prochází,

15:06

S… Speaker 1 (Матем 23 09)

tak neprochází,

15:07

S… Speaker 1 (Матем 23 09)

a když neprochází,

15:08

S… Speaker 1 (Матем 23 09)

tak prochází.

15:09

S… Speaker 1 (Матем 23 09)

Takže vlastně to,

15:11

S… Speaker 1 (Матем 23 09)

vlastně představme si,

15:12

S… Speaker 1 (Матем 23 09)

že by tuhle tu úpadnu dělal

15:17

S… Speaker 1 (Матем 23 09)

nějaký počítací stroj.

15:20

S… Speaker 1 (Матем 23 09)

tak vlastně bude se překlápět mezi dvěma stavy.

15:24

S… Speaker 1 (Матем 23 09)

Nebo když my o tom budeme uvažovat,

15:26

S… Speaker 1 (Матем 23 09)

kdo my jít, půjdeme odkud sem a odkud sem,

15:29

S… Speaker 1 (Матем 23 09)

tak vlastně dostávají dva stavy,

15:31

S… Speaker 1 (Матем 23 09)

které zachytí tedy dokmytající

15:35

S… Speaker 1 (Матем 23 09)

zařízení fyzikální,

15:37

S… Speaker 1 (Матем 23 09)

ale ta logika vlastně statická ne.

15:40

S… Speaker 1 (Матем 23 09)

Ale co tím si říct,

15:42

S… Speaker 1 (Матем 23 09)

kam směřuji k tomu,

15:43

S… Speaker 1 (Матем 23 09)

že...

15:43

S… Speaker 1 (Матем 23 09)

Určitě jste slyšeli takové uvahy,

15:45

S… Speaker 1 (Матем 23 09)

že třeba náš vesmír je simulace a že se vlastně všechno

15:49

S… Speaker 1 (Матем 23 09)

odehrává v nějakém velikém fantovém počítači a že vlastně

15:53

S… Speaker 3 (Матем 23 09)

my jsme programy,

15:54

S… Speaker 1 (Матем 23 09)

které v tom počítači běží,

15:56

S… Speaker 1 (Матем 23 09)

je to všechno,

15:57

S… Speaker 1 (Матем 23 09)

co existuje.

15:57

S… Speaker 1 (Матем 23 09)

To jsou lidi,

15:59

S… Speaker 1 (Матем 23 09)

kteří to opravdu berou vážně.

16:01

S… Speaker 1 (Матем 23 09)

To není prostě jenom nějaká fantazie,

16:04

S… Speaker 1 (Матем 23 09)

to klidně tak může být,

16:05

S… Speaker 1 (Матем 23 09)

protože když uvážíte,

16:09

S… Speaker 1 (Матем 23 09)

že třeba elementární částice,

16:11

S… Speaker 1 (Матем 23 09)

jako je třeba elektron,

16:13

S… Speaker 1 (Матем 23 09)

Takže vlastně mají stejný fyzikální popis jako kubit.

16:17

S… Speaker 1 (Матем 23 09)

A vlastně ty elektrony

16:21

S… Speaker 1 (Матем 23 09)

se vyměňují třeba při chemických reakcích,

16:24

S… Speaker 1 (Матем 23 09)

když my žijeme,

16:25

S… Speaker 1 (Матем 23 09)

že tak vlastně všechno je vlastně aplikovaná celá chemie,

16:29

S… Speaker 1 (Матем 23 09)

je aplikovaná klantová mechanika.

16:31

S… Speaker 1 (Матем 23 09)

Takže vlastně tam dochází k vyměněji informací kubity

16:36

S… Speaker 1 (Матем 23 09)

elementárními částicemi,

16:38

S… Speaker 1 (Матем 23 09)

takže to není úplně taková pitomost,

16:40

S… Speaker 1 (Матем 23 09)

že bychom mohli být něco takové.

16:44

S… Speaker 1 (Матем 23 09)

No tak tím chci říct,

16:46

S… Speaker 1 (Матем 23 09)

že vlastně, když by vlastně v tom

16:50

S… Speaker 1 (Матем 23 09)

klantovém pošítačí běželo někde na nějaké základní

16:54

S… Speaker 1 (Матем 23 09)

tunovní toklé,

16:55

S… Speaker 1 (Матем 23 09)

tak to generuje vlastně kmyty.

16:58

S… Speaker 1 (Матем 23 09)

Generuje jsou kmytání,

17:00

S… Speaker 1 (Матем 23 09)

vlnění, čili je možné,

17:01

S… Speaker 1 (Матем 23 09)

že něco takového leží v základu našeho světa.

17:05

S… Speaker 1 (Матем 23 09)

Takže to není plná zhodost,

17:09

S… Speaker 1 (Матем 23 09)

nebo plná začátek.

17:16

S… Speaker 1 (Матем 23 09)

Samozřejmě...

17:18

S… Speaker 1 (Матем 23 09)

My teďka půjdeme k věcem,

17:20

S… Speaker 1 (Матем 23 09)

které jsou praktičtější a více přítevní,

17:22

S… Speaker 1 (Матем 23 09)

ale to jsou praktické,

17:23

S… Speaker 1 (Матем 23 09)

ale je dobré odpěry.

17:27

S… Speaker 4 (Матем 23 09)

Teďka

17:32

S… Speaker 1 (Матем 23 09)

my jsme si tady už minulost předmážící,

17:35

S… Speaker 2 (Матем 23 09)

kdo my dali ty hodně,

17:36

S… Speaker 1 (Матем 23 09)

z které jsme

17:42

S… Speaker 1 (Матем 23 09)

se rozluští tu množinovou symboliku,

17:44

S… Speaker 1 (Матем 23 09)

čili to, co z toho už víme,

17:45

S… Speaker 1 (Матем 23 09)

ale nyní aspoň pro zopakování

17:51

S… Speaker 1 (Матем 23 09)

té zrážky.

17:54

S… Speaker 1 (Матем 23 09)

v každé té odrážce nějaké jednoduché tvrzení a zkuste se na to podívat,

17:58

S… Speaker 1 (Матем 23 09)

projdeme si to spolu,

18:00

S… Speaker 1 (Матем 23 09)

a abychom si obřejmili nebo zjistili,

18:04

S… Speaker 1 (Матем 23 09)

jestli z té symbolice už rozumíme.

18:07

S… Speaker 1 (Матем 23 09)

Takže máme rozhodnout,

18:09

S… Speaker 1 (Матем 23 09)

jestli je to pravdivé tvrzení nebo ne.

18:11

S… Speaker 1 (Матем 23 09)

Takže ta římská jednička není,

18:23

S… Speaker 1 (Матем 23 09)

protože prázdná množina nemá drzky,

18:26

S… Speaker 1 (Матем 23 09)

čili nebo jí pravda.

18:27

S… Speaker 1 (Матем 23 09)

Druhá prvníka,

18:31

S… Speaker 1 (Матем 23 09)

prázdná množina je podnoženou prázdné množiny.

18:37

S… Speaker 1 (Матем 23 09)

To je pravda,

18:37

S… Speaker 1 (Матем 23 09)

protože to znamená,

18:39

S… Speaker 1 (Матем 23 09)

co když bych napsal,

18:40

S… Speaker 4 (Матем 23 09)

tak

18:46

S… Speaker 1 (Матем 23 09)

tohle znamená pro všechna x,

18:48

S… Speaker 1 (Матем 23 09)

x patří na množině,

18:52

S… Speaker 1 (Матем 23 09)

tak x na množině.

18:55

S… Speaker 1 (Матем 23 09)

Toto by mohlo někoho zmást,

18:57

S… Speaker 1 (Матем 23 09)

protože prázdná množina žádné průzky nemá,

19:01

S… Speaker 1 (Матем 23 09)

ale jde o pravdivost té implikace.

19:03

S… Speaker 1 (Матем 23 09)

Implikace je pravdivá skoro vždycky,

19:07

S… Speaker 1 (Матем 23 09)

kromě jediné situace,

19:08

S… Speaker 1 (Матем 23 09)

že stupní předpoklad platí a závěr ne.

19:12

S… Speaker 1 (Матем 23 09)

ale tady neplatí ani tohle,

19:15

S… Speaker 5 (Матем 23 09)

čili je pravdívat.

19:16

S… Speaker 1 (Матем 23 09)

Čili proto ta právná možina je vytvořena

19:20

S… Speaker 1 (Матем 23 09)

podmnoženou každé podmnožiny,

19:22

S… Speaker 1 (Матем 23 09)

protože vstupní

19:27

S… Speaker 1 (Матем 23 09)

přesoklad

19:32

S… Speaker 1 (Матем 23 09)

netlatí.

19:33

S… Speaker 1 (Матем 23 09)

Když vedete prvek z právné možiny,

19:35

S… Speaker 1 (Матем 23 09)

tak říkáte,

19:36

S… Speaker 1 (Матем 23 09)

pro všechny prvky,

19:38

S… Speaker 1 (Матем 23 09)

které tady jsou,

19:38

S… Speaker 1 (Матем 23 09)

tak platí něco,

19:39

S… Speaker 1 (Матем 23 09)

ale oni tam žádné nejsou.

19:41

S… Speaker 1 (Матем 23 09)

Takže vlastně proto je tady implikace pravdívat.

19:47

S… Speaker 1 (Матем 23 09)

Ta římská čtyři,

19:48

S… Speaker 1 (Матем 23 09)

co myslíte?

19:49

S… Speaker 1 (Матем 23 09)

Je to pravda?

19:49

S… Speaker 4 (Матем 23 09)

Je,

19:51

S… Speaker 1 (Матем 23 09)

že? To jsem před chvílou řekl.

19:53

S… Speaker 1 (Матем 23 09)

Římská čtyři,

19:54

S… Speaker 1 (Матем 23 09)

ty zloženy jsou stejné,

19:55

S… Speaker 1 (Матем 23 09)

takže vlastně rovnost je...

20:00

S… Speaker 1 (Матем 23 09)

Je speciální případ inkluze,

20:03

S… Speaker 1 (Матем 23 09)

takže to je taky pravda,

20:04

S… Speaker 1 (Матем 23 09)

co pětka.

20:05

S… Speaker 8 (Матем 23 09)

Není,

20:07

S… Speaker 1 (Матем 23 09)

ano, máte pravdu,

20:08

S… Speaker 1 (Матем 23 09)

není.

20:09

S… Speaker 1 (Матем 23 09)

A kdybychom chtěli,

20:11

S… Speaker 1 (Матем 23 09)

aby to pravda byla,

20:12

S… Speaker 1 (Матем 23 09)

nebychom museli je zimnožené závodky ty vlevo zmazat,

20:15

S… Speaker 1 (Матем 23 09)

anebo Prahou ještě je ty přidat.

20:17

S… Speaker 1 (Матем 23 09)

No a Římská 6 a 7,

20:21

S… Speaker 1 (Матем 23 09)

tam je pravda ovojí,

20:23

S… Speaker 1 (Матем 23 09)

ale...

20:24

S… Speaker 1 (Матем 23 09)

u každého jiného zboru.

20:26

S… Speaker 1 (Матем 23 09)

To je šestký,

20:27

S… Speaker 1 (Матем 23 09)

protože to x v levo mezi těmi dležinovými

20:31

S… Speaker 1 (Матем 23 09)

závorkami je tam na prvním místě

20:35

S… Speaker 1 (Матем 23 09)

v té množině a v tom

20:40

S… Speaker 1 (Матем 23 09)

druhém případě celý ten objekt je

20:45

S… Speaker 1 (Матем 23 09)

prvkem té množiny.

20:46

S… Speaker 1 (Матем 23 09)

Takže

20:50

S… Speaker 1 (Матем 23 09)

opakovali,

20:53

S… Speaker 1 (Матем 23 09)

teď tady ještě se na chvíli zastavím v

20:57

S… Speaker 1 (Матем 23 09)

té prázdné množiny.

21:08

S… Speaker 1 (Матем 23 09)

Vlastně z játruté konstrukce,

21:11

S… Speaker 1 (Матем 23 09)

což si často neuvědomujeme,

21:14

S… Speaker 1 (Матем 23 09)

že vlastně zleží to,

21:18

S… Speaker 1 (Матем 23 09)

že ty prvky jsme schopni pojmenovat a označit.

21:21

S… Speaker 4 (Матем 23 09)

Jo,

21:22

S… Speaker 1 (Матем 23 09)

že vlastně můžeme jim přiřadit ty simpuly.

21:25

S… Speaker 1 (Матем 23 09)

Ale co když existuje něco,

21:28

S… Speaker 1 (Матем 23 09)

pro co to nejde?

21:30

S… Speaker 1 (Матем 23 09)

To taky není tak úplně blbá otázka,

21:32

S… Speaker 1 (Матем 23 09)

protože náš jazyk vlastně nepopisuje celou

21:36

S… Speaker 1 (Матем 23 09)

realitu, celou,

21:37

S… Speaker 1 (Матем 23 09)

která existuje.

21:38

S… Speaker 1 (Матем 23 09)

Jo,

21:40

S… Speaker 1 (Матем 23 09)

čili pokud existují věci,

21:41

S… Speaker 1 (Матем 23 09)

pro které nemáme pojem,

21:43

S… Speaker 1 (Матем 23 09)

označení,

21:44

S… Speaker 1 (Матем 23 09)

tak je nemůžeme označit jako prvky.

21:47

S… Speaker 1 (Матем 23 09)

A v tom případě,

21:49

S… Speaker 1 (Матем 23 09)

kdyby tady taková věc byla,

21:51

S… Speaker 1 (Матем 23 09)

tak nepoznáme rozdíl.

21:52

S… Speaker 4 (Матем 23 09)

Jo,

21:55

S… Speaker 1 (Матем 23 09)

což zase už směřuje někam prostě k,

21:57

S… Speaker 1 (Матем 23 09)

dejme tomu,

21:58

S… Speaker 1 (Матем 23 09)

budistické prázdnotě nebo tabletingu,

22:00

S… Speaker 1 (Матем 23 09)

ale vlastně...

22:02

S… Speaker 1 (Матем 23 09)

Je dobré to vědět,

22:03

S… Speaker 1 (Матем 23 09)

že to z té matematice je.

22:06

S… Speaker 1 (Матем 23 09)

Na další

22:13

S… Speaker 1 (Матем 23 09)

odrážku.

22:16

S… Speaker 1 (Матем 23 09)

Teďka tady si vyzkoušíme konstrukci

22:20

S… Speaker 1 (Матем 23 09)

množiny všech podnožin.

22:23

S… Speaker 1 (Матем 23 09)

A zase vezměme to z té prázdné množiny na to.

22:27

S… Speaker 1 (Матем 23 09)

Takže jaké je ta prázdná

22:32

S… Speaker 1 (Матем 23 09)

množiny?

22:34

S… Speaker 1 (Матем 23 09)

Takže

22:47

S… Speaker 1 (Матем 23 09)

když chceme podnožiny prázdné množiny,

22:51

S… Speaker 1 (Матем 23 09)

tak vlastně jak tu?

22:53

S… Speaker 1 (Матем 23 09)

Z podmnožinu se strojíme tak,

22:55

S… Speaker 1 (Матем 23 09)

že vybereme jednotlivé prsky a z nich se strojíme k podmnožinu.

Матем 23 09

Famintinana

Manontany ny AI momba ity dika mitovy ity