Kategorie

Informatika 1 Internet 1 Matematika 2

Matematická konzistence II

(Toto je pokračování předchozího zápisku.)

Než budu pokračovat, neodpustím si reakci na jeden z komentářů: jak jsem již psal, matematika je velmi abstraktní věda. Dokonce natolik abstraktní, že ji někteří neuznávají za vědu. O tomto názoru se dá dost dlouho polemizovat. Souhlasím s tvrzením, že často se nebuduje matematická teorie postupně, lineárně. Ale nešlo mi o to, abych ukázal způsob myšlení badatelů, ale princip. I když tohle taky neplatí. Příkladem budiž Velká Fermatova věta. Než byla v roce 1994 dokázána, hodně tehdejších důkazů začínalo prohlášením: „Předpokládejme, že Velká Fermatova věta platí…“ Ale to všechno jsou detaily, které pro své potřeby zanedbám.

Už odpradávna velké myslitele fascinovaly paradoxy. I v matematice se paradoxy vyskytovaly, ale protože se nevědělo, co s nimi, jednoduše se ignorovaly. Několik paradoxů zde uvedu a začnu s asi nejznámějším, který se často uvádí jako paradox lháře (nebo též paradox Kréťana):

Jistý Kréťan jménem Epimenidés prohlásil: „Všichni Kréťané jsou lháři!“

Celý článek 3 komentáře

Matematická konzistence I

Matematika je velmi abstraktní věda. Dalo by se říct, že asi nejabstraktnější věda vůbec (snad jen náboženství je ještě více abstraktnější). To, co zná většina lidí (představme si průměrného člověka…😉 ze základní a střední školy, bych spíše označil za počty, než za opravdovou matematiku. Ovšem nechci, aby to vyznělo stejně jako v mém prvním zápisku, že pohrdám nevysokoškolským vzděláním. To rozhodně ne.

Tato abstrakce v matematice ovšem není neomezená, má nějaká pravidla. Na začátku se stanoví několik základních tvrzení, tzv. axiomů. (Když už jsem se matematiku odvážil porovnávat s náboženstvím, tak v náboženství se axiomy de facto vyskytují také, jenom se jim říká dogmata.) Axiomy se stanoví jako několik zřejmých tvrzení, se kterými se obecně souhlasí, a odvozují se z nich další principy. Jsou to vlastně takové základy křehké matematické stavby. Pokud by se ukázalo, že nějaký z axiomů je neplatný, celá teorie by se sesypala jako domeček z karet. Což se už několikrát stalo. Nevěříte?

Celý článek 0 komentářů

Tor — pokročilý anonymizační nástroj

Důvody pro anonymizaci může mít člověk různé, nemusí se jednat zrovna o nekalou činnost. Například může jít o jistou záruku soukromí, které se vyplatí střežit, nebo obavy před možným zneužitím trasování pohybu po internetu a v neposlední řadě vyhnutí se problémům s cenzurou (příkladem může být Velký čínský firewall).

Co takhle použít proxy?

Možností je použít veřejný proxy server, má to však několik nevýhod — nejedná se o soukromou službu a adresy těchto serverů bývají mnohdy „profláklé“, proto přes ně proudí velké množství dat a služba bývá v podstatě nepoužitelná. Navíc se tak nedá zabránit trasování vašeho pohybu po webech, tento problém pouze přesunete z poskytovatele internetového připojení na majitele proxy, který často nemusí být důvěryhodný.

Dále je možnost zaplatit si nemalou částku za neveřejnou proxy — ceny se stanovují často podle přenesených dat, takže si nedovedu představit jiné použití než prohlížení webových stránek. Nevýhoda je i v tom, že pokud nějaký jiný uživatel této proxy udělá něco nelegálního, jste v logu uložení hned vedle něj. A o anonymitě nemůže být ani řeč.

Celý článek 0 komentářů

Informatika. Co to je vlastně informatika?

Upozornění: toto vlastně není klasický článek, ale spíše metačlánek, tedy článek o článcích; taková ukázka tématu, o kterém chci psát.


Úvodní představení (tedy kdo jsem) a závazek, že splním blogovou pětiletku, raději přeskočím a začnu rovnou popisem toho, čím se zabývám — informatikou.

Pro začátek jednoduchá encyklopedická definice:

„Informatika je věda, zabývající informacemi a jejich zpracováním.“

Z toho lze vidět, že informatika se netýká pouze počítačů, i když tak často bývá vágně (a chybně) definována. Například na základních, některých středních (ba dokonce i na pár vysokých!) školách bývá informatika brána jako základy práce s počítačem.

Celý článek 0 komentářů