Pondělí 16. prosince 2019, svátek má Albína
  • schránka
  • Přihlásit Můj účet
  • Pondělí 16. prosince 2019 Albína

Přednáška: Sebeodkazování je faul, ale v matematice někdy potřebný

  11:25aktualizováno  17:50
Logické paradoxy jsou nejenom zábavné hříčky, ale také odjakživa trápí filozofy a matematiky. Mnoho paradoxů stojí na triku, kterému se říká sebereference: odkazování na sebe sama. Paradoxům se občas předchází tak, že si zakážeme sebereferenci používat. O tom, že se tím někdy zbytečně ochuzujeme, přednášel Matěj Dostál.

Co je to sebereference? Čím je zajímavá, a proč občas vede k paradoxům?Tato přednáška slouží jako jemné přiblížení některých filosofických a matematických problémů, které s sebou nese možnost odkazování se na sebe sama. Ukazuje nejen paradoxy, které lámaly hlavu už starověkým Řekům, jako je třeba paradox krétského lháře, ale i novější paradoxy, jakým je například paradox Bertranda Russela. Tento paradox otřásl na počátku 20. století tehdejšími základy teorie množin.

Ing. Matěj Dostál

V Ústavu informatiky pracuje na Oddělení teoretické informatiky. V uplynulých letech se zabýval například teorií kategorií a Moritovou ekvivalencí algebraických teorií.

Sebereference (sebeodkazování) ale vede často k velmi zábavným paradoxům i v přirozeném jazyce, ať už studujeme věty, které popírají vlastní pravdivost, či slova, která popisují sama sebe.

Kvůli problematičnosti sebereference se jako nejjednodušší řešení jeví zkrátka si ji zakázat používat. Například definice kruhem, což je jen mírně zamaskovaná sebereference, je právem brána jako chybný postup. To znamená, že při definici libovolného pojmu si zakazujeme používat právě definovaný pojem.

Rozcestník

Kde sledovat další přednášky?

V přednášce ukážeme, že ale občas existují situace, kdy sebereference v definici nevadí. Naopak nám takové definice umožní velmi elegantně pracovat s jistými nekonečnými strukturami. Tyto metody nachází uplatnění například v moderních přístupech k programování.

Autor:

Přechod na DVB-T2

Od 27. 11. probíhá postupný přechod na vysílací standard DVB-T2. Proces by měl být dokončen do poloviny roku 2020. Diváci si tak musí pořídit televizi s podporou kódování H.265 (HEVC) nebo starší televizi doplnit vhodným set-top boxem.

  • Nejčtenější

V Benešově udeřil virus, který vydírá nemocnice i města po celém světě

V benešovské nemocnici pravděpodobně zaútočil typ počítačového viru, který dokáže z provozu vyřadit policii, úřady i...

Molotovův koktejl: finský lihovar přinášel zkázu sovětským tankistům

Podobně jako nouze naučila Dalibora housti, museli se finští obránci během zimní války spolehnout v boji se sovětskými...

Nevíte co? Tipy na dárky, o kterých možná nevíte, že existují

„Hele, to je dobré, to jsem neznal,“ překvapí nás občas někdo údivem nad věcí, kterou považujeme za docela běžnou....

USA testují vojáka budoucnosti. Přes brýle uvidí nebezpečí a neztratí cíl

Na vojenské základně Fort Pickett ve Virginii testují vojáci brýle s průhledovými displeji IVAS (Integrated Visual...

{NADPIS reklamního článku dlouhý přes dva řádky}

{POPISEK reklamního článku, také dlouhý přes dva a možná dokonce až tři řádky, končící na tři tečky...}

Nahaté fotky v telefonu skryje před cizími zraky šikovná aplikace

Do přehledu užitečných mobilních aplikací jsme tentokrát zařadili například aplikaci, která vyhledá a skryje lechtivé...

Premium

Neustále se mě ptají na honorář, říká „holčička“ z reklamy s prasátkem

Tak nám ta malá holčička z prasátkové reklamy na kofolu trochu povyrostla. Už jí je dvacet, jmenuje se Sandra Flemrová...

Premium

Na Gottově pohřbu jsem se bál, že spáchám atentát na Zemana, říká Strach

Každý se ho ptá na Anděla Páně 3. Jiří Strach ale trpělivě vysvětluje, že to nezáleží jen na něm. „Rozhodujeme o tom...

Premium

Zalepili matce prsa, aby nemohla kojit. Při příbězích z Osvětimi pláče i průvodce

Lukáš Lev provází v koncentračních táborech a popisuje nacistická zvěrstva. Jeho babička si však stála za tím, že za...

  • Další z rubriky

Jaké bylo ve skutečnosti zvíře, kterému se smáli v Cestě do pravěku

Nejen malým klukům tvor zvaný uintatérium může připadat zvláštně a směšně. Ale podrobnější pohled na jeho evoluční...

Nevím, jak bych mohl porazit počítač. Nejlepší hráč go na světě končí

Ještě před pěti lety byla hra go považována za ryze lidskou záležitost – pro počítače byla příliš náročná. Teď nejlepší...

V čem se nejen Burian pletl. Obří dinosauři si hlubokou vodu neužívali

Největší dinosaury historie vědci i poučení ilustrátoři jako Zdeněk Burian považovali za tvory, kteří své kostře...

Auto je zbytečné, je to fosilní zábava, řekl fyzik v Rozstřelu

Mít vlastní auto ve městě dnes není luxus, nýbrž „opruz“ - a dobrý způsob, jak snížit naší spotřebu peněz i materiálu,...

Najdete na iDNES.cz