Čtvrtek 15. dubna 2021, svátek má Anastázie
  • schránka
  • Přihlásit Můj účet
  • Čtvrtek 15. dubna 2021 Anastázie

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:

Fagradalsfjall online

Sledujte živě aktivní sopku na Islandu. Erupce začala po týdnech otřesů 19. března a zláště pak v noci nabízí fascinující podívanou.

  • Nejčtenější

Jak často se nakazí již očkovaní? Důkladná studie dala skvělé výsledky

Americké středisko pro kontrolu nakažlivých nemocí (CDC) ve svém časopise vydalo průběžné výsledky studie, která je...

Fanoušek zřejmě vyfotil tajný dron, o kterém se pouze spekulovalo

O tajném projektu výškového stealth dronu Northrop Grumman RQ-180 se spekuluje řadu let. Až nedávno se ho podařilo...

Když má umřít Bambi, veřejnost se bouří. I když si to Bambi zaslouží

Neochota zabíjet roztomile a něžně vypadající zvířátka, i když je to zrovna zapotřebí, se může snadno obrátit proti...

KVÍZ: Znáte letadla studené války? Mnohá bojovala i v horkých konfliktech

Bojová letadla z hloubi studené války k nám dnes přiletí prostřednictvím rozpoznávacího kvízu. Ať už si chcete...

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

Poslední bojový letoun armády USA byl něco mezi sporťákem a stíhačkou

Firma Grumman je známá především námořními letouny. Mezi typy, které jsou neprávem na okraji zájmu, patří nenápadný...

Bláznivý voyeur Tichý. Žil jako bezdomovec, dnes jeho fotky stojí statisíce

Premium V jeho domě se fotky válely po zemi, padal na ně prach i bláto z bot. Na téměř každé z nich byla skvrna od kávy nebo...

Za fotky nehody Philipa nabízeli obří sumu. Neprodal jsem, říká exšéf Kladrub

Premium Když v roce 1996 přijela do Čech britská královna Alžběta II., snad nikdo nemohl velkému milovníkovi koní a jejich...

Svačiny jsou zbytečné. Stačí jíst dvakrát denně, vysvětluje profesor Anděl

Premium Nadváhu má v Česku až 44 procent mužů a 31 procent žen. A obezitu dalších 20 procent mužů a 18 procent žen. Statisíce z...

  • Další z rubriky

STO OBJEVŮ: Římská okna, ničivý déšť i český křišťál. Sklo stvořila příroda

Seriál Každý den se v něm kocháme, každý den se jím kocháme. Sklo stvořila příroda, v průběhu staletí jej také čeští skláři...

Češi zrekonstruovali slavný záběr Einsteinova zatmění Slunce

Čeští vědci omladili, vylepšili a obarvili jeden z nejslavnějších snímků v historii fyziky. Originál z roku 1919 byl...

KVÍZ: Jak dobře znáte české a slovenské letce a letkyně?

První našinci se v oblacích objevili už před Velkou válkou. Otestovat své znalosti z historie československého...

Jak často se nakazí již očkovaní? Důkladná studie dala skvělé výsledky

Americké středisko pro kontrolu nakažlivých nemocí (CDC) ve svém časopise vydalo průběžné výsledky studie, která je...

Jarní úklid raz dva: Jak na čistou podlahu i bez lezení po kolenou a otravného ždímání hadru?
Jarní úklid raz dva: Jak na čistou podlahu i bez lezení po kolenou a otravného ždímání hadru?

Přes zimu jsme si do domácností natahali spoustu nepořádku, kterého je teď potřeba se zbavit. Doba si žádá pořádný jarní úklid. V redakci jsme...

Kuchyň mají na terase. Šílený plán mladých manželů je geniální

Honza a Katka se po svatbě nastěhovali do domu svých prarodičů. V patře, které obývají, jim však chybí kuchyň. A tak...

Princ Harry se vrátil do Británie na pohřeb dědečka, karanténu nestihne

Britský princ Harry přiletěl z Los Angeles na pohřeb svého dědečka prince Philipa. Na letišti Heathrow ho v neděli po...

Podstoupím úpravu prsou. Není čas cvičit a chroustat mrkev, říká Kalivodová

Andrea Kalivodová (43) se svěřila s tím, proč se rozhodla podstoupit remodelaci prsou. Operní pěvkyně v rozhovoru pro...

Pohřeb prince Philipa se bude konat 17. dubna, Harry dorazí bez Meghan

Buckinghamský palác oznámil, že pohřeb zesnulého prince Philipa se bude konat 17. dubna. Zároveň potvrdil, že princ...

Karel neskrýval, že chce syna, prozradila těhotná Lilia Khousnoutdinova

Lilia Khousnoutdinova (32) a Karel Janeček (47) se za pár týdnů dočkají miminka. Publicistka, návrhářka a cestovatelka...