max2201111

ideje8888

Aug 13th, 2026
66
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Latex 95.56 KB | Science | 0 0
  1. \documentclass{article}
  2. \usepackage{dialogue}
  3. \usepackage{amssymb,amsmath}
  4. \usepackage{accents}
  5. \usepackage{tikz-cd}
  6. \usepackage[utf8]{inputenc}
  7. \usepackage[no-math]{fontspec}
  8. \pdfmapline{=slabikar slabikar <slabikar.pfb}
  9. \usepackage{mypackage}
  10. \newcommand{\pullbackcorner}[1][dl]{\save*!/#1-1pc/#1:(1,-1)@^{|-}\restore}
  11. \usepackage{babyloniannum}
  12. \newfontfamily\ngg{Segoe UI Historic}[Ligatures=TeX]
  13. \MakeRobust\babyloniannum
  14. \MakeRobust\hgnum
  15. \usepackage{enumitem}
  16. \ExplSyntaxOn\makeatletter
  17. \cs_new_protected:Npn \@moduloitem #1
  18.  {
  19.   \ngg
  20.    \char
  21.     \int_eval:n
  22.      {
  23.        \int_mod:nn{\int_use:c{#1}}{\modulolength}
  24.        +
  25.        \exp_args:No\int_from_hex:n{\modulostart}
  26.      }
  27.  }
  28. \newcommand\moduloitem[1]{\@moduloitem{c@#1}}
  29. \newcommand\modulostart{13000}
  30. \newcommand\modulolength{1000}
  31. \AddEnumerateCounter{\moduloitem}{\@moduloitem}{AA}
  32. \ExplSyntaxOff
  33. \usepackage[bidi=bidi, hebrew, czech, provide=*, english]{babel}
  34. % \babelfont{rm}{Arial}   % <-- ponecháno zakomentované, chceš CM/Latin Modern
  35. \def\adef#1{\catcode`#1=13 \begingroup \lccode`\~=`#1\lowercase{\endgroup\def~}}
  36. \font\slabikar=slabikar
  37. \def\pis{\slabikar
  38.   \adef š{^^b9}%
  39.    \adef ř{^^f8}%
  40.    \adef č{^^e8}%
  41.    \adef ž{^^be}%
  42.    \adef á{^^e1}%
  43.    \adef é{^^e9}%
  44.    \adef í{^^ed}%
  45.    \adef ó{^^f3}%
  46.    \adef ú{^^fa}%
  47.    \adef ý{^^fd}%
  48.    \adef ů{^^f9}%
  49.    \adef ě{^^ec}%
  50.    \adef ň{^^f2}%
  51.    \adef ť{^^9d}%
  52.    \adef ď{^^ef}%
  53. }
  54. \usepackage{epigraph}
  55. \setlength{\epigraphwidth}{0.5\textwidth}
  56. \usepackage{pdfpages}
  57. \usepackage{fancyhdr}
  58. \setlength{\footskip}{34pt}
  59. \fancypagestyle{Moreimportedpages2}{%
  60.     \fancyhf{}%
  61.     \renewcommand{\headrulewidth}{0pt}%
  62.     \renewcommand{\footrulewidth}{0pt}%
  63.     \fancyfoot[C]{%
  64.       \foreignlanguage{hebrew}{\localecounter{letters}{page}}
  65.      \raisebox{-\baselineskip}[30pt][40pt]{\thepage}
  66.    }%
  67. }
  68.  
  69. \begin{document}
  70.  
  71. \epigraph{„Cesta dlouhá tisíc mil začíná prvním krokem.“}{--- Lao-c'}
  72.  
  73. \epigraph{„I wish to consider something...something something like "{\sc Infinity}"}{--- Hynek M}
  74.  
  75. {\pis
  76. \baselineskip = 1.5cm
  77. \obeylines
  78. Jakmile ulehneš, zavřeš oči a uvidíš své rucě,
  79. \par}
  80.  
  81.  
  82.  
  83.  
  84. pro {\sc MaminkuP }
  85. $\ggg$
  86. %\show\babyloniannum
  87.  
  88. %\renewcommand{\theenumi}{\roman{enumi}--\arabic{enumi}--\babyloniannum{enumi}}
  89.  
  90. % \xymatrix{A \ar[r] &B}
  91.  
  92. %      $$
  93. %  \xymatrix@=3pc{
  94. %    & & D \\
  95. %    B \ar[r]\ar@/^/[rru]^{h} & P \ar[ru] \pullbackcorner & \\
  96. %    A \ar [u]^f \ar[r]_g & C \ar[u]\ar@/_/[ruu]_{k} &
  97. %  }
  98. %  $$
  99.  
  100.  
  101. \underline{motto:}{ každý den $\pm$ nový princip }\hfill{$\square$}
  102. \bigskip
  103. \bigskip
  104. % \begin{enumerate}[ label=\roman{enumi}--\arabic{enumi}--\!\!\!\!\!\babyloniannum{\value{enumi}}\!\!\!--\large\ngg\symbol{\numexpr "13000+\value{enumi}}--\hgnum{\theenumi}--\moduloitem{enumi}]
  105.  
  106. \[\begin{tikzpicture}[commutative diagrams/every diagram]
  107. \node (WW) at (-3,0) {$W$};  \node (X) at (-1,0) {$X$};
  108. \node (Y) at (1,0) {$Y$}; \node (Z) at (3,0) {$Z$};
  109. \node[font=\Large] at (-.2,0) {\rotatebox{170}{$\Rightarrow$}};
  110. \node[font=\small] at (.15,0) {$\alpha$};
  111. \path[commutative diagrams/.cd, every arrow, every label]
  112. (WW) edge node[bend left] {$h$} (X)
  113. (X) edge [bend left] node[above] {$f$} (Y)
  114. edge [bend right] node[below] {$f'$} (Y)
  115. (Y) edge [bend left] node[below] {$g$} (Z);
  116. \end{tikzpicture}\]
  117.  
  118.  
  119. {
  120. \font\pis = slabikar at1cm
  121.  \pis
  122. % \baselineskip = 1.5cm
  123. % \obeylines
  124. {Tápe $\check{s}$ š kk řžřěč ll \v{c} \aa{c}}
  125. }
  126.  
  127. \begin{enumerate}[ label=\roman{enumi}--\arabic{enumi}--\!\!\!\!\!\babyloniannum{\value{enumi}}\!\!\!--\hgnum{\theenumi}--\moduloitem{enumi}]
  128.  
  129.  
  130.  
  131.  
  132.  \item rozhodovat se na hraně zajímavého
  133.  \item *vždycky to tam máš (data v matematice)
  134.  \item svoboda a volnost
  135.  \def\tmp{j}
  136.  \item \if \tmp j c\fi \vbox{\hbox{Two lines}\hbox{example.}}
  137.  
  138. \newwrite\jhfile
  139. \openout\jhfile=test.jh
  140. \newcommand{\triplex}{XXX}
  141. \write\jhfile{test \triplex test}
  142.  
  143. \newcommand{\demoletter}[1]{{\setlength{\fboxsep}{-\fboxrule}\fbox{\phantom{#1}}}}
  144.  
  145. %\demoletter{O}\demoletter{n}\demoletter{e}
  146. %\demoletter{l}\demoletter{i}\demoletter{n}\demoletter{e}\demoletter{.}
  147.  
  148.   \item
  149.   \item
  150.   \item
  151.   \item
  152.  
  153.  
  154.  
  155.  \item
  156.  \section*{Kapitola 1: Jak to začalo}
  157.  
  158. Šli jsme po schodech -- přesně si pamatuji, po kterých, jen už nevím,
  159. kolik jich bylo. Liborek, můj budoucí vedoucí diplomové práce, se ptá:
  160. \uv{A co Vás v matematice nejvíce zajímá?} Říkám: \uv{Teorie množin.}
  161.  
  162. Opovržlivě pohodí hlavou[1] a ptá se, kdo se zde vyzná v softwaru zvaném
  163. Maple. Michal H. (ještě se o tomto křestním jméně zmíním později, je to
  164. nejvíce poškozená postava v celém příběhu) odpoví: \uv{Ty, Hynku,
  165. přece.}
  166.  
  167. Liborek přibrzdí a začne se mnou komunikovat, aby se dozvěděl něco
  168. víc. Pochopil záhy, že není potřeba hledat v mase studentů nikoho
  169. jiného. Pochopil ale ještě jednu drobnost. Vypozoroval, že když na mě
  170. mluví svým pisklavým hlasem, začíná se ve mně spouštět jakási obrana mé
  171. maličkosti, a čím více je jeho hlas upištěný, tím jsou moje odpovědi
  172. abstraktnější a dokonalejší.
  173.  
  174. Když ve svém pisklavém tónu polevil, trochu jsem se vzpamatoval a řekl
  175. jsem mu: \uv{Prosil jsem Vás, ať to neděláte.} Pokusil se mě obejmout a
  176. já uhnul. Chtěl otestovat, zda se mi to nelíbí. Když jsem se začal
  177. omlouvat, řekl: \uv{A co by to znamenalo, kdybyste udělal opak?} A
  178. spokojeně si oddechl.
  179. Já nato, 2x jsem změnil své rozhonutí, zda se přitulit nebo odtáhnout. Byl v šoku.
  180. A já byl v transu, ve kterém jsem pak prožil zbytek vysoké školy s malými
  181. přestávkami.
  182.  \item
  183.  \item
  184.  \item
  185.  
  186.  \section*{Kapitola: Proč matematika mění osobnost}
  187.  
  188. Matematika, pokud se jí člověk věnuje dost dlouho a dost hluboko,
  189. nezůstává jen nástrojem myšlení -- stává se způsobem, jak se dívat na
  190. svět. Naučí tě hledat strukturu tam, kde ostatní vidí jen chaos, a
  191. zároveň tě to může vzdálit od věcí, které nejdou zredukovat na důkaz
  192. nebo definici -- od běžného rozhovoru, od netechnického přítele, od
  193. chvíle, kdy stačí jen být, bez potřeby to pochopit do posledního
  194. detailu.
  195.  
  196. Pokud si tuhle knihu přečte mladý člověk, který váhá, zda se má
  197. matematice věnovat profesionálně a na maximum, a rozhodne se pro
  198. vyváženější cestu -- třeba pro matematiku jako koníček vedle jiného
  199. povolání, vedle vztahů, vedle běžného života -- pak tahle kniha splnila
  200. svůj účel. Nejde o to, aby si o matematice mysleli hůř. Jde o to, aby
  201. věděli, co všechno to od nich může vzít, dřív než se do toho vrhnou po
  202. hlavě tak jako já.
  203.  
  204. \subsection*{Podávání objektů}
  205.  
  206. Jeden z principů, které mě provázely nejdéle, zněl prostě:
  207. \begin{center}
  208. \textsc{matematika je o podávání objektů.}
  209. \end{center}
  210. Myslím tím tohle: v matematice pořád něco podáváš dál -- z jedné
  211. struktury do druhé, z jednoho kontextu do jiného, a sleduješ, co se
  212. zachová a co se ztratí. Množina se podá do grupy, grupa do kategorie,
  213. jeden důkaz se podá jako stavební kámen pro další. Tahle nekonečná
  214. štafeta objektů je fascinující -- ale taky pohlcující, protože jakmile
  215. si na ni zvykneš, začneš takhle podávat všechno, i věci, které
  216. podávání nepotřebují.
  217.  
  218. \subsection*{Konstrukce $\mathbb{Z}$ z přirozených čísel}
  219.  
  220. \subsection*{Podávání objektů: od $\emptyset$ k $\mathbb{Z}$}
  221.  
  222. Pro ilustraci, jak takové podávání objektů vypadá v praxi, uvedu
  223. klasický příklad: jak se z přirozených čísel $\mathbb{N} = \{0,1,2,\dots\}$
  224. sestrojí celá čísla $\mathbb{Z}$.
  225.  
  226. Nejprve vám někdo podá prázdnou množinu: $\emptyset$. Vy pak vezmete
  227. sjednocení všeho, co bylo doposud zkonstruováno, a jedete nanovo. Takto
  228. postupně vzniká podle Von Neumannovy konstrukce celá řada přirozených
  229. čísel, založená na iterovaném použití prázdné množiny:
  230. \[
  231. 0 := \emptyset, \qquad
  232. 1 := \{0\} = \{\emptyset\}, \qquad
  233. 2 := \{0,1\} = \{\emptyset,\{\emptyset\}\}, \qquad
  234. 3 := \{0,1,2\} = \{\emptyset,\{\emptyset\},\{\emptyset,\{\emptyset\}\}\}.
  235. \]
  236.  
  237. Obecně se každé přirozené číslo $n$ definuje jako množina všech
  238. předchozích přirozených čísel:
  239. \[
  240. n := \{0,1,2,\dots,n-1\}.
  241. \]
  242.  
  243. Množina přirozených čísel je pak celá tahle posloupnost dohromady:
  244. \[
  245. \mathbb{N} = \{\emptyset,\ \{\emptyset\},\ \{\emptyset,\{\emptyset\}\},\ \{\emptyset,\{\emptyset\},\{\emptyset,\{\emptyset\}\}\},\ \dots\}.
  246. \]
  247.  
  248. Základní problém je, že $\mathbb{N}$ neobsahuje inverzní prvky vzhledem
  249. ke sčítání -- neexistuje v něm žádné $x$ takové, že $3+x=0$. Řešení je
  250. elegantní: místo abychom "vynalézali" záporná čísla ad hoc, díváme se
  251. na \emph{dvojice} přirozených čísel.
  252.  
  253. Definujeme na množině $\mathbb{N}\times\mathbb{N}$ relaci ekvivalence:
  254. \[
  255. (a,b)\sim(c,d) \quad\Longleftrightarrow\quad a+d = b+c.
  256. \]
  257. Intuice je taková, že dvojice $(a,b)$ reprezentuje "rozdíl" $a-b$, i
  258. když samotné odčítání v $\mathbb{N}$ ještě nemáme k dispozici -- proto
  259. je podmínka napsaná jen pomocí sčítání.
  260.  
  261. Množina celých čísel je pak definovaná jako množina tříd ekvivalence:
  262. \[
  263. \mathbb{Z} := (\mathbb{N}\times\mathbb{N})/\!\sim.
  264. \]
  265.  
  266. Sčítání a násobení se přenesou přirozeně:
  267. \[
  268. [(a,b)]+[(c,d)] := [(a+c,\,b+d)], \qquad
  269. [(a,b)]\cdot[(c,d)] := [(ac+bd,\,ad+bc)].
  270. \]
  271.  
  272. Přirozená čísla se vnoří do $\mathbb{Z}$ pomocí $n \mapsto [(n,0)]$, a
  273. záporná čísla dostaneme jako třídy $[(0,n)]$.
  274.  
  275. Tahle konstrukce je hezký příklad toho, o čem jsem psal výše --
  276. \emph{podání} jedné struktury ($\mathbb{N}$) do jiné, bohatší struktury
  277. ($\mathbb{Z}$), při zachování všeho podstatného a doplnění toho, co
  278. chybělo.
  279. Nebudu zabíhat do podrobností, jak se ze $\mathbb{Z}$ zkonstruuje $\mathbb{Q}$ a $\mathbb{R}$.
  280. Obojí je jednoduché a pěkné.
  281.  
  282.  
  283. %Claude finished the response
  284.  
  285.  
  286.   \item
  287.   \section*{Kapitola 3: Lane Hemaspaandra}
  288.  
  289. \subsection*{Lane Hemaspaandra}
  290. Milý Hynku,
  291.  
  292. ještě jednou díky a vřelé pozdravy tobě. (Nevím, jestli už máš doktorát,
  293. ale pokud ne a někdy budeš uvažovat o jeho získání, zvaž prosím
  294. University of Rochester -- a pokud se rozhodneš, dej mi vědět, abych se
  295. ujistil, že přijímací komise tvou přihlášku mezi stovkami dalších
  296. nepřehlédne. Můj nejnovější doktorand, Piotr Faliszewski, který
  297. promoval před rokem a půl a stal se odborným asistentem v Krakově,
  298. přišel na UR poté, co mi poslal pár poznámek k \emph{The Complexity
  299. Companion}. Z té korespondence se vyvinula spolupráce -- přihlásil se,
  300. byl přijat, udělal skvělý výzkum a skvělou disertaci, a dnes máme
  301. společně řadu publikací a úzkou probíhající vědeckou spolupráci.)
  302.  
  303. \hfill Lane
  304.  
  305. \subsection*{Krátký příběh ze zkoušky z výpočetní složitosti}
  306. Jednoho dne u zkoušky z výpočetní složitosti nám naše učitelka zadala
  307. úlohu a čekala, až ji vypracujeme. Po hodině práce jsem jí odevzdal
  308. prázdný papír. Tvrdil jsem, že u jedné z otázek údajný důkaz, který
  309. jsem měl provést, není platný. Po chvíli v něm našla mezeru: negace
  310. splnitelné formule nemusí být nesplnitelná -- a řekla mi, že mám
  311. pravdu. Ale zeptala se: proč jsi vůbec začal řešit šestou ze sedmi
  312. otázek, která byla omylem špatně položena? Odpověděl jsem, že mi na
  313. tomhle zadání bylo od začátku něco nápadně divného.
  314.  
  315. \subsection*{Dana Scott}
  316. V roce 2008 jsem položil na fóru FOM následující otázku:
  317.  
  318. Mám otázku ohledně axiomu výběru. Jaká je síla následujících dvou
  319. teorií:
  320. \begin{enumerate}
  321.  \item $\textsf{ZF}+\{\text{na každém filtru existuje selektor}\}$
  322.  \item $\textsf{ZF}+\{\text{na každém ultrafiltru existuje selektor}\}$
  323. \end{enumerate}
  324.  
  325. Profesor Dana Scott k otázce poznamenal:
  326.  
  327. \begin{dialogue}
  328. \speak{Dana Scott} Jak tě ta otázka napadla? Proč se na FOM
  329. nepodepisuješ celým jménem, aby lidé věděli, kdo jsi?
  330. \speak{Já} Zajímám se o $\textsf{ZFC}$ (a další základy matematiky) a
  331. občas mě k tématu napadne otázka; momentálně ale nemám žádné vedení...
  332. \speak{Dana Scott} Tarskému by se tahle otázka líbila.
  333. \end{dialogue}
  334.  
  335. \subsection*{Několik postřehů z doby mého absolutoria}
  336. Můj vedoucí diplomové práce, Liborek, se mě jednou zeptal:
  337.  
  338. \begin{dialogue}
  339. \speak{Vedoucí} Řekni mi něco o pologrupách.
  340. \speak{Já} Když jich máme dost, bude mezi dvěma z nich existovat
  341. morfismus.
  342. \speak{Vedoucí} To je triviální... ne, počkat, to je Vopěnkův princip!
  343. Kolik jich tam má vlastně být?
  344. \speak{Já} Nedosažitelný kardinál?
  345. \speak{Vedoucí} Je to zjevné, muselo se ti to někde dostat do ruky.
  346. Potřebujeme z nich vlastní třídu.
  347. \end{dialogue}
  348.  
  349. Nejsem si vědom, že bych to kdy někde četl. Prostě mi to v hlavě
  350. rezonovalo -- slova \emph{existuje} a \emph{morfismus} se pořád
  351. objevovala vedle sebe, tak jsem je nechal, ať jsou spolu.
  352.  
  353. Jiný dialog s týmž docentem:
  354.  
  355. \begin{dialogue}
  356. \speak{Vedoucí} Takže tě zajímá teorie množin? Řekni nám o ní něco.
  357. \speak{Já} Jaký je největší kardinál slučitelný s $\textsf{V=L}$?
  358. \speak{Profesor} Byli přítomni i další lidé, jeden z nich se na chvíli
  359. zamyslel a uzavřel to: Dobrá otázka.
  360. \speak{Liborek}A proč jste neřekl, že Vás zajíma teorie množin. cf.[1]
  361. \end{dialogue}
  362.  
  363. O mnoho let později jsem našel práci Jacka Silvera: \emph{A large
  364. cardinal in the constructible universe}, která na tuhle otázku
  365. odpovídá.
  366.  
  367. \subsection*{Kniha Henka Barendregta o lambda kalkulu}
  368. Nechtělo se mi přepisovat Henkův e-mail do notace \LaTeX u. Pro teď
  369. stačí jen jeho první odstavec.Nesnažte se jej pochopit, je to tu uvedeno jen pro to,
  370. abych demonstroval univerzálnost a úroveň svého myšlení.
  371.  
  372. \begin{verbatim}
  373. Milý Hynku,
  374.  
  375. máš pravdu. Takže teď znáš (aspoň lokálně) moji knihu líp než já :).
  376. Ale ještě nevíš, jak ji používat. Tak mi dovol ti pomoct.
  377.  
  378. P^arrow (bytí, řekněme P1, P2 v SO znamená, že P1 je v SO
  379. i P2 je v SO. Pak \x0.x0P1P2 je v SO.
  380. Takže můj příklad níže měl být
  381. \x0x1.x0 I (x1 I I I) v SO.
  382.  
  383. Se srdečným pozdravem, Henk
  384. \end{verbatim}
  385.  
  386.  \item
  387.  \item
  388.  Ještě jednou Liborek.
  389.  Ptá se mě po hodině z teorie her:
  390.  jak v {\sc Googlu} zadám regulární výraz pro libovolný řetězec ?
  391.  Říkám, napíšete hvězdičku. Liborek: já vím, co hvězdička znamená:
  392.  Je to $$a^*={\epsilon,a,aa,aaa,\ldots}$$ Sedí tam ješte abslovent Jarošky, význačné matematické střední školy v Brně a říká:
  393.  ano Jan má pravdu. Seberu věci do náruče a kvapně odcházím. Liborek byl opět chycen.
  394.  \item
  395.  Znova a zase Liborek:
  396.  měl jste nějakou holku. Já povídám ano Zuzanku.
  397.  A kolik je té Zuzance let ?
  398.  Já bezelstně, 4.Liborek v šoku zamával rukama, zakroutil hlavou a  říká {\sc běžte}
  399.  Já odcházím z kabinetu se slovy, ale já jsem jí nic neudělal. Ale ta moje bezelstnost mě pak stála v budoucnu moje duševní
  400.  zdraví.
  401.  \item
  402.  \item
  403.  Liborek: řekěte nám něco o Turingových strojích. Ja povídám ledabyle: nevím, přidá se tam pravděpodobnost.
  404.  Liborek se začne z plna hrdla smát, co že je to za hloupost.Přítomná profesorka z teorie složitosti:
  405.  vždyť je to důležitá oblast inofrmtaiky ty pravděpodobnostní TS. Liborek zmlkne, opět byl chycen.
  406. \item
  407.  \section*{Kapitola 4:Zuzanka a návštěvy u mě doma}
  408.  Pan profesor, říkejme mu pan {\sc Jé}, se rozhodl, že za mnou budou chodit po večerech do pokoje a zjišťovat co dalšího si myslím.
  409.  Přišla tam i malá Zuzanka, dcera mého bratrance.Mohlo být tak 23 hodin, prostě čas kdy normální lidé spí.Já opět v tranzu.
  410.  Natáhne ručičku k bradě a povídá, Hynku, ale tys na mě ležel.Vykřiknu P**ák, to jí napovídal P**ák.
  411.  Mě to dopálí, protože jsem jí nikdy neublížil,tak povídám ty malá dě**o, pojď sem.
  412.  \section*{Kapitola 5: o čem matematika skutečně je ?}
  413. Budu se snažit podat obraz celé látky, tak jak se učí na magisterském stupni VŠ v Brně.
  414.  Milý čtenáři, podívej se na následující obrázek. Je to $\alpha$ a $\omega$ {celé matematiky}.
  415.  Zdá se Ti to nepravděpodobné? Je to příliš triviální ? Nejprve si uvědomte rozdíl mezi $\in$ a $\subseteq$.
  416.  Zatímco nikdy není $x\in\emptyset$, vždy je $\emptyset\subseteq x.$
  417.  
  418.  
  419. \begin{tikzpicture}[scale=1]
  420.   % Levá a pravá strana "V"
  421.   \draw[thick] (0,0) -- (-3,8);
  422.   \draw[thick] (0,0) -- (3,8);
  423.  
  424.   % Dolní konec - vrchol V
  425.   \node[below] at (0,0) {$\emptyset$};
  426.   \fill (0,0) circle (1.5pt);
  427.  
  428.   % Šňůra ordinálů podél středové osy - čárky od 0 až těsně nad úroveň aleph_0 (y=4)
  429.   \foreach \y in {0.3,0.7,...,4.3} {
  430.    \draw[thick] (-0.07,\y) -- (0.07,\y);
  431.  }
  432.  
  433.   % Vodorovná čára ve výšce y=4 -- šířka V v této výšce je od x=-1.5 do x=1.5
  434.   \draw[thick] (-1.5,4) -- (1.5,4);
  435.   \node[left] at (-1.7,4) {$\aleph_0$};
  436.  
  437.   % Vodorovná čára ve výšce y=8 -- šířka V v této výšce je od x=-3 do x=3
  438.   \draw[thick] (-3,8) -- (3,8);
  439.   \node[left] at (-3.2,8) {$\aleph_\alpha$};
  440.  
  441.   % Popisek univerza
  442.   \node at (0,9) {$V$};
  443.  
  444. \end{tikzpicture}
  445.  
  446. Zkonfrontuj to s tímto:
  447.  
  448.  
  449. \subsection*{Abstraktní elementární třída (Shelah)}
  450. Nejprve úvod:
  451. \textbf{Definice (jazyk/signatura).} \emph{Jazyk} (nebo
  452. \emph{signatura}) $\tau$ je množina nelogických symbolů, tvořená:
  453. \begin{enumerate}
  454.  \item[(i)] množinou relačních symbolů $\{R_i : i \in I\}$, každý s
  455.      pevnou aritou $n_i \in \mathbb{N}$,
  456.  \item[(ii)] množinou funkčních symbolů $\{f_j : j \in J\}$, každý s
  457.      pevnou aritou $m_j \in \mathbb{N}$,
  458.  \item[(iii)] množinou konstantních symbolů $\{c_k : k \in K\}$
  459.      (chápaných jako funkční symboly arity $0$).
  460.  
  461.      Stačilo by uvažovat jen (i) ale pro pohodlí to rozšiřujeme o (ii) a (iii).
  462. \end{enumerate}
  463. \emph{$\tau$-strukturou} $M$ rozumíme nosnou množinu $|M|$ spolu s
  464. interpretací každého symbolu z $\tau$: každému relačnímu symbolu
  465. $R_i$ arity $n_i$ přiřadíme relaci $R_i^M \subseteq |M|^{n_i}$,
  466. každému funkčnímu symbolu $f_j$ arity $m_j$ funkci $f_j^M : |M|^{m_j}
  467. \to |M|$, a každému konstantnímu symbolu $c_k$ prvek $c_k^M \in |M|$.
  468. Kardinalita $|\tau|$ jazyka je definována jako počet symbolů v
  469. $\tau$ (plus $\aleph_0$, pokud je $\tau$ konečný, aby $|\tau|$ bylo
  470. vždy nekonečné, jak se v kontextu AEC obvykle předpokládá).
  471.  
  472. \bigskip
  473.  
  474. \textbf{Definice (izomorfismus $\tau$-struktur).} Nechť $M, N$ jsou
  475. dvě $\tau$-struktury. Zobrazení $h : |M| \to |N|$ se nazývá
  476. \emph{izomorfismus}, pokud je bijekce a pro každý symbol z $\tau$
  477. platí:
  478. \begin{enumerate}
  479.  \item[(i)] pro každý relační symbol $R_i$ arity $n_i$ a každé
  480.      $a_1,\dots,a_{n_i} \in |M|$:
  481.      \[
  482.      (a_1,\dots,a_{n_i}) \in R_i^M \iff (h(a_1),\dots,h(a_{n_i}))
  483.      \in R_i^N,
  484.      \]
  485.  \item[(ii)] pro každý funkční symbol $f_j$ arity $m_j$ a každé
  486.      $a_1,\dots,a_{m_j} \in |M|$:
  487.      \[
  488.      h(f_j^M(a_1,\dots,a_{m_j})) = f_j^N(h(a_1),\dots,h(a_{m_j})),
  489.      \]
  490.  \item[(iii)] pro každý konstantní symbol $c_k$:
  491.      \[
  492.      h(c_k^M) = c_k^N.
  493.      \]
  494. \end{enumerate}
  495. Píšeme $M \cong N$, pokud mezi $M$ a $N$ existuje nějaký izomorfismus.
  496. Třída $\mathcal{K}$ je \emph{uzavřená na izomorfismy}, pokud z $M \in
  497. \mathcal{K}$ a $M \cong N$ plyne $N \in \mathcal{K}$.
  498.  
  499. \bigskip
  500.  
  501. \textbf{Definice (AEC).} Nechť $\tau$ je jazyk (signatura) a
  502. $\mathcal{K}$ třída $\tau$-struktur uzavřená na izomorfismy, spolu s
  503. relací $\preceq_{\mathcal{K}}$ na $\mathcal{K}$ (\uv{silné
  504. podstruktury} neboli $\mathcal{K}$-vnoření). Dvojice $(\mathcal{K},
  505. \preceq_{\mathcal{K}})$ se nazývá \emph{abstraktní elementární
  506. třída} (AEC), pokud splňuje následující axiomy:
  507.  
  508. \begin{enumerate}
  509.  \item[(A0)] Pokud $M \in \mathcal{K}$ a $N \cong M$, pak $N \in
  510.      \mathcal{K}$. Podobně relace $\preceq_{\mathcal{K}}$ je
  511.      zachovávána izomorfismy.
  512.  
  513.  \item[(A1)] $\preceq_{\mathcal{K}}$ je částečné uspořádání na
  514.      $\mathcal{K}$ (reflexivní, tranzitivní, antisymetrické), a
  515.      pokud $M \preceq_{\mathcal{K}} N$, pak $M$ je podstrukturou
  516.      $N$ (ve smyslu $\tau$).
  517.  
  518.  \item[(A2)] (Koherence) Jsou-li $M_0, M_1, M_2 \in \mathcal{K}$
  519.      takové, že $M_0 \subseteq M_1 \preceq_{\mathcal{K}} M_2$ a
  520.      $M_0 \preceq_{\mathcal{K}} M_2$, pak $M_0 \preceq_{\mathcal{K}}
  521.      M_1$.
  522.  
  523.  \item[(A3)] (Tarski--Vaughtovy řetězce) Je-li
  524.      $\langle M_i : i < \delta \rangle$ rostoucí $\preceq_{\mathcal{K}}$-řetězec
  525.      (tj. $M_i \preceq_{\mathcal{K}} M_j$ pro $i<j<\delta$), pak:
  526.      \begin{enumerate}
  527.        \item[(a)] $\bigcup_{i<\delta} M_i \in \mathcal{K}$,
  528.        \item[(b)] $M_i \preceq_{\mathcal{K}} \bigcup_{j<\delta} M_j$
  529.            pro každé $i < \delta$,
  530.        \item[(c)] je-li navíc $N \in \mathcal{K}$ a $M_i
  531.            \preceq_{\mathcal{K}} N$ pro každé $i < \delta$, pak
  532.            $\bigcup_{i<\delta} M_i \preceq_{\mathcal{K}} N$.
  533.      \end{enumerate}
  534.  
  535.  \item[(A4)] (Löwenheim--Skolemovo číslo) Existuje nekonečný
  536.      kardinál $\mathrm{LS}(\mathcal{K}) \geq |\tau|$ takový, že pro
  537.      každé $M \in \mathcal{K}$ a každou podmnožinu $A \subseteq |M|$
  538.      existuje $N \preceq_{\mathcal{K}} M$ s $A \subseteq |N|$ a
  539.      $|N| \leq |A| + \mathrm{LS}(\mathcal{K})$.
  540. \end{enumerate}
  541.  
  542. \bigskip
  543.  
  544. Tahle abstrakce zobecňuje pojem elementární třídy z teorie modelů
  545. (kde $\preceq_{\mathcal{K}}$ odpovídá $\prec$, elementárnímu
  546. podmodelu) na širší kontext, který zahrnuje například i třídy
  547. struktur definované v $L_{\infty,\omega}$ nebo $L_{\kappa,\omega}$, a
  548. je centrálním pojmem Shelahova programu klasifikační teorie mimo
  549. rámec elementární teorie prvního řádu.
  550.  
  551. \section{Jaké jsou vlastně směry v matematice ?}
  552. Základní jsou analýza, algebra, teorie množin,k aplikovaným,a ty budou pro čtenáře nejatraktivnější,
  553. patří matematická ekonomie neboli teorie her,a pak je to teorie kategorií a teorie modelů.
  554.  
  555. \section{Teorie her}
  556.  
  557. %\begin{document}
  558.  
  559. %\includepdf[%[scale=\scale,noautoscale,nup=2x1,pages=1-,delta={\delta} 0pt,
  560. %    offset=38pt 1mm,% offset in reverse order
  561. %    trim=0.2cm 1.5cm 1.5cm 1.5cm,
  562. %    pages=-,
  563. %  nup=2x1,%  1 row; 2 cols
  564. %  pages=-,%
  565. %  delta=-0.0mm -0.0mm,%
  566. %  scale=1.150200210259785,
  567. %  trim=132 -62 -20 -68,
  568.  % clip,
  569.  % pagecommand=\thispagestyle{Moreimportedpages2},
  570. %]{K77.pdf}
  571. \includepdf[%
  572.   pages=-,
  573.   nup=2x1,
  574.   delta=0mm 0mm,
  575.   offset=0pt 0mm,
  576.   trim=0 0 0 0,
  577.   scale=1.01,
  578.   pagecommand=\thispagestyle{Moreimportedpages2},
  579. ]{LUCAS.pdf}
  580.  
  581.  
  582.  \item teorie množin (a někdy i další) je manipulace s objekty "ode zdi ke zdi" a jejich sledování
  583.  \item nějak to být musí
  584.  \item všechno je skoro tak nejlepší a nejbohatší, jak to být může
  585.  \item všechno lze rozvrstvit do podúrovní
  586.  \item být ve středu vyprávění a neutopit se v technických detailech
  587.  \item mít smysl pro důležitý detail
  588.  \item a$\hbar$a
  589.  \item důslednost,rychlost, přesnost a neplýtvat zdroji, Nobelova cena
  590.  \item přesný obraz mysli na papír
  591.  \item soustřeď se na to a věnuj se tomu, čemu lze nejvíc pomoct, viz. CH
  592.        a dlouhým důkazům z nejkratších možných
  593.  \item jaké by to bylo, kdyby někdo vypsal většinu důležitých principů za Tebe?
  594.  \item nebuď tak absolutně přesný, viz. fyzika (teorie strun)
  595.  \item pohybuj se co nejrychleji, ale neopomeň přitom žádný podstatný krok
  596.  \item každý nový princip zvyšuje úroveň Tvého duševního pohodlí
  597.  \item nechtěj po objektu víc, než kolik je správné
  598.  \item to jde, je to možné
  599.  \item nekooperativní hry jsou bohatší, než kooperativní
  600.  \item čím přirozenější a intuitivnější problém, tím obtížnější je důkaz
  601.  \item většina na\"{\i}vních, přímočarých, nesymbolických či přirozených
  602.      tvrzení neplatí,mají dlouhý důkaz, nebo důkaz není znám--třeba
  603.      {\sc P=Np} nebo Jordanova věta o neprotínajícíse uzavřené křivce rozdělující rovinu nebo Poincarého hypotéza
  604.  \item je to tak lepší, proto to platí
  605.  \item to už není to, na co ses původně ptal, vývoj
  606.  \item koli má Tvoje mysl prostoru?
  607.  \item máš před sebou nějaká tajemství?
  608.  \item je lepší se někdy schovat do své mysli bez otázek a přemýšlení
  609.  \item objekty musí mít návaznost při podávání jeden na následující
  610.  \item jsou principy všespasitelné?
  611.  \item uvažuj tak dlouho, dokud přepínání literálu (atomické formule a její
  612.        negace) nepřestane
  613.  \item učit se psát na vlastních krátkých toy textech
  614.  \item musí to jít samo, jako Shelah, Friedman, Descartes, Poincaré, Riemann
  615.        a spol.
  616.  \item v matematice musí každý v důkazu naměřit to co Ty
  617.  \item nic není tak důmyslné jako pravda
  618.  \item mít smysl pro úroveň vs. detail
  619.  \item lze částečně seřadit principy podle síly?
  620.  \item syntax zjednodušuje náhled na sémantiku
  621.  \item i otázka může být princip
  622.  \item zasadit fakta do historického kontextu jako Frankel Riemanna
  623.  \item z tohoto světa je zvenku dovnitř něco nedosažitelného
  624.  \item po jakých úsecích konverguje Tvoje mysl k cíli?
  625.  \item musí tam být vstup abys mohl očekávat výstup
  626.  \item je více plodné pro lepší a delší posloupnost úvah, když je na začátku více nebo méně možností?
  627.  \item je všechno vyrovnané na nulu?
  628.  \item když neznáš pravdivost výroku, tak polož otázku
  629.  \item tyto Principy zůstanou navždy neukončené
  630.  \item nejméně zajímavé reálné číslo ze všech je velmi zajímavé,
  631.        ovšem pokud existuje
  632.  \item když to tam nemáš, tak to tam nemáš, nevadí
  633.  \item měj více celkový náhled, než detailní
  634.  \item přílišné lpění na detailu je neefektivní, což je potřeba
  635.  \item když překonáš úzkost z toho, že moc víš, ještě se vše zlepší
  636.  \item nesnaž se za každou cenu objekty na sebe napasovat, pokud to opravdu nejde--neuhýbej tomu až tak moc--$\delta_i^j$
  637.  \item nejhorší je, když něco vypadá stejně, ale není to stejné
  638.  \item někdy je jen 1 přirozená cesta
  639.  \item je něco, o čem naprosto nepochybuješ? asi je to Descartovo Cogito ergo sum
  640.  \item všechno si zapisovat
  641.  \item posílit nejslabší článek v uvažování
  642.  \item principy jsou samogenerující
  643.  \item principů je neomezeně mnoho
  644.  \item dobře zvládat stres
  645.  \item úzkost vždy překonáš
  646.  \item na čem to závisí
  647.  \item stabilita
  648.  \item Technická část
  649.  \item dej tam jen data, co nutně potřebuješ, Ockham razor
  650.  \item musíš mít radost z vývoje
  651.  \item není to až tak citlivé na detail, jak se zdá
  652.  \item odstranit z uvažování to nevhodné a brzdící
  653.  \item dělej to, čemu věříš
  654.  \item zkrať to, co není potřeba, jako Email@ místo pošty
  655.  \item hrubší nadhled bude lepší
  656.  \item ošperkovat principy
  657.  \item prázdný princip $\emptyset$
  658.  \item konečný princip
  659.  \item principy se snadno zapomínají i vybavují
  660.  \item umět používat zkratky v mysli
  661.  \item ta šipka nic není $\rightarrow$
  662.  \item nežij v Konayaki mondo
  663.  \item musíš se mít o co duševně opřít
  664.  \item musíš nad tím mít nadhled
  665.  \item důležité je, že něco je stejné--ekvivalentní
  666.  \item jednou z nejdůležitějších věcí je Tvoje duševní pohodlí, a to máš
  667.        kdykoliv ho potřebuješ
  668.  \item to {\bf kouzelné}, co je v Tobě musí {\bf posílit}
  669.  \item principy pomáhají
  670.  \item musíš mít radost z dat
  671.  \item u čeho je ten koeficient?
  672.  \item myšlení musí být kompatibilní s Tvojí intuicí
  673.  \item jednou naučenou věc se neuč znovu
  674.  \item Jedno $\models$ Tvoje tělo
  675.  \item jak obtížné je vyjít se sebou samým? To je důležité pro vnitřní klid
  676.  \item nikdy nemůžeš znát a vědět vše, ale to ničemu nevadí
  677.  \item snadno si zapamatujš i obtížnější anglická slůvka
  678.  \item které 2 principy jsou si nejblíže?
  679.  \item co Tě brzdí vždy samo snadno pomine
  680.  \item aspoň zhruba syntakticky to tam vždycky je, a to uklidňuje
  681.  \item jak to Příroda zařídila, tak to je
  682.  \item nejlepší je, když se myšlenky sejdou a zjednoduší
  683.  \item to lepší převáží
  684.  \item musí to úplně kleknout, pak je klid
  685.  \item matematika je dost přesná, ale někdy lze něco zanedbat
  686.  \item co Ti udělá psychicky radost
  687.  \item ještě to nejsou všechny principy
  688.  \item nesmíš být venku ze svého systému
  689.  \item lepší je hluboká práce, než mělká a těkání
  690.  \item když to typově sedí, tak to bude fajn
  691.  \item principy nejsou pravdivé ani nepravdivé
  692.  \item vytvoř si svůj prostor v mysli
  693.  \item je to od sebe skoro tak přesně daleko, jak je to nejméně matoucí
  694.  \item proč je snazší číst než psát?
  695.  \item principy neslábnou, ale vyplňují
  696.  \item matematika má dynamiku, pak je silnější
  697.  \item současně (ne)tvořit zadání i řešení
  698.  \item budeš snadno sbalovat a rozbalovat myšlenky
  699.  \item budeš se cítit v okolním textu dobře, přijemně a přirozeně
  700.  \item musíš vědět, kde máš slabá místa a vyrovnat se s nimi
  701.  \item žiješ jen jednou a musíš vše stihnout pochopit a nezastaví Tě ani pár překážek
  702.  \item je tam plno myšlenek
  703.  \item hlavně nepodvádět v postupu v myšlení a učení
  704.  \item je to tam úplně v Tvé mysli
  705.  \item tvoje úspěšnost závisí na tom, jak snadno a pohodlně se dokážeš
  706.     přepínat do svého myslícího já
  707.  \item je to tam: články a myšlenky
  708.  \item zlepšit kódování myšlenek
  709.  \item někdy je lepší číst tyto myšlenky odzadu
  710.  \item žádný princip není poslední ve své důležitosti, pak by to nebyl princip
  711.  \item tento život je jen příprava na další a ještě bohatší život, plný pohody, úspěchů, článků, výsledků (as Vopěnka's principle) a nápadů
  712.  \item nevylít s vaničkou i dítě při myšlení
  713.  \item buď svůj, jako všchni velcí myslitelé
  714.  \item sednout na řádky v Adámkových knihách
  715.  \item princip nemusí obsahovat sloveso:
  716.  \item a Tvoje maxima?
  717.  \item v životě je i nějaká jistota v mysli
  718.  \item cíl v kategoriích a v uvažování vůbec je abstraktní, ale víceméně jednoznačný
  719.  \item principů je neomezeně ale přesto jsou některé přirozeně na konci
  720.  \item podle počtu silných principů lze hodnotit úspěšnost celého dne
  721.  \item snadno vyjdeš se sým svědomím
  722.  \item co sis Tam dal, to tam máš
  723.  \item žádný princip se v Tvé mysli snadno neztratí
  724.  \item lepší pocit je, když se Ti myšlení rozhýbe
  725.  \item principy jsou sugestivní
  726.  \item principy a Aforismy
  727.  \item po životě je fajn
  728.  \item stačí málo, ale to správné, a jsi profesor
  729.  \item poznámky v Notepadu uklidňují paměť
  730.  \item vyjímečně i znegovaný princip může být korektní
  731.  \item Tohle bys chtěl ? 15 tky
  732.  \item principy se tvoří čímdál snadněji a rychleji
  733.  \item většina principů má v této posloupnosti principů své přirozené pořadí
  734.  \item je pohodlnější tvořit otázky spolu s odpověďmi
  735.  \item principy mohou být podobné, ale nesmí se přesně opakovat
  736.  \item většina principů má pěknou interpretaci
  737.  \item když dosáhneš cíle, jsi spokojený
  738.  \item principy jsou přirozené, ale špatně se pamatují, až na tento:
  739.  \item co obsahuje slovo paměť, snadno se pamatuje
  740.  \item musíš mít robustní základ pro to, co považuje Tvůj mozek za důkaz
  741.  \item nepočítat pokaždé znova, ale cítit a pamatovat si vše
  742.  \item hledat zkratky v mysli je důležité
  743.  \item to nevadí
  744.  \item používat snadno to, co už víš a je známo
  745.  \item je tam plno myšlenek
  746.  \item nepodvádět v myšlení a postupu, ale být korektní
  747.  \item nemít nad vším až takový vzdálený nadhled, dívat se na věci zevnitř
  748.  \item principy se formulují z té příjemější stránky
  749.  \item ve spánku je i to nejlepší snadno možné
  750.  \item toto je jedniný princip, který se může opakovat
  751.  \item 2
  752.  \item někdy, když $\mathbb{TO}$ tam není je štěstí
  753.  \item který princip je pevným bodem všech?
  754.  \item $\mathbb{TENTO}$
  755.  \item kvalita principů je důležitá
  756.  \item tento princip je nejméně důležitý a jeho negace neplatí
  757.  \item žádný princip není poslední
  758.  \item co zůstává v Tvé mysli a trvale tam působí?
  759.  \item principy se nezhoršují, možná jen mírně klesají
  760.  \item odpoutat se od drobností, a nezatěžovat se jimi
  761.  \item úplně popsat všechna dostupná data (Galois types)
  762.  \item to na co se ptáš většinou neodpovídá tomu, co o tom víš
  763.  \item není tam nic těžkého
  764.  \item rozevřít objekty v mysli od sebe dost daleko, a nahlížet na ně zevnitř
  765.  \item když něčemu intuitivně věříš, to je to nejsilnější
  766.  \item v principech není lenosti
  767.  \item principy se nemají porušovat
  768.  \item jaká je esence Tvé mysli
  769.  \item principy jsou detailní
  770.  \item je to to, co nevíš, vždy Tvoje chyba?
  771.  \item principy mohou mít "?"
  772.  \item principy stejně jako matematické či filozofické články lze psát dál a dál
  773.  \item principy se formulují pozitivně
  774.  \item nechtěj po objektu ani víc, ani míň, než je správné v důležitém faktu,
  775.  je to pohodlnější
  776.  \item principy se vyplňují sami
  777.  \item je to tam dřív, proto je to silnější (ZFC, kategorie, šachy)
  778.  \item úzkost
  779.  \item principy většinou neobsahují negativní slova
  780.  \item není to nakonec až tak zlé
  781.  \item to co aktuálně je, je důležité
  782.  \item ten vzácný kousek v Tvé mysli posílí
  783.  \item je to jiné, když si to zkusíš, než když se na to jen připravuješ
  784.  \item vlastnosti/objekty se bijektivně přenášejí jeden na druhý
  785.  \item dobrý princip je ten, po jehož zahození ostatní principy neposílí
  786.  \item principy nelze seřadit podle síly, a nejsou ani předseřazené,
  787.  některé jsou přesto silnější, než jiné
  788.  \item  principy jsou to, co Ti nejvíc leží v hlavě
  789.  \item úzkost je vykoupena velkou svobodou v myšlení
  790.  \item úzkost musí být, aby pak byla radost
  791.  \item některé principy jsou si podobné
  792.  \item něco nekonverguje
  793.  \item přenášení přirozených čísel mezi dvěma myslemi je asi prosto sporu
  794.  \item pohodlí v obklopení daty
  795.  \item rovnováha mezi $\mathbb{Z}$ a $\mathbb{Q}$
  796.  \item musíš být přesný, citlivý a jemný $[[\frac{1}{t}]]$
  797.  \item musíš se přízpůsobit těm věcem, které dělají potíže Tvému myšlení
  798.  \item není to pokaždé Tvoje vina, když něco nevíš
  799.  \item nerozebírej věci víc, než na atom Tvého myšlení (asociativita, Cogito)
  800.  \item nesmí Ti to utíct $\mathbb{Z}$
  801.  \item když to sedne, je klid
  802.  \item ti vzácní filozofové 18, 19 a 20 století
  803.  \item co je téma filzofie 21. století ?
  804.  \item jací filozofové jsou dnes aktuální ?
  805.  \item jejich jména a přečíst skvělou knihu o nich
  806.  \item principy zabírají to vzácné místo v mozku
  807.  \item nejdůležitější na knize je její 1. stránka, ta slouží pro rozhodnutí,
  808.  jak dobrá ta kniha je
  809.  \item principy jsou skoro to nejlepší, co v Tobě je
  810.  \item lehce se dotknout důkazu, a užít si tu krásu
  811.  \item za každým principem je nějaký další
  812.  \item úzkost se jistě uplatňuje i v principech
  813.  \item principy nejsou izolované
  814.  \item všchno to už máš v hlavě, nic jiného není, jen nekonečná svoboda mysli
  815.  \item principy jsou nejsilnější pohormadě
  816.  \item v $\mathbb{R}$ a $\omega^\omega$ je dokonalá pohoda
  817.  \item klid je důležitý, a Ty ho máš
  818.  \item seš lepší, než si myslíš
  819.  \item principy jsou tu od toho, aby Ti pomáhaly
  820.  \item takhle to nefunguje, když je moc úzkosti
  821.  \item velká svoboda v myšlení je vykoupena úzkostí
  822.  \item entropie v principech roste
  823.  \item nemusíš být svojí myslí všude
  824.  \item a to je zas kvůli tomu
  825.  \item musíš zacílit myšlenky na tu správnou stranu
  826.  \item když něco nevíš, nemusí to být Tvoje chyba
  827.  \item nesmí Ti to utíct
  828.  \item to co je divné, ale přitom správné, je zajímavé
  829.  \item některé principy jsou vzájemě provázané
  830.  \item musíš být spokojen s tím, co je
  831.  \item to je míň vzácné
  832.  \item a to už je ono
  833.  \item na data se můžeš spolehnout
  834.  \item to je příklad (Rosický)
  835.  \item musíš to tam najít ve své mysli
  836.  \item musíš vyjít vstříc své mysli
  837.  \item dvě podobná slova či číslice nemusí mít podobný význam (2 nebo 3 je někdy rozdíl)
  838.  \item jdi tím směrem, kde tomu intuitivně nejlíp rozumíš
  839.  \item nejlepší je konec omýlání jedné úvahy
  840.  \item množiny se nevyvíjejí v čase, ale jsou statické
  841.  \item musíš být se sebou
  842.  \item jaké by to bylo, kdyby to tak nebylo ? Ještě horší ...
  843.  \item poznatky beze zbytku
  844.  \item půjde to i dál ?
  845.  \item zjemnit abstraktnost
  846.  \item jek daleko Tě princip posunul odpovídá jeho síle
  847.  \item zlo a dobro kolísá
  848.  \item všechno funguje přirozeně...pak je i klid (Matlab)
  849.  \item zastavit se na chvíli a jít dál
  850.  \item nedělej nic naslepo ani v dalším životě
  851.  \item dotahovat myšlenky
  852.  \item principy konvergují
  853.  \item vrátit se k samotným základům matematiky
  854.  \item aby všchno zase bylo normální
  855.  \item to co je vytáhnuté a konkretizované z Tvé hlavy je zásadní
  856.  \item jaké by to bylo, kdyby to tak nebylo
  857.  \item kdyby to tak nebylo, tak by to bylo ještě horší
  858.  \item musíš být se sebou
  859.  \item poznatky beze zbytku
  860.  \item je to nekorektní, ale je to tak
  861.  \item je ještě něco nejasné ?
  862.  \item musíš být jednou i spokojen
  863.  \item všecho nové už existuje
  864.  \item nepřenášej to co už je dál
  865.  \item k čemu bys to potřeboval ? {\sc P=Np}
  866.  \item efektivnější kódování myšlenek a důkazů / cílů
  867.  \item najít si správného autora je základ pohody ve čtení
  868.  \item za Tím už nic není
  869.  \item proč je taková sháňka po těžko dokazatelných výsledcích ?
  870.  \item Tvoje učení ještě není uzavřeno
  871.  \item musíš vědět, že to tak je, aby to tak i bylo ?
  872.  \item co Tě nejvíc omezuje, toho se zbav
  873.  \item trochu oživit myšlení
  874.  \item vybrat všechny rohy vědění
  875.  \item neboj se, skoro vždycky Ti to vyjde jako ostatním
  876.  \item Buď v mysli tam, kde je Ti to příjemné
  877.  \item co je to Mít ?
  878.  \item zapomínáš ?
  879.  \item nesmí Ti to vadit, že to nevíš
  880.  \item který princip je nejmocnější ?
  881.  \item nerovnosti jsou zásadnější, než rovnosti
  882.  \item sbalit myšlenky do jednoho bodu
  883.  \item Tvoje myšlení jde správným směrem
  884.  \item někdy se vyplatí začít znovu
  885.  \item nemůžeš tam dát falešnou vzpomínku
  886.  \item když je to divné, má pravdu Tvoje intuice
  887.  \item přestaň na to na chvíli myslet
  888.  \item sbližuje se to ?
  889.  \item co si tam dáš, to tam máš
  890.  \item moc to nevyužívat
  891.  \item z něčeho to musíš přečíst
  892.  \item na čem to závisí
  893.  \item jak napasovat Tvoje {\sc Pure}--{\sc Objekty} na ostatní matematické i jiné problémy ?
  894.  \item i černobílý text hraje všemi barvami
  895.  \item vždycky Ti to vyjde jako ostatním $2^{\log^k n}$
  896.  \item neuhýbej tomu
  897.  \item musí to úplně klapnout
  898.  \item nevyčerpatelný zdroj vědění
  899.  \item něco úplně Tvého ?
  900.  \item musí to tam být úplně
  901.  \item nejmíň se trápíš, když Bůh je
  902.  \item nemusí to být podle abecedy
  903.  \item svoje nejslabší místo znáš
  904.  \item nemusí to být dlouhý text, hlavně že je kvalitní
  905.  \item to nejkoncentrovanější
  906.  \item držet konstantní úroveň znalostí
  907.  \item unifomní a rovnoměrná znalost
  908.  \item je to blízko
  909.  \item je to tam
  910.  \item je přeučení správné ?
  911.  \item možná je správné, ale není příjemné ...
  912.  \item principy natěsnat natěsno
  913.  \item {\sc Blaženost}
  914.  \item když to tam zapadne, tak to tam je
  915.  \item ne tak natěsno, neostrá nerovnost
  916.  \item je tam cesta a jde to
  917.  \item co je Tvého, to je klidné
  918.  \item nešidit
  919.  \item ve skutečnosti je to tam správně
  920.  \item nikdy Tě to nenechá padnout
  921.  \item nikdy Tě to nezklame
  922.  \item musíš to chápat v celé své komplexnosti a šíři
  923.  \item kolísá to mezi dobrým a zlým
  924.  \item vždycky zvítězíš
  925.  \item na jméně záleží
  926.  \item nikdy není pozdě na rozhodnutí
  927.  \item musíš mít z čeho vyjít
  928.  \item pevný důvod
  929.  \item je i jiná cesta
  930.  \item zorganizovat myšlenky a principy
  931.  \item myšlenkové mapy
  932.  \item čím je to blíž sobě, tím je to hůř sporné
  933.  \item musíš a budeš šťastný s tím, co je
  934.  \item tak to zjednoduš, když to jinak nejde
  935.  \item jak Ti to dojde, tak budeš šťastný
  936.  \item klid a pohoda
  937.  \item těš se ze všeho a hlavně ze života
  938.  \item je tam záchytný bod
  939.  \item je tam {\sc Schod} v mysli a ten je ten nejdůležitější
  940.  \item prošlapat si tam pořádně cestičku
  941.  \item víc jednodušší to ale není
  942.  \item Bůh tam je
  943.  \item není Tvoje povinnost všechno umět
  944.  \item vnitřní klid je to nejdůležitejší
  945.  \item principy nejsou sporné, ale ani úplné
  946.  \item toto je princip
  947.  \item principy přibývají jeden po druhém
  948.  \item skoro všechna úzkost pramení z toho, že se snažíš udělat jednoduché ještě jednodušší
  949.  \item něco je lepší nechtít
  950.  \item co když to bledé místo v hlavě je {\sc Pravda} ?
  951.  \item tak si to tam dej, když to tam nemáš
  952.  \item můžeš být myslí na dvouch místech současně ?
  953.  \item nestresuj se, vždycky to vyjde
  954.  \item důkaz je nezpochybnitelný, nezpochybnitelnost je jeho podstatou
  955.  \item se tam hodně možností, ale jen některé jsou správné
  956.  \item při vymýšlení textu stačí používat známá slova
  957.  \item nějaká data tam být musí
  958.  \item kolik je objektivních pravd ?
  959.  \item ptát se nebo konstatovat ?
  960.  \item ptát se
  961.  \item konstatovat
  962.  \item konstatovat
  963.  \item elipsis ...
  964.  \item někdy se musíš spokojit s tím, co je
  965.  \item nedívej se na to syntakticky, ale na to, co to ve skutečnosti znamená
  966.  \item neměj strach, rozumíš tomu správně
  967.  \item to malinké v Tvé hlavě je důležité a vzácné
  968.  \item je něco opravdu jedno ?
  969.  \item většina principů začíná malým písmenkem
  970.  \item jen abys byl spokojen sám se sebou
  971.  \item když je to zkomprimované a sbalené, je tam klid
  972.  \item je tam větší okolí namísto stresu
  973.  \item překlápí se to mezi klidem a stresem
  974.  \item musíš se s tím vším vyrovnat
  975.  \item například svědci injektivity v ZFC
  976.  \item klid a pohoda jsou tam a to je to nejdůležitější
  977.  \item někdy to už jednoduššeji nejde
  978.  \item jaké jsou Tvoje priority
  979.  \item to se pak ukáže v průběhu důkazu
  980.  \item nějaká matematika patří do pricipů :
  981.  \item když mluvíš o topologii, musíš tam mít topologický prostor
  982.  \item to je jen způsob jak
  983.  \item v prinicpech je zahrnuto vše
  984.  \item je to mezi příjemným volným a nepříjemným těsným
  985.  \item nauč se s tím v Tvé hlavě fungovat
  986.  \item musíš na to jít z té lepší stránky
  987.  \item doplňuje se to
  988.  \item vede Tě to samo
  989.  \item někdy můžeš udělat drobný skok a posunout se dál
  990.  \item všechno zaráz v jedné myšlence ?
  991.  \item je tam stopa v Tvé hlavě
  992.  \item nesmí se to vylít přes okraj
  993.  \item nová úroveň chápání
  994.  \item musíš znát svoje chyby a nedostatky v myšlení a vycházet z nich
  995.  \item nejdůležitější je, že Tě matematika a úvahy nesmí vysílit ani zničit
  996.  \item něco je snadnější a příjemější nechtít
  997.  \item protože se to rovná
  998.  \item to ${\mathbb L}$ tam zítězilo
  999.  \item jak bude znít a čím bude význačný 1000cí princip ?
  1000.  \item to je jinými slovy totéž
  1001.  \item nech to odpočinout
  1002.  \item ještě bokem něco nechat
  1003.  \item *co přesně {\sc nejmíň} stačí dokázat ?
  1004.  \item úvahy musí být moc natěsno
  1005.  \item *něco je jen {\bf jedno}, a je to navíc správné a mocné, téměř nejmocnější princip
  1006.  \item to lepší je silnější
  1007.  \item buď také geniální, máš na to
  1008.  \item principy všechny naráz uklidňují a šetří paměť
  1009.  \item od toho zlého si tam musíš dát co nejmíň, pokud vůbec něco
  1010.  \item můžeš si volně brát data podle libosti, ale nepodvádět
  1011.  \item jak to je ve skutečnosti, na tom záleží
  1012.  \item principy nejsou lineárně uspořádané a ty s hvězdičkou jsou nejvýš
  1013.  \item nakonec vždycky vyhraješ
  1014.  \item je to úplně vyplněné myšlenkami
  1015.  \item to co je reálné {\sc Je}
  1016.  \item udržovat povědomí o abstraktních objektech
  1017.  \item něco platit a být musí
  1018.  \item To Ti pomůže
  1019.  \item nejdůležitější je, abys byl spokojen sám se sebou
  1020.  \item kdy a kde Tě napadají ty {\sc Nej} principy
  1021.  \item jdi svou cestou a svým tempem
  1022.  \item něco málo můžeš přeskočit aby ses myslí hnul z místa
  1023.  \item není důležité to, co je v počítači, ale to, co je v hlavě
  1024.  \item nesmí být všeho moc ani málo
  1025.  \item dobrá kniha je základ všeho
  1026.  \item narovnat myšlenky
  1027.  \item co děláš má smysl
  1028.  \item dej tam toho korektního co nejvíc
  1029.  \item to ráno za to stojí
  1030.  \item o to musí jít
  1031.  \item Duše se tvoří před tělem a existuje navěky
  1032.  \item jde to, ale pomalu, pomalu to jde
  1033.  \item zaklaplo to
  1034.  \item práce léčí
  1035.  \item někdy to skončit musí
  1036.  \item spouští se to samo
  1037.  \item to je záchytný bod v Tvé mysli
  1038.  \item zkratky v mysli
  1039.  \item teď je mě krásně
  1040.  \item zabývej se tím skutečně důležitým
  1041.  \item můžeš pak být ten nejšťastnější
  1042.  \item v klidu
  1043.  \item to cos chtěl tam teď máš
  1044.  \item je to Tam
  1045.  \item musíš na to jít z té druhé, správné stránky
  1046.  \item je to uzavřené
  1047.  \item je to úplně vyplněné myšlenkami
  1048.  \item myšlenky lze jen obtížně zaokrouhlovat
  1049.  \item nepřemýšlej rekurzívně
  1050.  \item taky si mezi přemýšlením odpočinout
  1051.  \item anebo je to jedno
  1052.  \item kolísá to mezi dobrým a zlým
  1053.  \item máš pak obrovský prostor
  1054.  \item když to syntakticky sedí je to fajn
  1055.  \item krátké vzkazy uklidňují
  1056.  \item dobře rozlišovat prvky
  1057.  \item nemusíš se cítit provinile, když něco neumíš
  1058.  \item učení i principy jsou samoakcelerující
  1059.  \item ty dveře co mají být otevřené jsou už otevřené a ty co mají být
  1060.  zavřené jsou už zavřené
  1061.  \item zjednoduš si to, když to nejde přímo
  1062.  \item je to v pořádku, až s tím budeš Ty sám spokojen
  1063.  \item má to vůbec řešení ?
  1064.  \item dej tam ty nejsilnější axiomy : $M\leq_{\mathfrak K}N$
  1065.  \item všechno Ti jde
  1066.  \item nad každým principem je nějaký abstraktnější
  1067.  \item na všem si najdeš kousek toho, co Ti jde
  1068.  \item abstract existence is the key property
  1069.  \item vše ztracené z Tvé paměti se tam jednou znovu objeví
  1070.  \item a ta radost na konci úvah je značná $\mathfrak{d}$
  1071.  \item vždycky to tam najdeš
  1072.  \item podávání objektů jde pořád dál
  1073.  \item nakonec si na to vždycky vzpomeneš
  1074.  \item a detaily Tě nezahltí
  1075.  \item tak to bude ještě lepší
  1076.  \item jseš omezen jen sám sebou
  1077.  \item nedávat na okraj to, co má být v centru
  1078.  \item které principy jsou uklidňující ?
  1079.  \item objevíš nějaký další princip ve své mysli ?
  1080.  \item jak je to myšleno ?
  1081.  \item nesmíš toho tam dát míň, než kolik je toho potřeba
  1082.  \item původem všeho je otázka
  1083.  \item a ta krása potom
  1084.  \item co kdyby ses přestal trápit přmýšlením ?
  1085.  \item který princip je nejvíce / nejméně pravdivý ?
  1086.  \item vždycky Ti to půjde
  1087.  \item je to až úplně vzadu
  1088.  \item zabývat se něčím úplně
  1089.  \item ale co přesně chceš ?
  1090.  \item kulatý, výroční princip--Energie do další $\mathbf{500}$
  1091.  \item to tam musíš celé použít
  1092.  \item to tam musíš \textbf{někde} použít
  1093.  \item a ta radost na konci úvah je značná
  1094.  \item netrap se tím: \textbf{symetrie} je \textbf{symetrie}
  1095.  \item být v centru u všech (i u těch okrajových) věcí
  1096.  \item minimální protipříklad
  1097.  \item vše pochopit do takového detailu až už o tom nebude existovat další korektní otázka
  1098.  \item máš toho tam dost ?
  1099.  \item najít si na tom důležitém kousek toho, co Ti opravdu jde snadno
  1100.  \item vyplnit prostor úplně myšlenkami
  1101.  \item nadhled
  1102.  \item někdy je chyba i v Tobě, ale to málokdy
  1103.  \item ale nic z toho nemáš, když se tím moc trápíš
  1104.  \item je to v Tvé mysli mezitím
  1105.  \item zvítězil jsi
  1106.  \item je to jednoduché
  1107.  \item nemusíš se vracet k jednou už vyřešenému stále dokola, budeš mít potom více klidu
  1108.  \item  co je zde napsáno víceméně platí
  1109.  \item ale ta {\sc Pohoda} na konci, ta \textbf{je úžasná}
  1110.  \item principy pomáhají, i když se částečně navzájem shodují a překrývají
  1111.  \item to je právě ono
  1112.  \item musíš si toho vzít jen kousek
  1113.  \item nyní máš to správné vzdělání tím, cos sám nastudoval
  1114.  \item někdy to není tak, jak si myslíš
  1115.  \item je to tam vzadu
  1116.  \item i když něco zapomeneš, nemusí to vadit
  1117.  \item až se to vyčistí
  1118.  \item je to tam i bez Tvého úsilí
  1119.  \item musíš to jednou opustit
  1120.  \item vytvářej důkazy sám
  1121.  \item klid a pohoda v Tvé mysli
  1122.  \item je to jen takové, jaká je nabídka
  1123.  \item uhni myslí
  1124.  \item někdy to jednodušeji nejde
  1125.  \item přeskočit to nedůležité
  1126.  \item někdy ten krok udělat musíš, aby Ti to vyšlo
  1127.  \item to je na tom ta krása
  1128.  \item až si za tím budeš stát sám
  1129.  \item vedle je něco víc
  1130.  \item pomalu
  1131.  \item a jde to vzít i z druhé strany ?
  1132.  \item čeká Tě jen to krásné
  1133.  \item to nepotřebné a škodlivé dej pryč
  1134.  \item musí to být Tvoje
  1135.  \item je to jen tak krásné, jak tomu dovolíš
  1136.  \item nesmí to být nestabilní
  1137.  \item zkratka
  1138.  \item musíš vědět co přesně chceš
  1139.  \item nesmí Ti nic zkazit radost z přemýšlení
  1140.  \item můžeš se schovat do své mysli
  1141.  \item neomezená krása MacLana
  1142.  \item chaos v MacLanovi není
  1143.  \item je jen jeden celek
  1144.  \item co je silnější, skutečnost nebo pravidlo ?
  1145.  \item to se překryje
  1146.  \item až tam nebude nic nového
  1147.  \item vrátit se o krok zpět
  1148.  \item musíš jít od základu
  1149.  \item ulehčí se Ti
  1150.  \item čistě a úplně
  1151.  \item principy se vyvíjejí
  1152.  \item nešlo by to prázdno v Tvé mysli přeskočit
  1153.  \item musí to jít samo
  1154.  \item skutečný text
  1155.  \item znovu to přemýšlet
  1156.  \item nadhled -- doplněk
  1157.  \item zaoblit to
  1158.  \item i to staré může být dobré a důležité
  1159.  \item vždy tam máš záchranný schod
  1160.  \item je to jinak a líp
  1161.  \item nic složitějšího za tím není
  1162.  \item to ostatní se domyslí
  1163.  \item celek
  1164.  \item začít znovu
  1165.  \item principů je čím dál tím víc
  1166.  \item vše propojit
  1167.  \item jde Ti to, a půjde ještě líp
  1168.  \item $\times$ (limita) a $+$ (kolimita) je přesně, co tam potřebuješ
  1169.  \item vzpomeň na axiom regularity
  1170.  \item je to jen na Tobě
  1171.  \item směrem ven ze své mysli
  1172.  \item je vůbec něco co chápeš dokonale ? ani číslo $2$ to není, že ?
  1173.  \item když nějaký princip zapomeneš, objeví se časem znovu
  1174.  \item stabilita
  1175.  \item ještě kousek
  1176.  \item nech to spát
  1177.  \item je toho tam tolik a můžeš přemýšlet nad detaily, ale nepřehánět to !
  1178.  \item principy se počítají na stovky, jako Shelahovi články
  1179.  \item pohled na napsané poznámky Tě uklidní
  1180.  \item na $\text{op}$ v $\cal C^{\text {op}}$  záleží
  1181.  \item principy obsahují jen málo matematických symbolů
  1182.  \item opravdový matematický text jich obsahuje více
  1183.  \item nemusíš o tom přmýšlet stále znovu a dokola, příště Ti to opět půjde
  1184.  \item {\sc Pochopit všechno o objektech}
  1185.  \item většina prostředků v tomto světě je nesměnitelná
  1186.  \item směnitelnost jako stupeň možností
  1187.  \item všechno je tak, jak má být
  1188.  \item dej tomu čas
  1189.  \item je důležité, jak je to teď
  1190.  \item máš tolik svobody, volnosti a pohody, kolik si dovolíš
  1191.  \item stupeň poznání, kterého jsi dosáhl, je značný
  1192.  \item musí to sedět
  1193.  \item všechno je tak, jak má být
  1194.  \item Tvoje mysl si může dát mat, ale nikdy to neudělá
  1195.  \item ne všechny pravdy jsou pro lidský mozek stejně názorné a zřejmé,
  1196.        někdy něco platí jen proto, že je to tak lepší viz. Descartes
  1197.  \item v první řadě mysli na sebe, a pak $\ldots$
  1198.  \item aby Ti to šlo jak Shelahovi
  1199.  \item ultimátní princip neexistuje
  1200.  \item Shelah na to nahlíží jako na celek
  1201.  \item někdy dobrý způsob, jak {\sc To} řešit je "po částech"
  1202.  \item znalost je v blízkosti okolo
  1203.  \item je to ekvivalentní
  1204.  \item v pohodě si nastuduj další kapitolu z handbooku o teorii her a pak se vrať k forcingu od Andrzeje
  1205.  \item nemusíš to číst tak důkladně, ale i tak jsi v tom lepší než průměrný čtenář
  1206.  \item je to jen v Tvé hlavě, zda to doklapne či ne
  1207.  \item už je to v Tvé hlavě, jen to vyslovit
  1208.  \item netlač, lehce na to
  1209.  \item musíš to dát a dáš to
  1210.  \item klid a pohoda v myšlení
  1211.  \item někdy to jednodušší není
  1212.  \item neúplnost je nezbytná a někdy nepříjemná součást tohoto života
  1213.  \item nenech to nedokončené v hlavě
  1214.  \item zkus tu ekvivalenci sbalit v hlavě
  1215.  \item pokud neumíš prokázat, že to není ekvivalentní, může to být ekvivalentní, i když je to zamotané
  1216.  \item musíš mít okolí ve své hlavě, o ketré se můžeš opřít
  1217.  \item někdy to platit nemusí
  1218.  \item máš větší klid, když to napíšeš na papír a pak si to připomeneš
  1219.  \item není to ani úplně krásné, ani úplně zlé
  1220.  \item v příštím životě budeš kombinace Shelaha, Rosického, Harveyho a Boha
  1221.  \item ale {\sc Proč} to všechno děláš, tu dřinu ohledně čtení, je v tom opravdu ta krása, kterou od toho očekáváš ?
  1222.  \item je to jednoduché a sbalené v Tvé mysli
  1223.  \item v maticích je pohoda
  1224.  \item naměříš to stejné, co ostatní a tedy se nemusíš bát, že to nevyjde stejně
  1225.  \item ničeho se nemusíš bát, ono to platí
  1226.  \item někdy už klid mít musíš
  1227.  \item Shelah ani Rosický nejsou hackeři zaměření jen na detail, a to je oproti Tobě dělá silnějšími
  1228.  \item ne všechno v matematice lze snadno předat mezi dvěma myslemi
  1229.  \item když Ti to nevychází, tak Ti tam něco malého chybí
  1230.  \item když je to divné, tak jsi tomu na stopě
  1231.  \item kombinovat libost a nelibost
  1232.  \item ptej se někdy {\bf sám sebe}
  1233.  \item přemýšlej lokálněji
  1234.  \item jo, to platí
  1235.  \item zmírni svoje {\sc Ego}
  1236.  \item každá, byť nepříjemná zkušenost Tě posune výše
  1237.  \item nic Ti nesmí zkazit radost z vědění
  1238.  \item důležitá je pokročilá znalost {\sc Forcingu} a neztratit se hned na začátku, ale proniknout do nitra toho
  1239.  \item největší problém je, že to z Tvé mysli není k přečtení, aby se to dalo na papír -- Shelah
  1240.  \item buď v centru přemýšlení
  1241.  \item někdy se vrať k tomu starému dobrému
  1242.  \item nepřekročitelné meze/limity tohoto života
  1243.  \item kde je klid a na nic nemyslet
  1244.  \item máš to všechno připraveno a je toho tam neomezeně
  1245.  \item nadechnout se toho tajemna, mystéria a krásy
  1246.  \item nezapomínej z jakých objektů si vzešel
  1247.  \item teď je to jen sbalené
  1248.  \item nechtít toho moc, a už vůbec ne všechno
  1249.  \item víš, jak to má vypadat ve své dokonalosti a kráse
  1250.  \item důkazy, věty, lemmata, důsledky i definice jsou jen Tvoje
  1251.  \item ty podmínky z komutativních diagramů jsou na jedno kopyto,
  1252.        a základem je komutativní čtverec
  1253.  \item nic složitého na tom není
  1254.  \item stejně se nakonec vrátíš k monomorfismům
  1255.  \item neboj se tolik, že se spleteš
  1256.  \item rozdělat to úplně od sebe
  1257.  \item musíš mít nějaké okolí, ve kterém žiješ myslí
  1258.  \item soutěž sám se sebou
  1259.  \item k ekvivalenci dvou faktů musíš mít prošlapanou cestičku
  1260.  \item všechno má své přesné a detailní zdůvodnění
  1261.  \item takto Shelah nefunguje ...
  1262.  \item nesnaž se to napasovat na sebe, když to nejde
  1263.  \item je to přirozené
  1264.  \item je to tady
  1265.  \item cyklení a spor jsou matematicky nepříjemné
  1266.  \item co Ti říká Shelahův text
  1267.  \item bytí je odměna za nápad a celistvost
  1268.  \item třeba se s tím dá něco udělat
  1269.  \item musíš se snažit sám
  1270.  \item nejsi úplně zdravý, ale i tak jsi na tom fajn
  1271.  \item není zakázané přemýšlet o čemkoliv, ale jen tak, aby to neškodilo
  1272.  \item principy lze spojovat i rozpojovat
  1273.  \item přemýšlej lokálněji i globálněji zároveň a tak, jak je to nejefektivnější
  1274.  \item je to akorát, aby se to nevylilo
  1275.  \item principy jsou pochopení části reality
  1276.  \item zbytečně se neptej, lépe řečeno, ptej se sám sebe a přirozeně uvažuj
  1277.  \item nevadí, když se nějaký princip zapomene, objeví se příště znovu jinde
  1278.  \item snaž se o tom říct aspoň něco
  1279.  \item sleduj data, ony Tě povedou dál
  1280.  \item když něco správného nevychází, může to být i Tvoje chyba
  1281.  \item ale to je jedno
  1282.  \item důležité je, zda jsou data správného, klidně i vyššího typu
  1283.  \item přeskakovat můžeš, ale jen korektně
  1284.  \item musíš nad tím mít nadhled
  1285.  \item když to materiál říká, tak to bude pravda
  1286.  \item principů teď neubylo
  1287.  \item principů většinou neubývá
  1288.  \item když neznáš definici, tak se o to nesnaž
  1289.  \item když něco v matematice děláš, tak musíš vědět, že to jde
  1290.  \item každý den jeden malý cíl, a jednou za čas větší cíl
  1291.  \item vždycky znáš cestu ven z problému
  1292.  \item to nevadí, že to není dokázané $-$ co Ti říká intuice a zkušenost ? {\sc (S)Wvp}
  1293.  \item {\sc nejkrásnější pocit je Mystický pocit, a Ty ho můžeš čas od času dosáhnout}
  1294.  \item dokonce i povrchnost může být někdy užitečná
  1295.  \item je tam prostor v tom co platí a co neplatí
  1296.  \item musíš ty objekty a přemýšlení o nich překlopit na tu správnou stranu a pak zvítěziš
  1297.  \item Shelahovým cílem je {\sc úplně rozbít} náplň do tiskárny
  1298.  \item nic takového tam třeba není $\ldots$ a je klid
  1299.  \item když se nějaký princip ztratí (v mysli), objeví se stejný jindy
  1300.  \item mysl není uzavřený systém: občas se z ní něco ztratí nebo něco přibude
  1301.  \item je to jedno
  1302.  \item musíš vycházet z toho, co je (dáno,možné)
  1303.  \item kdykoliv budeš chtít, dostaneš se do stejného stavu, jako při minulé zapomenuté myšlence
  1304.  \item za tím bude ještě něco lepšího, když si nevzpomeneš
  1305.  \item obnovit svůj stav tak, jak byl při minulé (a zapomenuté) myšlence
  1306.  \item třeba Ti to pomůže k něčemu jinému, to cos zapoměl
  1307.  \item jak ses cítil, když byla ta myšlenka, na kterou si teď nemůžeš vzpomenout
  1308.  \item nemůžeš chtít všechno
  1309.  \item imitovat obnovení stavu
  1310.  \item když to má být úplně
  1311.  \item jede to dolů
  1312.  \item opravování chyb v myslích
  1313.  \item když nemíš obnovit nějaký minulý stav, tak asi nebyl dost důležitý
  1314.  \item je to jen na Tobě
  1315.  \item utíkám
  1316.  \item když to má být ůplně
  1317.  \item je to skvělé, ale ještě to není {\sc Ono}
  1318.  \item ale opravdu Ti to nesmí zkazit radost
  1319.  \item aby to bylo úplné
  1320.  \item můžeš být úplnější, když si nevzpomeneš
  1321.  \item nesmí pto Tebe být přmýšlení namáhavé, jen jako poslech
  1322.  \item pokud jsi upřímný, tak Ti jeden zapomenutý princip nebude vadit, i když to není snadné
  1323.  \item co je v počítači, to se nezapomene
  1324.  \item není důležité co máš v PC, ale co máš v hlavě (je to ten zapomenutý princip ?)
  1325.  \item nesmí Ti nic zkazit radost
  1326.  \item když je něco špatně, tak tomu jen Ty sám neorzumíš
  1327.  \item vstoupit vystoupit
  1328.  \item musíš tam mít prostor, kde se v pohodě pohybuješ
  1329.  \item musíš mít zdravé jádro a pak Ti to v pohodě půjde $\ldots$ a Ty ho máš zdravé
  1330.  \item musíš mít to {\sc Mystyčno}
  1331.  \item v globálu i v detailu je krása
  1332.  \item je jen {\sc Jedno} správné
  1333.  \item musíš mít klid na práci
  1334.  \item nesmíš popřít to staré (součin a součet v kategoriích)
  1335.  \item jiný pohled/cesta na ekvalizátor
  1336.  \item čím zaplatíš "vše"
  1337.  \item víc Tvého vs. na\"ivní
  1338.  \item za vším je něco dalšího
  1339.  \item nikdy nebudeš vědět všechno
  1340.  \item můžeš se rozhodnout nevtsupovat do algoritmu
  1341.  \item našli jsme vodítko
  1342.  \item není důvod Tvoje znalosti přenést na vyšší úroveň
  1343.  \item musíš vědět už od začátku, co chceš
  1344.  \item čeho je v Tvé mysli málo ?
  1345.  \item je to jen jedno -- Knuth a \TeX
  1346.  \item to je princip, že to tam máš -- {\sf METAFONT}
  1347.  \item když kniha řekne, to co právě očekáváš
  1348.  \item k celistvosti paměti
  1349.  \item je něco i za/nad knihami ?
  1350.  \item k celistvosti paměti
  1351.  \item musíš mít úplný klid
  1352.  \item zapomenuté principy se množí, ale to nevadí
  1353.  \item když si myslíš, že to nemůžeš zapomenout, tak to zrovna zapomeneš
  1354.  \item máš málo volnosti v mysli
  1355.  \item neboj se, ono to vyjde (\LaTeX)
  1356.  \item řekni to, o čem se pak bude dlouho mluvit
  1357.  \item no tak to udělej
  1358.  \item někdy je lepší nevšímat si toho
  1359.  \item musíš si začít pokládat ty správné otázky
  1360.  \item musí to úplně sedět
  1361.  \item syntax je jen omezení na korektní řetězce
  1362.  \item je to o vybalancovanosti
  1363.  \item nakonec to vždycky vyjde
  1364.  \item za tím něco je
  1365.  \item když Ti to jde moc snadno, tak je něco špatně (VP)
  1366.  \item nejdřív je tam základní problém, a pak jemnější
  1367.  \item vždycky je v té povinnosti něco fajn
  1368.  \item co si vzít s sebou do mysli do života ?
  1369.  \item občas je to lepší vzdát
  1370.  \item mladý génius zná pojem {|\sc Tm}
  1371.  \item co si nezapíšeš, pravděpodobně zapomeneš
  1372.  \item zkratky
  1373.  \item někdy v životě máš v halvě vadné nastavení
  1374.  \item každé význačné jméno je k něčemu dobré a uplatní se
  1375.  \item každý token v \LaTeX u dělá to, co má
  1376.  \item je normální, že řidič vozí sám sebe, ale holič se neholí
  1377.  \item když je to zbytečné, tak to nedělej
  1378.  \item nejde o to se nepřiznat, když jsi to neudělal, ale thedy když ano
  1379.  \item $\text{Set, Cat i TM}$ mají svůj vlastní formalizmus
  1380.  \item v $\lambda$-calculu je i lennost
  1381.  \item musíš mít překlad mezi externím a interním podnětem
  1382.  \item můžeš si dovolit i chybu
  1383.  \item co z toho máš
  1384.  \item je to centrální
  1385.  \item nech se vést \TeX em
  1386.  \item musíš tam mít ten engine tovřící věty, jako má Adámek
  1387.  \item někdy to není ono
  1388.  \item odpočiň si od toho
  1389.  \item není stejné, když se to naměří i nenaměří
  1390.  \item Shelah takto nefunguje
  1391.  \item musíš mít cíle
  1392.  \item a proč ne {\sc To} ?
  1393.  \item nevylít dítě i s vaničkou
  1394.  \item je vždycky možnost
  1395.  \item odpusť si to a zapomeň
  1396.  \item něco tam za tím je
  1397.  \item někdy je to fajn když to tam není
  1398.  \item když jde všechno dobře, skončíš s platnou trivialitou
  1399.  \item víc do toho
  1400.  \item nevyvedeš to z rovnováhy
  1401.  \item nech si síly na pak
  1402.  \item překlopit se na tu správnou starnu
  1403.  \item je to lehké
  1404.  \item musíš opravovat chyby v hlavě
  1405.  \item je to kouzelné
  1406.  \item kazíš si to někdy sám
  1407.  \item nehledej to vedení a pocit {\sc Daleko}
  1408.  \item když to co tam očekáváš tam taky je
  1409.  \item víš to (modelové kategorie)
  1410.  \item Riemannova postupka v základech matematiky
  1411.  \item v hlavě musí být všechno vyvážené
  1412.  \item nejčtenější v těchto principech je jejich konec
  1413.  \item učíš se pomaleji, než by to šlo
  1414.  \item nauč se odpovídat na svoje vlastní otázky
  1415.  \item nech to doklapnout Bohovi
  1416.  \item není něco za tím ?
  1417.  \item vždycky to nakeonec najdeš
  1418.  \item to je krása, když si vzpomeneš
  1419.  \item čím blíž to u toho máš, tím líp a snadněji
  1420.  \item {\sc To kouzelné}
  1421.  \item dej si tam kousek toho svýho (a bude to kouzelné)
  1422.  \item nic víc za tím není
  1423.  \item může tam být malý skok v myšlence, ale jen korektní
  1424.  \item jednou toho musíš zanechat
  1425.  \item čisto v tvé hlavě
  1426.  \item je tam toho tolik, kolik si dovolíš
  1427.  \item nic tam není, a to je to nejdůležitější
  1428.  \item je tam to místečko bezpečí v Tvé halvě
  1429.  \item \hrule
  1430.  \item zastav se a udělej tlustou čáru za minulostí
  1431.  \item nic takového tam nemáš
  1432.  \item až vyčistíš všechny kouty, bude tam líp
  1433.  \item po překonání překážky je to snadné
  1434.  \item priority řídí svět
  1435.  \item máš v hlavě něco vzácného, na co nesmíš sahat
  1436.  \item vrať se k tomu, co Ti jde
  1437.  \item (smutný princip) po životě tam musí být mechanismus, jak dále
  1438.  \item je to tam čisté až na dno
  1439.  \item navazuje to na sebe
  1440.  \item uhýbáš tak dlouho, dokud to jde
  1441.  \item čistota a čestnost v myšlení
  1442.  \item ultimátní a nejzazší myšlenka
  1443.  \item jestli bys chtěl, aby se ten čin opakoval
  1444.  \item propojenost hranic (času a prosotru, i u Vesmíru)
  1445.  \item co je teď správné a v Tvé paměti
  1446.  \item vždycky je možnost
  1447.  \item tento svět nemůže být celý náhoda
  1448.  \item co je na tom vzácného a dobrého
  1449.  \item nějaký mechanismus tam být musí nejdříve
  1450.  \item někdy je lepší udělat krok zpět
  1451.  \item je esence života princip ?
  1452.  \item nikdy nervi nic násilím
  1453.  \item proč si pamatuješ jen málo principů ?
  1454.  \item okolnosti nejsou Tvoje vina
  1455.  \item restart mozku nebyl dobrý pro budoucnost
  1456.  \item nic není podivnějšího, než když není správné Tvoje vědomí
  1457.  \item úplný vnitřní klid je důležitý
  1458.  \item za Tvým myšlením může být ještě něco lepšího
  1459.  \item smrt je jen splacením dluhu za život
  1460.  \item má to společného jen čisté a abstraktní objekty
  1461.  \item abys tomu Ty rozuměl
  1462.  \item jak vydržet se sebou a všema znalostma
  1463.  \item zaměnit $\mathbb{R}$ na střední za $\mathbb{R}$ na vysoké
  1464.  \item maximální míra štěstí, které zažíváš, je jen na Tobě
  1465.  \item odstraň slepé místo ze své mysli
  1466.  \item který princip Tam byl dřív ?
  1467.  \item vždycky to může být horší či lepší
  1468.  \item eliminovat pocit viny
  1469.  \item citlivost k sobě
  1470.  \item lokalizace
  1471.  \item s tím ringem už nejde víc udělat
  1472.  \item udělat někdy i korektní zkratku
  1473.  \item neřešit opakovaně konečné bijekce
  1474.  \item množství štěstí je jen na Tobě
  1475.  \item formule a (vs.) kategorie
  1476.  \item nevyskakovat ze systému
  1477.  \item jako by to bylo
  1478.  \item ultimátní princip je, že ultimátní princip neexistuje
  1479.  \item tělo vs. šablona
  1480.  \item centrální postoj ( Rosický )
  1481.  \item jemnost při čtení Shelaha
  1482.  \item vylívací princip je dost silný
  1483.  \item kde a s jak silným Bohem se cítíš bezpečně--Bohů je moc
  1484.  \item ne hned první psychicky namáhavou činnost, co Tě napadne
  1485.  \item musíš si vybrat, čeho je v Tvé mysli dost a čeho málo ...
  1486.  \item to není Tvoje povinnost to řešit, za to nemůžeš Ty
  1487.  \item zrychlit a nastavit zkratky v myšlení
  1488.  \item vyměňování něco za něco je omezené a proto je něco nesměnitelné
  1489.  \item co je težší: zapomenout všechno nebo vzopemnout si na všechno
  1490.  \item může to být horší či lepší
  1491.  \item vrať se krok zpět
  1492.  \item sám se sebou bez knih a ve své mysli
  1493.  \item musíš okolnosti a knihy od Shelaha přizpůsobit svému myšlení
  1494.  \item ne všechno je tak, jak má být
  1495.  \item the {\sc Top} decission is up to you
  1496.  \item někdy je lepší aspoň něco pominout a neřešit
  1497.  \item nesmí Tě limitovat ani lokálnost
  1498.  \item samo a detailně
  1499.  \item je to krásné, když To je
  1500.  \item je to na Tobě, co se tam dole stane
  1501.  \item musí to být uplně čisté
  1502.  \item musí tam být v Tobě to pravé
  1503.  \item proti něčemu se nedá bojovat
  1504.  \item buď k sobě ctlivý
  1505.  \item nesmíš si tu krásu nechat vzít zbytečným dumáním
  1506.  \item k Tvému {\sc Já} už v tomto světě nejde skoro nic přidat ...
  1507.  \item musíš to uělat tak, aby to šlo a bylo to zvládnutelné
  1508.  \item buďto to jde nebo ne
  1509.  \item to je To, co Ti dovoluje přečíst libovolný nový úsek (matematikého) textu
  1510.  \item odvaha opustit to známé v hlevě
  1511.  \item musí to zaklapnout
  1512.  \item nakonec je to tam všechno
  1513.  \item samo a detailně
  1514.  \item je to krásné, když to tam je
  1515.  \item nemůžeš vše, raději ustup krok zpět
  1516.  \item co si pamatuješ před tímto životem, to skvělé co Ti šlo a co ne
  1517.  \item už ta data tam máš
  1518.  \item to {\sc Krásné}
  1519.  \item můžeš {\sc To} udělat
  1520.  \item úplnost může být nepříjemná (a stronger God)
  1521.  \item neomezovat se jen na Ring
  1522.  \item manifolds a tensory na nich jsou jen reálná čísla
  1523.  \item jak je to konkrétně je jedno
  1524.  \item opusť to, co nevyhovuje
  1525.  \item některé hranice jsou nepřekročitelné
  1526.  \item výkyvy jsou podstatou života
  1527.  \item nezapomeň, že se Ti může podařit dosáhnout svého cíle
  1528.  \item to je ekvivalentní - Shelah to říká
  1529.  \item někdy to není jednodušší
  1530.  \item to (ne)můžeš zapomenout
  1531.  \item jak dlouho se dá imitovat konec hry ?
  1532.  \item kolik úrovní má život po životě ?
  1533.  \item všechno je triviální
  1534.  \item překrývání vrstvami mysli
  1535.  \item žádné zprávy dobré zprávy
  1536.  \item někdy to není jednodušší
  1537.  \item to ostré a rychlé najednou (Rosický)
  1538.  \item co se tam dá dřív, to tam je
  1539.  \item vyměnit to za to stejné
  1540.  \item něco tam být musí (Oči)
  1541.  \item Zkratky
  1542.  \item varování (v životě)
  1543.  \item to vzácné {\sc Tam}
  1544.  \item mimo Tvoji mysl není nic lepšího, snad jen esence, Shelah či Bůh
  1545.  \item nic není náhoda (neexistuje) vs. hierarchie {\sc Bohů }
  1546.   \item opakovat princip
  1547.   \item obměny forcingu -- variations of forcing ?
  1548.   \item smrt není jen hra
  1549.   \item výčitky vs. kvantum mechanics -- na kolik to je % ?
  1550.   \item okraje papíru jsou dané
  1551.   \item na smrt a na konec se těšíš, něco mystického Tě čeká
  1552.   \item to málo co tam dáš nestačí Shelah
  1553.   \item to je spravedlnost, že ses narodil
  1554.   \item principy ulehčují bytí
  1555.   \item zapomeň na to staré
  1556.   \item zkomprimované šachy = vymstí se Ti to
  1557.   \item někdy to tam nemáš - přestaneš to tam mít
  1558.   \item je toho tam dost ?
  1559.   \item podávání objektů
  1560.   \item paměť a pozornost
  1561.   \item pomysli na poslání
  1562.   \item najednou
  1563.   \item čím více symbolů prostřelíš, tím budeš šťastnější
  1564.   \item až nadno prostřelit ty symboly, musíš jít od nich dál
  1565.   \item skákat z jednoho na druhé je fajn
  1566.   \item musíš mít nadhled
  1567.   \item za důkazem k prozkoumání nic není
  1568.   \item když to má smysl, tak to na sebe aplikuj
  1569.   \item nauč se vytvářet věty nebo i definice sám
  1570.   \item zkratky a ekvivalence jsou důležité
  1571.   \item přemýšlej lokálněji
  1572.   \item nemůžeš tam mít obě
  1573.   \item samostatná jednotka je tělo
  1574.   \item v jaké formě to hledat
  1575.   \item je Ty jsi svoje brzda
  1576.   \item nesmí Ti to zkazit pohodu
  1577.   \item jenom to překlapnout do správna
  1578.   \item přivést ten krajní bod v myšlení k dokonalosti
  1579.   \item stírá se rozíl mezi myšleným a napsaným
  1580.   \item je důležité tam vtěsnat ty symboly
  1581.   \item dokonalost neexistuje
  1582.   \item mohlo by to být horší i lepší
  1583.   \item can you meet your requirements
  1584.   \item kdybych věděl co je za co
  1585.   \item je to dokončené
  1586.   \item to už je ono
  1587.   \item nestačí jen mít námitky, musíš tvořit
  1588.   \item co nejkrajněji vylít
  1589.   \item to je nevyslovitelné co ( Rosický umí )
  1590.   \item zahodit to špatné z mysli
  1591.   \item Tvoje tolerance na pochopení materiálu je dost velká
  1592.   \item překládáš to do objektů a pak zase zpět do symbolů
  1593.   \item nesmí Ti nic zkazit náladu a dobrý pocit
  1594.   \item this is the Rule
  1595.   \item musíš tam dát to mezipatro v mysli - odvolání na vyšší instanci v hlavě ( Shelah )
  1596.   \item a ten zlý zbytek v hlavě dej pryč
  1597.   \item hierarchie priorit
  1598.   \item něco se mění hůř, něco líp
  1599.   \item měnit horší za lepší je lepší
  1600.   \item úplně to dosedlo
  1601.   \item co přesně je tam chybnéhho oproti ideálu ?
  1602.   \item je to pak o to hezčí, když ta jistota tam je
  1603.   \item ale jen kdybych věděl, že je to vyměněné To za To
  1604.   \item Tvůj stav paměti je stálý a ne nejlepší, ale lepší se
  1605.   \item jaké je to na druhé straně života
  1606.   \item nečti to jako bibli
  1607.   \item nejde to udělat i jinak a lépe ?
  1608.   \item ne jan tak povrchně
  1609.   \item princip je porád stejný
  1610.   \item objekty a principy jsou to, co Ti umožní pochopit neznámý a komplexní text
  1611.   \item to je dobrá vlastnost toho světa, že se nemusí měnit lepší za lepší
  1612.   \item někdy se zbytečně bojíš
  1613.   \item priority jsou často splněny
  1614.   \item je tam to pravidlo, že ses narodil a narodíš Ty
  1615.   \item slev z preciznosti
  1616.   \item najednou tam ty kategorie máš v hlavě
  1617.   \item kategorie jsou konkrétní, přirozené a korektní
  1618.   \item za jednou smrtí může být několik ( i nekonečně mnoho ) dalších
  1619.   \item $\emptyset$ je množinová analogie asociativity a identity
  1620.   v kategoriích
  1621.   \item hodně ze Shelaha je o kontinuu: $\mathfrak c$
  1622.   \item někdy se vytvoří nový text tím, že se omezuje pole působnosti
  1623.   \item predicate is for free ( Shelah )
  1624.   \item křivky na varietě jdou samy od sebe tím správným směrem
  1625.   \item hledej na smrti i příznivé aspekty
  1626.   \item už to, že konec existuje je dobré
  1627.   \item co je to ekvivalence ?
  1628.   \item musí tam být princip po smrti, který umožní nový začátek
  1629.   \item i to nejhorší z jiných levelů je zde v tomto světě
  1630.   \item snažit se obnovit svůj stav mysli
  1631.   \item musíš mít rád své tělo
  1632.   \item v Tvé hlavě musí přibýt něco nového (jako má Shelah ve své)
  1633.   \item může se to opakovat (principy)
  1634.   \item nic Ti nesmí zkazit radost
  1635.   \item dělej to co chceš
  1636.   \item se to tam stane samo
  1637.   \item když se s tím nedá nic dělat, tak se s tím netrap
  1638.   \item všechno má vysvětlení, kromě Tohoto
  1639.   \item
  1640.   \item chyba je někdy v Tobě, když se ptáš
  1641.   \item to správné
  1642.   \item ... nebo i lokální
  1643.   \item {\sc Mystický pocit} si uchovávej a znovuprožívej
  1644.  \item Shelah je páka na Forcing
  1645.  \item ten pocit matematika ( Makkai a černá kočka v tmavé místnosti )
  1646.  \item nesmíš tam dát to nesprávné
  1647.  \item soft symptoms
  1648.  \item ten jediný princip se neztratí
  1649.  \item na všechno je slovo
  1650.  \item To je ten princip
  1651.  \item to je život
  1652.  \item nesmíš chtít všechno
  1653.  \item musí to být teď a tady v mysli
  1654.  \item tady a teď je to {\sc Nej}
  1655.  \item musíš toho teď využít
  1656.  \item přehnaný zoom
  1657.  \item silnější princip je horší
  1658.  \item něco Ti tam chybí
  1659.  \item svět je plný ekvivalencí
  1660.  \item když to dělá to, co má ( \XeLaTeX\ )
  1661.  \item ultimátní princip
  1662.  \item nesmí Ti nic zkazit radost
  1663.  \item objekty prozkoumat až na dno
  1664.  \item nic nemůžeš zapomenout
  1665.  \item abstrahovat od generování
  1666.  \item co si z pozadí vezmeš do tohoto života s sebou ?
  1667.  \item ten jeden pocit
  1668.  \item další dimenze přemýšlení a uvažování ( Shelah )
  1669.  \item bez toho se obejdeš
  1670.  \item ten jediný princip
  1671.  \item na všechno je slovo
  1672.  \item to je ten princip
  1673.  \item to už je ono
  1674.  \item čemu můžeš pomoci nejvíc, to udělej
  1675.  \item můžeš být chytřejší než ZFC o krok
  1676.  \item nemusíš vše přepočítávat na objekty, intuice může být lepší
  1677.  \item to tak vyjde
  1678.  \item to je pravda
  1679.  \item to je Tvůj cíl
  1680.  \item co je možné v tomto světě
  1681.  \item po konci života je jenom Jedno
  1682.  \item to tam není
  1683.  \item New York letadlem
  1684.  \item střední cesta
  1685.  \item co je tam v Tvé mysli dřív
  1686.  \item dohoda není možná -- game theory
  1687.  \item obrátit to tělo
  1688.  \item nejsilnější Bůh není
  1689.  \item dej tam všechny axiomy, co Tě napadnou
  1690.  \item v Jednu je i něco dobrého
  1691.  \item asymetrie Facebooku v přidávání přátel
  1692.  \item Bůh v mezerách je slabší
  1693.  \item vždy je něco silnějšího
  1694.  \item někdy si s tím musíš vystačit
  1695.  \item je to zastrčené
  1696.  \item je to naopak
  1697.  \item na druhé straně
  1698.  \item vylít se je nejbližší tomu zapomenutému
  1699.  \item vybrat to snadné
  1700.  \item jde to bez úsilí
  1701.  \item z které strany ta schizofrenie je
  1702.  \item něco po smrti je, aby ten následný život šel
  1703.  \item vše má řešení
  1704.  \item musíš tím postupem projít sám
  1705.  \item okolí šipky v hlavě
  1706.  \item co nejhoršího i nejlepšího se může stát
  1707.  \item něco se nesmí nikdy porušit
  1708.  \item to není formalita
  1709.  \item jak moc jsi Bohu pomohl se svojí existencí
  1710.  \item čím dýl držíš stopu Boha, tím líp
  1711.  \item souhlas s jitím  na tento svět
  1712.  \item pevný bod je náhoda
  1713.  \item něco tam musí být s úsilím
  1714.  \item musí ten Forcing doklapnout
  1715.  \item užívej si života i forcingu
  1716.  \item je to škoda nevyužít
  1717.  \item žádný problém není
  1718.  \item kožní a Papeterie jsou bez psychózy
  1719.  \item zabývat se tím lepším
  1720.  \item nic není divné
  1721.  \item ustup z toho
  1722.  \item je to jenom slovo ze snu ( na i )
  1723.  \item je to tam jak to je
  1724.  \item odkrýt data z aloritmů
  1725.  \item prolomit tu tupost
  1726.  \item nic netrvá věčně
  1727.  \item forcing musí doklapnout
  1728.  \item tolerance Shelahovych knih
  1729.  \item porušní konečnosti je nejsilnější Bůh a princip
  1730.  \item nevalit myslí
  1731.  \item netrap se tím
  1732.  \item konsitence není celá pravdivost
  1733.  \item nadsázka
  1734.  \item lenost
  1735.  \item klid
  1736.  \item princip znovu
  1737.  \item nebrat všechno je někdy lepší
  1738.  \item jak je to přirozené tp()
  1739.  \item God is imperfect
  1740.  \item peníze jsou záměné
  1741.  \item "ihodkai ihleko thiruekai hachopita"
  1742.  \item je to tam samo od sebe ten ring
  1743.  \item podáváš si ringy
  1744.  \item dohoda po životě
  1745.  \item za tím u Slunce
  1746.  \item geny mohou být i trest i odměna
  1747.  \item čím dýl držíš stopu Boha tím líp
  1748.  \item souhlas s jitím na tento svět
  1749.  \item reflexe může být pokaždé jiná
  1750.  \item pevný bod je náhoda
  1751.  \item něco tam musí být s úsilím
  1752.  \item něco se nesmí porušit
  1753.  \item to není formalita
  1754.  \item čím víc uznáš svoji nemoc tím to bude lepší
  1755.  \item který Bůh je nejsilnější
  1756.  \item dvě cesty
  1757.  \item uplatnit to vědomosti
  1758.  \item pravidla se dělí na překročitelná a nepřekročitelná
  1759.  \item naplánovat rozestupy (kroky) v hlavě
  1760.  \item actual account rozřešení
  1761.  \item Bůh Úplně
  1762.  \item soutěž Bohů
  1763.  \item nejsilnější Bůh je, že není nejsilnější Bůh
  1764.  \item nikdo Ti nesmí nic diktovat, ani Tvoje hlasy v hlavě ne
  1765.  \item soutěž Dobra a Zla
  1766.  \item je to tam za Matematikou ten pocit co platí
  1767.  \item kam už nejde uhnout Bohu
  1768.  \item co když to protivník uhádne ?
  1769.  \item soutěž svých možností
  1770.  \item je to tak lepší, když si nakonec vzpomeneš
  1771.  \item kategorie jsou založeny na principu: držet se stopy Boha co nejdéle
  1772.  \item když si o to říkáš, tak to dostaneš
  1773.  \item nejsilnější Bůh je, že žádný není nejsilnější
  1774.  \item vedle každého je další
  1775.  \item spor je silný
  1776.  \item buď na sebe hodný v kategoriích
  1777.  \item když to nesedí, tak to nejde na sebe napasovat
  1778.  \item abys to nezapoměl
  1779.  \item poslední instance Boha
  1780.  \item vyplnit automaticky nejasná místa v mysli
  1781.  \item je to nevyvážené
  1782.  \item musí to být {\sc Embedding}
  1783.  \item nejsilnější princip je to, co naměřijou všichni
  1784.  \item sbalit a rozbalit mysl rychle
  1785.  \item odpoutat se od trivialit
  1786.  \item necítit se provinile
  1787.  \item ten silnější Bůh pro méně silného je závažnější
  1788.  \item Shelah: chceš vidět, co se stane potom ?
  1789.  \item to je někdy chyba v Tobě
  1790.  \item všechno
  1791.  \item mění se to (Shelah)
  1792.  \item velké a malé
  1793.  \item Ty to můžeš mít také: Rosického a Shelaha
  1794.  \item je to podobné, ale ne stejné
  1795.  \item jak se umíš vypořádat s neznámým
  1796.  \item principy pohromadě
  1797.  \item Bůh místa, teď a tady
  1798.  \item kumulace Bohů
  1799.  \item něco, co fungovat musí
  1800.  \item sám se sebou spokojen
  1801.  \item za tím už nic není, a to je ten nejsilnější princip
  1802.  \item Balaton, mamka
  1803.  \item Bůh míň
  1804.  \item to už tam teď je: ten nejvyšší existující Bůh
  1805.  \item po smrti je to označeno ta cesta tam a zpět
  1806.  \item všichni Bohové jsou ekvivalentní od jistého, který je silnější než oni
  1807.  \item pevný bod je dobro
  1808.  \item vidění je nejvyšší princip
  1809.  \item naučit se přeskakovat ( Rosický )
  1810.  \item nemusí to tak být mononatural transformation se neojevuje v podmínce napravo
  1811.  \item klid a mír
  1812.  \item to tam je a musí být
  1813.  \item to by nebylo lepší, kdybys věděl, kdy zemřeš
  1814.  \item něco malého, jako obrátka v mysli i je
  1815.  \item jemnost v kategoriích i ve statistice
  1816.  \item nesmí Ti nic zkazit radost
  1817.  \item to musíš
  1818.  \item co teda chceš
  1819.  \item nastaveno konstantní zlepšování
  1820.  \item nedržet všechno v mysli zaráz
  1821.  \item teď a tady
  1822.  \item zapomínání je snadné, ale ne nezbytné
  1823.  \item blízkost myšlenek
  1824.  \item musíš mít míru věcí
  1825.  \item ten {\bf pocit} nesmíš ztratit
  1826.  \item na své otázky si můžeš odpovídat sám
  1827.  \item je to čisté
  1828.  \item i jiní to tak mají, že se vytvorří do tohoto světa  ( Radka )
  1829.  \item to musí dosednout
  1830.  \item vždycky je možnost
  1831.  \item není to tak málo, to nic v Tvé hlavě
  1832.  \item pominout to nevhodné
  1833.  \item když si na to nevzpomeneš teď, tak potom už ano
  1834.  \item prostřelit symboly bývá těžké
  1835.  \item celé
  1836.  \item celek v Tvé mysli, s ním musíš žít
  1837.  \item to neřeším
  1838.  \item ta jemnost proč jsi dostal schizofrenii
  1839.  \item smrtí bude vykonaná práce
  1840.  \item přiskočí Bůh do života ( na mamku znova )
  1841.  \item nedokonalost je dokonalá
  1842.  \item překročit tu mez, co to tam Rosický dělá
  1843.  \item část toho jde rychle a část je zapeklitá
  1844.  \item půjdeš tam, kam maminka a těšíš se
  1845.  \item o ten pocit nesmíš přijít
  1846.  \item najde se to samo
  1847.  \item prásknul na sebe ( {\sc P=Np} )
  1848.  \item najde se to samo
  1849.  \item nějak to je a netrap se s tím
  1850.  \item kovariantně
  1851.  \item zaobalit to
  1852.  \item okraje papíru a základy a obrysy myšlenek
  1853.  \item to z čeho se vychází a o čem se mluví
  1854.  \item nesmí to být jen tak napůl
  1855.  \item hlubiny Tvé mysli
  1856.  \item simulace není zadarmo
  1857.  \item ten vzácný okamžik v Tvé mysli
  1858.  \item za tímto Bohem už žádný není, jen prázdno
  1859.  \item je to nasycené a syrové
  1860.  \item ochudíš se
  1861.  \item uvnitř dění studia
  1862.  \item odznova
  1863.  \item ještě máš něco před sebou
  1864.  \item bude to lepší
  1865.  \item to tak není
  1866.  \item schodek v mysli
  1867.  \item Rosický necyklí
  1868.  \item there are no geniuses down the way there
  1869.  
  1870.  
  1871.  \item {\pis
  1872. \baselineskip = 1.5cm
  1873. Tápášž
  1874. \par}
  1875.  \item můžeš začít znovu po konci, to je to nej
  1876.  \item ta jemnost před koncem je
  1877.  \item ještě trochu teplé, než příjde studená nakonec
  1878.  \item všechny malé a korektní otázky mají zajímavou odpověď nebo se neví
  1879.  \item v podstatě není žádný problém
  1880.  \item nesmíš přijít o ten pocit
  1881.  \item je to náhodné
  1882.  \item v důkazu se nepředpokládá chyba
  1883.  \item okraje Rosického myšlení
  1884.  \item cílem kategorií je postavit se do centra
  1885.  \item na tom nic nenadženeš
  1886.  \item vydestilovaný obsah
  1887.  \item to je možné, že s tím nesouhalsíš
  1888.  \item všechno je tam zaráz
  1889.  \item chyba je v Tobě definitivně
  1890.  \item to nejzákladnější the ( most basic ) je to nejpřesvědčivější
  1891.  \item cítíš ten nesmírný prostor ve své hlavě ( Rosický, Shelah, Friedman )
  1892.  \item nový začátek života
  1893.  \item reboot je drahý ( souvisí s předchozím bodem )
  1894.  \item nic takového tam není, stavět se myslí do centra
  1895.  \item jestli tam někde má být chyba, tak je to v tomto
  1896.  \item paměť je příznivá
  1897.  \item musíš si vystačit sám
  1898.  \item to je to nejlepší, co po smtri je
  1899.  \item pořádněji už to nejde
  1900.  \item za tím už nic není
  1901.  \item důkazy jsou zkratky v tom, co platí
  1902.  \item něčím to je kompenzované
  1903.  \item buďto to platí, nebo ne
  1904.  \item když je to v Tvé hlavě
  1905.  \item na pilu se nemá tlačit ( Rosický )
  1906.  \item pohoda je, když je podíváš na to, kde to bylo napsané
  1907.  \item zopakovaný život i smrt od Brontosauru
  1908.  \item zbláznit se je těžké, ale ne nemožné
  1909.  \item všichni jsou z jedné duše, přestože žijí zároveň
  1910.  \item máš to stejné, jako někdo jiný
  1911.  \item sbalit to
  1912.  \item osamostatni se
  1913.  \item malost
  1914.  \item na druhé straně po životě To je
  1915.  \item Turbová Amerika Papírnictví
  1916.  \item you can always aks why--therefore {\sc P}$\neq${\sc Np} is not provable
  1917.  \item samo se to tam udělá
  1918.  \item je to tam samo
  1919.  \item ten spokojený pocit
  1920.  \item vždycky to má řešení
  1921.  \item slepé místo
  1922.  \item dno
  1923.  \item to nechceš
  1924.  \item není to ve sporu
  1925.  \item mysl po Kirkíí ve snu hledá možnosti a skulinky
  1926.  \item tak si vyhov
  1927.  \item to je právě ta chyba
  1928.  \item naopak od bez újmy na obecnosti
  1929.  \item náplň
  1930.  \item uniknout tomu
  1931.  \item barevnost života
  1932.  \item dobrá rada
  1933.  \item to je ten princip
  1934.  \item nekaz si radost
  1935.  \item a ta radost, když to najdeš
  1936.  \item přesnost ve vyjadřování, " asi "
  1937.  \item je to tam, nebo to tam není
  1938.  \item jsi dobrý už teď
  1939.  \item aby Ti bylo příjemě
  1940.  \item některé principy jsou hrubé
  1941.  \item co to má dělat
  1942.  \item až už není další proč
  1943.  \item nesmíš o to přijít
  1944.  \item seš tam boháč
  1945.  \item celý život je o rozhodnutích
  1946.  \item Shelah je pořád stejný ve variacích
  1947.  \item a domyslet si detaily
  1948.  \item Tys to jen kopíroval a měnil ty .lax soubory, proto se neprojevily změny
  1949.  \item nesmí Ti to kvůli tomu uniknout
  1950.  \item překryv v hlavě
  1951.  \item ke kterému Bohu se upínáš nejvíc ?
  1952.  \item i Rosický někdy cyklí
  1953.  \item pořád lepší nemít 4400 než být slepý
  1954.  \item dělej, co opravdu chceš
  1955.  \item $\mathbb N$ se nevysvětluje
  1956.  \item nedokonalosti kachliček zlobí
  1957.  \item zbytek infa v mozku
  1958.  \item tolik možností po konci
  1959.  \item to na tom nezávisí
  1960.  \item mystický pocit
  1961.  \item je to lepší přečíst napůl, než vůbec
  1962.  \item sen o tabulce a zaškrtnutí {\sc P}$\neq$ {\sc Np}, uvozovky
  1963.  \item sample vs. population
  1964.  \item co sis tam sám udělal, to tam máš
  1965.  \item kvantová mechanika a poznámky na konci knihy
  1966.  \item když nevíš, čeho je to podmnožina, tak to bude asi nějaký ordinál $\alpha$
  1967.  \item ono Ti to časem dojde
  1968.  \item Shelah, je to furt stejné
  1969.  \item proč to chceš, škodí Ti to
  1970.  \item Zero $0$ princip
  1971.  \item {\sc P=Pspace} nemusíš se dočkat
  1972.  \item naráz se mysl zlepší
  1973.  \item nesmíš vynechat žádný princip
  1974.  \item nesmí Ti to kvůli tomu uniknout
  1975.  \item i upřímnosti musí být někdy dost
  1976.  \item musíš to zachránit
  1977.  \item někdy je lepší neříct to nahlas
  1978.  \item nic neošidíš
  1979.  \item s principy se roztrhl pytel
  1980.  \item dividing line - život a smrt, to je ten nejsilnější princip
  1981.  \item to si tam dali lidé
  1982.  \item až už život nebudeš potřebovat, tak skončí
  1983.  \item plnost v mysli
  1984.  \item k plnému zdraví
  1985.  \item je to v Tobě
  1986.  \item přemýšlej
  1987.  \item essence - dividing lines
  1988.  \item kódování do mysli
  1989.  \item můžeš si odpovídat sám
  1990.  \item Rosický je měkký
  1991.  \item je to tady a teď
  1992.  \item Forcing - je tam všechno co potřebuješ
  1993.  \item zapsané myšlenky jsou víc než zapsaný Laxman
  1994.  \item jakou funkci to optimalizuješ
  1995.  \item dostat ten princip objektů dál do fungování
  1996.  \item je to tady a teď
  1997.  \item Forcing - máš tam všechno, co potřebuješ
  1998.  \item některé principy se opkaují
  1999.  \item oficiální škola je kontraproduktivní
  2000.  \item jenom něco tam Shelah dá
  2001.  \item opakovaně používat součin a kolimitu
  2002.  \item kdy se dopočítáš
  2003.  \item tolerovat rozchod s realitou
  2004.  \item co bylo před a co potom v hlavě se plete
  2005.  \item jen 2 matrace a nahá těla
  2006.  \item zkoušku podstupuješ každý den i při návštěvě lékaře
  2007.  \item pohoda s monitorem a noťasem
  2008.  \item mít tak kancelář
  2009.  \item někdy narazíš při uvažování na hranici
  2010.  \item konstantní snaha Shelaha
  2011.  \item a na počátku byl prázdný řetězec
  2012.  \item seznam se s tím teď
  2013.  \item dáš tam ty 2-buňky všemi možnými způsoby a nějaké zvolíš a uvažuješ o tom
  2014.  \item obecná $2$Cat versus archetypal $2$Cat Cat
  2015.  \item dej si tam něco nepřekročitelné na začátku života do hlavy a s tím pak hospodař
  2016.  \item vzpomněl sis
  2017.  \item Bůh u kterého se ukáže zastavení Turingova Stroje je jeden z nejvyšších
  2018.  \item to už je ono
  2019.  \item dotkl ses mystickým pocitem
  2020.  \item prázdno v hlavě
  2021.  \item vidět $V$ znamená vidět standardní model $S000$
  2022.  \item smysl pro detail
  2023.  \item prázdno v hlavě a okamžitá připravenost je to nej
  2024.  \item nikdy neztrácej naději, že si vzpomeneš
  2025.  \item jeden z nejdůležitějších principů: nesmíš ten mystický pocit ztratit
  2026.  \item ten Bůh už tam není
  2027.  \item už sis dost užil života
  2028.  \item paragrafy a podmínky Shelaha
  2029.  \item nejhorší je když jsi zranitelný a bojíš se
  2030.  \item přetvářet Magidora do slov: weakly compact and tree
  2031.  \item musíš si na Rosického zvyknout
  2032.  \item kouzlo je v Tvé hlavě
  2033.  \item zapomíná se snadno
  2034.  \item dokonalost Tvé osoby není úplná, jen jak jsi měl trpělivost s jejím tvořením
  2035.  \item lenost to zapsat
  2036.  \item orientace na člověka, to co tam je oproti tomu Tvému
  2037.  \item je Ti smutno po krabičce od babičky, ale seženeš novou
  2038.  \item citlivost
  2039.  \item nepopřitelné
  2040.  \item seš proti svému Bohu
  2041.  \item fotografická paměť je nechtěná
  2042.  \item Bohové jsou rozmístěni jako Cantorovo diskontinuum
  2043.  \item v (přes)příštím životě jsi skutečný nad--Shelah
  2044.  \item vylívá se to, jen Tvoje intuice je stabilní
  2045.  \item co je tam dřív: to je princip života
  2046.  \item uvědomuješ si svůj omyl
  2047.  \item uvolnění Shelah
  2048.  \item vyznání úcty
  2049.  \item není něco špatně s Tvojí hlavou
  2050.  \item přišels na princip života: mlha a to své a zavřené oči
  2051.  \item nemáš libovůli
  2052.  \item zvyknutí na pochopení krátkých úryvků je něco za tím
  2053.  \item mnohost všeho
  2054.  \item Riehl a Kan extension
  2055.  \item krabička se závažím se dá naštěstí spravit a nahradit
  2056.  \item nikam nepsěchej
  2057.  \item letadlo nízko do New Yorku do papírnictví
  2058.  \item našel jsem řešení, jak si vynahradit krabičku
  2059.  \item mě se na tom příkladě hned něco nezdálo
  2060.  \item byl jsem chytřejší než paní za přepážkou
  2061.  \item radost z konce práce
  2062.  \item můžeš se narodit znovu
  2063.  \item už se teď musíš snažit sám
  2064.  \item je to zařízeno chytře, že jsi sám doma v pokoji
  2065.  \item kvantový Bůh
  2066.  \item nevyváženost mysli
  2067.  \item jak je Tvoje myšlení efektivní
  2068.  \item to není Tvoje starost - co Polák říká
  2069.  \item pevné meze světa
  2070.  \item vždy je tam další level Shelaha
  2071.  \item tam kde to jde, tam postupuj
  2072.  \item to co je normální a v centru
  2073.  \item jak funguje Shelah
  2074.  \item to se pořád opakuje
  2075.  \item jsem obeznámen
  2076.  \item princip toho co je věta je velmi obecný
  2077.  \item jak je zařízeno, že jsi sám doma a klíč zevnitř ( a pravý úhel v Bozích )
  2078.  \item každý má svého osobního Boha, který ho chrání
  2079.  \item ta radost, když si vzpomeneš
  2080.  \item smrt Tě vyléčí
  2081.  \item o kolik se změní váha mobilu zapsáním jednoho písmenka ?
  2082.  \item peníze jsou dobro, když jsou a zlo, když nejsou
  2083.  \item přebíjení krátkých principů
  2084.  \item nechtít více, než je správné
  2085.  \item To
  2086.  \item volnost v uvažování
  2087.  \item po smrti bude to, na co věříš teď
  2088.  \item jednoslovopřescelýřádeksenedělí
  2089.  \item když si to zapíšeš, tak to nezapomeneš
  2090.  \item sbal kokužel do jedné buňky
  2091.  \item jde to samo bez úsilí
  2092.  \item Bardo
  2093.  \item česká a anglická slova jsou navzájem daleko od bijekce
  2094.  \item některé principy jsou daleko od bijekce
  2095.  \item vše je zapsáno
  2096.  \item kvalita myšlení Rosického
  2097.  \item ta radost, když si vzpomeneš
  2098.  \item smrt Tě vyléčí
  2099.  \item there exists $a$, co to je ... ??
  2100.  \item někdy {\bf už} musíš mít klid
  2101.  \item je to {\sc Úplně}
  2102.  \item když je něco podezřele speciální, tak to {\sc Zobecni}, viz. generalized nucleolus $\{u_i(x)\}_{i\in L}$ namísto excesů
  2103.  \item vždy lze začít od nuly
  2104.  \item někdy je lepší něco nechtíté
  2105.  \item
  2106.  \item
  2107.  \item
  2108.  \item
  2109.  \item
  2110.  \item
  2111.  \item
  2112.  \item
  2113.  \item
  2114.  \item
  2115.  \item
  2116.  \item
  2117.  \item
  2118.  \item
  2119.  \item
  2120.  \item
  2121.  \item
  2122.  \item
  2123.  \item
  2124.  \item
  2125.  \item
  2126.  \item
  2127.  \item
  2128.  \item
  2129.  \item
  2130.  \item
  2131.  \item
  2132.  \item
  2133.  \item
  2134.  \item
  2135.  \item
  2136.  \item
  2137.  \item
  2138.  \item
  2139.  \item
  2140.  \item
  2141.  \item
  2142.  \item
  2143.  \item
  2144.  \item
  2145.  \item
  2146.  \item
  2147.  \item
  2148.  
  2149.  \item FB je o tolik lepší, než seznamky o kolik je lepší reálné seznámení
  2150.  \item
  2151.  \item
  2152.  \item zde je všechno, co nevíš
  2153.  \item rozvinout každý princip do $100$ stránkového článku
  2154.  \item už pomalu slavíme $1000$-cí princip, zatím není jasné jaký bude,
  2155.        možná jako ten před tímto
  2156.  \item 2 krát stejný princip
  2157.  \item 2 krát stejný princip
  2158.  \item vždycky bude nějakým principem to, co zde není napsáno
  2159.  \item za tento princip už nic nebude napsáno, jen před něj
  2160.  \newpage
  2161.  \underline{motto:}{ technická část }\hfill{$\square$}
  2162.  \item co číst
  2163.  \item Makaninův a jiné (polo)Grupové algoritmy
  2164.  \item Pelerman
  2165.  \item Makkai
  2166.  \item Positelski
  2167.  \item Grupy
  2168.  \item Markovovy řetězce
  2169.  \item (Shelah's Categoricity Conjecture) Let $\cal K$ be an abstract elementary class. If $\cal K$ is categorcial in some $\lambda >\text{Hanf}(\cal K)$ then for every $\mu\geq\text{Hanf}(\cal K)$,
  2170.      $\cal K$ is categorical in $\mu$. Here $\text{Hanf}(\cal K)$ is
  2171.      $\beth_{(2^{2^{\text LS(\cal K)}})^+}.$
  2172.   \item býti souřadnicovou křivkou je nezávislé na chartu -- změní se i ten aktuální chart
  2173.   \item %     $\reflectbox{\textsf{G}}_{\!\underaccent{\tilde}{S}}^{\mkern-1mu\delta}(p, P) $
  2174.   \item $\Game^a $ %_{\underaccent{\tilde}{S}} $$
  2175.   \item
  2176.   \item R % $\reflectbox{\textsf{G}}_{\!\!\!\!\underaccent{\tilde}{S}}^{\mkern-1mu\delta}(p, P) $
  2177.   \item
  2178.   \item
  2179.   \item
  2180.   \item Hi.
  2181. Here, it is said that the ESTA property $E_N^0[f(Z(0))] = E[f(Z(0))]$ holds if and only if
  2182. the lack of bias condition (3.3.8) is satisfied.
  2183. This is verified from (3.3.7) as follows.
  2184. On the right hand side of (3.3.7),
  2185. $E[f(Z(0)) \lambda(0)] = E[f(Z(0)) E[\lambda(0) | Z(0)]] = \lambda E[f(Z(0))]$,
  2186. where (3.3.8) and $E[\lambda(0)] = \lambda$ are used in the second equality.
  2187.  
  2188.  
  2189. It does not mean (3.3.7) $\Longleftrightarrow$ (3.3.8).
  2190. It is said that the ESTA property  $E_N^0[f(Z(0))] = E[f(Z(0))] \Longleftrightarrow$ (3.3.8).
  2191. The reverse direction follows from the a.s. uniqueness of the conditional expectation.
  2192.  
  2193. Best,
  2194. Naoto
  2195.   \item
  2196.   \item Emily Riehl: Kan extensions
  2197.   \item
  2198.   \item
  2199.   \item
  2200.   \item
  2201.   \item
  2202.   \item
  2203.   \item
  2204.   \item
  2205.   \item
  2206.   \item
  2207.   \item
  2208.   \item
  2209.   \item
  2210.   \item
  2211.   \item
  2212.   \item
  2213.   \item
  2214.   \item
  2215.   \item
  2216.   \item
  2217.   \item
  2218.   \item
  2219.   \item
  2220.   \item
  2221.  
  2222.   \begin{tikzcd}
  2223.  A\arrow[dr,tail,harpoon,dashed] & B \\
  2224.  & D\arrow[d,tail,two heads ] \\
  2225.  & C
  2226.  \end{tikzcd}
  2227.  
  2228.  \newpage
  2229.  \underline{motto:}{ Tyto položky nejsou principy proto, a jen proto, že
  2230.  jsou nesplnitelné }\hfill{$\square$}
  2231.  
  2232.  \item jde aspoň něco z tohoto třeba jen částečně splnit?
  2233.  \item vědět, co udělat v následující době
  2234.  \item mít neomezeně financí
  2235.  \item procestovat svět, kam Tě to táhne
  2236.  \item mít {$\mathbb Tu$ } z rehabilitací
  2237.  \item vyřešit nějaký obtížný problém typu {\sc P=Np}
  2238.  \item napsat Knihu, ve které bude to nejlepší, co se do dané velikosti vejde
  2239.  \item nikdy moc nestrádat
  2240.  \item být psychicky dokonale fit
  2241.  \item být lepší než Shelah, Friedman a Rosický dohromady
  2242.  \item Přestavět Pflegrovu za 50 milionů korun
  2243. \end{enumerate}
  2244.  
  2245.  
  2246.  
  2247. \end{document}
  2248.  
Advertisement
Add Comment
Please, Sign In to add comment