Středa 26. února 2020, svátek má Dorota
  • schránka
  • Přihlásit Můj účet
  • Středa 26. února 2020 Dorota

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:

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

Rolls-Royce chystá jadernou elektrárnu. S cenovou politikou Dacie

Britská společnost Rolls-Royce připravuje projekt menší jaderné elektrárny. Má vyřešit hlavní problém dnešního „jádra“:...

Tyto ženy jste neměli vidět. Na plátně se ukazovaly jen profesionálům

Tyto ženy se objevily na stříbrném plátně doslova v každém kině po celém světě. Přesto jste je pravděpodobně nikdy...

Kopírovat + Vložit. Zemřel vědec, kterému vděčíme za přátelský počítač

Většina dnešních uživatelů počítače zřejmě amerického programátora a matematika Larryho Teslera nezná. Výsledky jeho...

Jak si Tatra podmaňovala vzduch. V rozletu ji srazili Němci

Historie letadel Tatra je krátká, ale slavná. Ve své době hrstka těchto strojů úspěšně bojovala o své místo na nebi....

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

Superpřenašeči nejsou. Co říká zatím největší studie epidemie COVID-19

Největší epidemiologická studie koronaviru COVID-19 ukazuje, kdo je nákazou nejvíce ohrožený. Existují také důvody k...

Premium

Která auta jsou skutečně bezpečná? Crash testy versus realita

Setkáváme se s názory, že auta jsou navrhována tak, aby dosáhla dobrých výsledků v nárazových testech. Díky Folksamu...

Premium

Trend u rozvodů: čím dál více dětí končí ve střídavé péči

Neustálé pendlování mezi dvěma domácnostmi dětem škodí, varují odborníci. Ve střídavé péči je v Česku stále více dětí....

Premium

Když je střílečka povinná. Hraju hry a platí mě za to, říká člen týmu Brute

Má k dispozici fitness trenéra, mentálního kouče, psychologa a ve škole individuální studijní plán. Tedy servis...

  • Další z rubriky

Kosti nejvyššího živočicha všech dob byly považovány za kmeny stromů

Moderní zobrazovací a měřicí metody umožnily získat přesnější pohled na jednoho z největších tvorů, který kdy na naší...

Balí mě? Vědci ukázali, že především muži mají problém poznat flirt

Když flirtujeme, dáváme najevo zájem o intimní kontakt. Máme pocit, že jasněji už to dát najevo nemůžeme. Ostatní však...

Premium

Koronavirus z roku 2003 se povedlo zastavit. Ten nový je však rychlejší

Čínský koronavirus ovládl světové zpravodajství už v roce 2003. Tehdy dostal jméno SARS a zabíjel v 17 zemích světa....

Homeopathy was helping my patients. Then I tested it and figured out why

The practice of homeopathy has survived for 200 years. But is it still relevant today? Effectiveness must be determined...

7 tipů, jak zatočit se stresem
7 tipů, jak zatočit se stresem

Doba se neustále zrychluje. Často se za celý den nestíháme ani zastavit. Přitom stačí změnit pár návyků a objevit díky nim krásu pomalejšího tempa, relaxaci a prožitek přítomného okamžiku.

Najdete na iDNES.cz