Premium

Získejte všechny články
jen za 89 Kč/měsíc

Přednáška: Jak se věda brání zdravému selskému rozumu

  2:00aktualizováno  21:10
Jak se ve vědě pracuje s intuicí a jak je její působení korigováno formálními metodami? Na tyto otázky ve své přednášce odpovídá Rostislav Horčík z oddělení teoretické informatiky Ústavu informatiky Akademie věd ČR v rámci vědeckého festivalu Týden vědy a techniky.

Přímý přenos

přednášek Ústavu informatiky AV ČR

Přednášku Ing. Rostislava Horčíka, Ph.D.: Intuice, nebo formální metody? určenou především studentům středních škol, jste viděli v přímém přenosu v úterý 12.11. 2013 od 9:45 do 10:15 v tomto článku. Nyní si můžete přehrát záznam.

Intuice se často definuje jako schopnost rychlého chápání a rozhodování, které není podloženo žádnými argumenty, ačkoliv bývá provázeno pocitem jistoty. Řídíme se jí, když není čas si věci důkladně promyslet. Je však také zdrojem inspirace v řadě tvůrčích činností, speciálně ve vědě.

Bohužel intuice nám ne vždy napovídá správně. Proto se v exaktních vědách, jako jsou matematika nebo teoretická informatika, snažíme naše intuitivní chápání korigovat pomocí objektivních formálních metod.

Co jsou to formální metody?

Děkujeme společnosti Panter Praha za zapůjčení bezdrátových mikrofonů Sennheiser a mixpultu Yamaha.

Pokud chceme v matematice/informatice prohlásit nějaké tvrzení (například, že daný algoritmus se v konečném čase dopočítá ke správnému výsledku) za vědecký výsledek, musíme nejprve toto tvrzení precizně zformulovat a následně jej podložit důkazem. Precizní formulace je nutná proto, aby se zabránilo možné dvojí interpretaci. Tento krok se nazývá formalizace.

Druhým krokem je předložení důkazu. Zcela obecná definice tohoto pojmu říká, že důkaz je nepochybné zdůvodnění pravdivosti nějakého tvrzení. Ačkoli se tento pojem objevuje v několika různých oblastech  lidské činnosti (např. trestní právo), v matematice má tento pojem mnohem přesnější význam, než nám udává výše zmíněná obecná definice. V přednášce se pokusím nastínit, co pojem důkazu v matematice obnáší.  

Autoři:
  • Nejčtenější

Ilustrátora Wintera věznili nacisté. Kreslil erotické i historické vtipy

Malíř, karikaturista, ilustrátor a humorista Jiří Winter-Neprakta, který se narodil před 100 lety, byl rekordmanem v počtu kreslených vtipů, zajímal se však například i o antropologii a tajemno všeho...

14. července 2024

Rusko v září zablokuje YouTube. Může za to Google, ne my, hlásí Kreml

Po Facebooku a Instagramu Rusové zřejmě přijdou i o YouTube. Od pátku začali ruští uživatelé pociťovat výrazné zpomalení jeho služeb. Později vyšlo najevo, že jde jen o první fázi, v září totiž bude...

12. července 2024  13:13

{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...}

Padouši dostali další balík ukradených hesel. Není tam náhodou i to vaše?

Aktualizovaná databáze deseti miliard ukradených hesel koluje po internetu a je k dispozici kyberpadouchům. Ověřte, zda tam není i vaše heslo. V textu vás naučíme používat jedinečná a silná hesla,...

15. července 2024

KOMENTÁŘ: Požárů fotovoltaik může přibývat. Rizikoví jsou patlal a kutil

Požár nebo výbuch je asi to poslední, co by si majitel rodinného domu přál. V příštích letech jich může přibývat v souvislosti s tím, jak budou stárnout některé nepovedené fotovoltaické instalace ze...

15. července 2024

{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...}

Důmyslné zbraně příkazového řádku Windows

Někomu tento způsob ovládání může přijít archaický, jiný na něj nedá dopustit. Řeč je o ovládání Windows prostřednictvím příkazů. Příkazový řádek je nedílnou součástí tohoto operačního systému od...

12. července 2024

Online pomocníci na cestách pomohou s PDF, QR i editací textu či zvuku

Premium

Jsou na internetu dostupné zdarma, navíc mohou v řadě případů vytrhnout trn z paty. Tedy pokud jste někdy potřebovali vytvořit nebo upravit textový dokument, tabulku či prezentaci, změnit něco v PDF,...

18. července 2024

Budeme je jednou nosit všichni? Svět chytrých brýlí je opravdu rozmanitý

Chytré brýle jsou poměrně široký pojem, který v tuto chvíli nemá úplně jasnou formu. Každý si totiž vykládá takovou věc po svém a podle toho i láká konkrétní zákazníky. Víte, jaké typy jsou aktuálně...

18. července 2024

Z torpédometu se ozývalo volání o pomoc. Nehody prvních amerických ponorek

V minulé části seriálu o prvních amerických ponorkách jsme se věnovali technickým potížím, které první stroje tohoto druhu sužovaly. S nehodami tzv. prasečích člunů však souvisely i „přehmaty“...

17. července 2024

OBRAZEM: Náš poslední meziválečný rychlý motorák doplatil na německou okupaci

Nový rychlý motorový vůz pro ČSD, jehož prototypový exemplář byl oficiálně představen 14. března 1939, dostal přezdívku Stříbrný šíp. Doba mu však nepřála, následujícího dne vpadla do okleštěné...

16. července 2024

Zemřela Shannen Doherty. Hvězda Beverly Hills 90210 podlehla rakovině

Po téměř deseti letech boje s rakovinou zemřela americká herečka Shannen Doherty, informují média. Proslavil ji seriál...

Princezna Kate přišla s dcerou na Wimbledon, setkala se i s Krejčíkovou

Princezna Kate (42) přišla na mužské finále letošního Wimbledonu spolu se svou dcerou Charlotte (9). V zákulisí se...

Restauratéři chtějí zakázat vstup Biance Censori, vadí jim její odhalování

Přítelkyně rappera Kanyeho Westa (47) Bianca Censori (29) je známá svým stylem „oblečená neoblečená“ a snaží se šokovat...

Piju každý den. Dřív nebo později se upiju k smrti, líčí bývalý fotbalista Fenin

Fotbalista Martin Fenin (37) neprožívá nejlepší období. Nejen, že mu nevyšlo manželství s policistkou Beatou, se kterou...

Rytmusovi shořelo auto na dálnici, podařilo se mu vyváznout bez zranění

Slovenský raper Rytmus (47) zveřejnil na Instagramu video hořícího vozu. Je to auto jeho manželky Jasminy Alagič (35),...