Čtvrtek 8. prosince 2022, svátek má Květoslava
  • schránka
  • Přihlásit Můj účet
  • Čtvrtek 8. prosince 2022 Květoslava

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

Velký meteorit ukrýval dva minerály, které jsme doposud na Zemi neviděli

Doposud jsme podobné nerosty mohli najít jako uměle vyrobené v laboratoři nebo v teoretických pracích. Díky poslu z...

Nový rychlovlak TGV dorazil do Česka, ve Francii má začít jezdit za dva roky

Nový rychlovlak TGV ráno přejel česko-rakouské hranice a dopoledne dorazil do Českých Budějovic. Odtud jel dál do Prahy...

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

„Svatba“ letounu L-39NG. Ve Vodochodech se po letech opět sériově vyrábí

Po osmi letech vývoje vyvrcholila práce na letounu L-39NG. Moderní následník slavného Albatrosu vstupuje do sériové...

KVÍZ: V roce 1939 napadl Sovětský svaz Finsko, začala zimní válka

Útokem Sovětského svazu na Finsko dne 30. listopadu 1939 začala tzv. zimní válka, která trvala až do 13. března roku...

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

Rozpálené brzdy poslaly caravelle v plamenech k zemi. Zahynula pětina obce Humlikon

Premium Tragédie letu číslo SR 306 začala rozháněním mlhy letadlem před vzletem a gradovala jeho pádem v důsledku požáru....

Děti na prodej. Za tři stovky. Jak bují dětská prostituce v Česku

Premium Prostituce je v Předlicích naprosto běžná. Jenže i ta dětská. Obyvatelé místního ghetta popisují, jak se děti prodávají...

Takoví slušní lidé, říkali o nich. Rodině přitom vládl teror a nechutnosti

Premium Muž, který ten prosincový den přišel na místní oddělení VB Strašnice, vypadal velmi rozpačitě. „Ono se to bude zdát asi...

RECENZE: Vzal to Radegast. Největší dar přináší konečně zase pohádku

Premium Ani světácky se tvářící fantasy jako Princezna zakletá v čase 2, ani rozjímání o smrti jako Princ Mamánek. Příběh...

Tyranosaurus znovu překvapil, podle nových výpočtů mohl být větší a těžší

I když se nám zdá, že o dinosaurech a jejich nekorunovaném králi tyranosaurovi toho víme poměrně hodně, není tomu tak....

Jak přišli dinosauři ke svému pojmenování a proč to trvalo tak dlouho

Když byl v únoru roku 1824 formálně popsán první druhohorní „neptačí“ dinosaurus, jímž se stal jurský teropod...

Musk chce do půl roku zkoušet mozkové čipy na lidech. Zchladil tak očekávání

Společnost Neuralink, kterou vlastní miliardář Elon Musk, se zabývá vývojem mozkových implantátů. V noci na čtvrtek...

Jak se z vyhladovělé čelisti stal nejstarší známý dinosaurus

První „praví“ dinosauři pravděpodobně existovali již v období středního triasu (asi před 245 miliony let). My však...

Akční letáky
Akční letáky

Všechny akční letáky na jednom místě!

Dcera je výjimečná, říká Julia Robertsová. Hazel oslavila 18. narozeniny

Herečka Julia Robertsová (55) oslavila osmnáctiny svých dvojčat, dcery Hazel a syna Finna společnou vzpomínkovou...

Zemřela Kirstie Alleyová. Hvězda trilogie Kdopak to mluví podlehla rakovině

Po krátkém boji s rakovinou zemřela v 71 letech americká herečka Kirstie Alleyová, hvězda filmové trilogie Kdopak to...

Známý český stylista Jan Pokorný spáchal ve 39 letech sebevraždu

Jeden z nejuznávanějších českých stylistů Jan Pokorný spáchal ve čtvrtek ve svých devětatřiceti letech sebevraždu...

Politik opustil partnerku a děti po šestnácti letech kvůli pornoherečce

Německý politik Hagen Reinhold (44) opustil svoji dlouholetou partnerku Karoline Preislerovou (51), se kterou má tři...

Žádné Uložto! Startuje České kino, za stovku nabízí ke streamování 650 filmů

Oblíbené české filmy, pohádky i seriály ke stažení na jednom místě, legálně a ve vysoké kvalitě slibuje nová platforma...