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ší

Unikla hesla rekordních 773 milionů uživatelů. Najdete tam to svoje?

Není heslo jako heslo. Či spíše heslo jako heslo vlastně ani není heslo.

Více než miliarda unikátních kombinací e-mailu a hesla unikla na web v zatím rekordní databázi přístupových údajů....

Nájemný vrah doplatil na svůj koníček, udaly jej chytré sportovní hodinky

Mark Fellows na snímku z desetikilometrového závodu v Manchesteru v roce 2015

Britský běžec a cyklista Mark Fellows byl odsouzen k doživotnímu trestu za dvojnásobnou vraždu. K jeho odhalení a...

Čeští vývojáři vylepšili vláček pro koleje z IKEA. Uhání až 90 cm/s

Intelino tým

Vypadá jako obyčejný vláček, ale můžete ho ovládat přes aplikaci v mobilu nebo jen pokládáním barevných terčíků na...

SpaceX začíná zkoušky „superrakety“. Bude se lesknout jako zrcadlo

Stavba pokusné rakety konceptu Starship na raketodromu SpaceX v jižním Texasu.

Fanouškům kosmonautiky přichystal šéf společnosti SpaceX Elon Musk na přelomu roku nečekaný dárek: nové plány na stavbu...

Tito lidé neexistují. Počítač si je vymyslel, napodobí rasu i vlasy

Fotografie neexistujících celebrit generované neuronovou sítí Nvidia na základě...

Podívejte se na fotky lidí, které jste nikdy nepotkali a nepotkáte. Počítač si je totiž vymyslel. Generativní...

Další z rubriky

Nové poznatky o událostech po pádu planetky, která vyhubila dinosaury

První prokazatelnou obětí následků dopadu planetky Chicxulub byly nebohé...

Lokalita zvaná „Tanis“ se nachází se na území Severní Dakoty ve Spojených státech amerických. Tato fosilní lokalita ze...

Největší známý slon byl těžký asi jako Tyrannosaurus rex

Porovnání velikosti dospělého člověka s velikostí průměrně velkého samce a...

Jak si vede největší živočich, který v současnosti chodí po zemi, ve srovnání s pravěkými obyvateli naší planety?

Ochutnali jsme hamburger z umělého masa. Ani masožrout se neušklíbne

… i po kousnutí.

Před stánkem „Impossible burger“ na lasvegaském výstavišti byla k vidění nevídaná věc. Vegetariáni i „masožrouti“ jedli...

Najdete na iDNES.cz