Lemma: Nechť existují indexy i,j z N takové, že pro všechna k z N platí a_{i+k}=b_{j+k}. Potom je rozvoj a periodický, právě když je periodický rozvoj b. Dk: Podle definice periody má existovat p z N, pro které existuje index z takový, že pro všechnka y>z platí a_{y}=a_{y+p}. Nechť je rozvoj a perio...

Viz můj příspěvek; bez dalšího = třeba uvést souvislosti, jinak nerozumím. Zatímco matematická analýza se učí všude a souvislost množiny v daném prostoru je obecně známá, teorie grafů je oblast sice zajímavá, ale pro mě i jiné exotická, souvislost znaků nad abecedou (či co) není ani oblast zajímavá ...

Axiom výběru také vypadá jako trivialita, ale jeho důsledky vůbec triviální nejsou. Tvrzení mluví o iracionálních číslech a vůbec není triviální dokázat, že existence konkrétní posloupnosti číslic v nekonečném desetinném rozvoji není ve sporu s neperiodičností (tedy aspoň ne přímo). Tak axiom výběr...

Asi se nemýlím, pokud předpokládám, že tentýž problém řeší i Švédové a další a že by tudíž možná tato debata měla být na mezinárodní úrovni. To by v tom případě měl zjistit náš zahraniční výbor, to je přínosná poznámka. Ale soudím, že tato debata nepatří do této sekce, ale do sekce věnované konečné...

Problém asi bude v samotném schválení smluv, protože nejprve musíme získat post ministra zahraničí nebo prezidenta republiky, který smlouvy sjednává. Vypovědět smlouvy jen tak bez náhrady mi nepřipadá jako dobrá idea, ani si nemyslím, že tento názor zde někdo zastává. Samotná výpověď by byla v přípa...

Mezinárodní smlouvy jsou vypověditelné, ale 1) mezinárodní smlouvu musí schválit podle čl. 49 ústavy také senát, 2) vypovězení se děje způsobem, který smlouva předvídá (viz konec čtyřstránkového výtahu Bernské úmluvy v sekci Mezinárodní smlouvy); v tomto konkrétním případě nabývá výpověď účinnosti r...

V této sekci budiž diskutována opatření, která bude obsahovat novela autorského zákona v okamžiku, kdy ji budeme schopni prosadit. Obsáhlejší změny autorského práva vyžadující změny mezinárodních smluv se řeší jinde. Proto bude potřeba zjistit současný stav mezinárodního práva, v jejichž rámci bude ...

1. Ne. Původní teze zněla takto: Pro každou konečnou posloupnost číslic P existuje iracionální číslo I takové, že I obsahuje ve svém desetinném rozvoji souvislou posloupnost P. 2. vsetky iracionalne cisla maju neperiodicky rozvoj. z toho nie je problem dokazat, ze sa tam nachadza kazda konecna sekv...

Moje formulace (haha, moje ve smyslu referenčním) Dílo = objektivní vyjádření myšlenky nebo obecně stavu vědomí, které vznikne tvůrčím úsilím, které je z něho zjevně patrné. (Software by měl být upraven podle práva na vynálezy, protože tam nejde o vystižení myšlenky, ale o poskytnutí návodu, který p...

EDIT: Tento příspěvek zařazuji do samostatné diskuse o autorském právu, které máme za konečný cíl. V konečné fázi by autorský zákon vypadal v mém pojetí (věcně) takto: 1. autorovi a jeho dědicům přísluší osobnostní práva, jejich porušení je trestný čin (konkrétně přečin, například u vědecké práce), ...