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

Rok od zkázy ponorky Titan. Vyplouvají děsivá zjištění i nové otázky

Před rokem, 18. června 2023, se v severním Atlantiku ztratila ponorka Titan společnosti Ocean Gate. Pátrání potvrdilo obavy mnoha profesionálů z oboru, že Titan se nikdy neměl nořit do takových...

Zamáčknete slzu? Windows se definitivně zbavuje tří typických aplikací

Premium

Změna je život, řekli si možná v Microsoftu. V nadcházející aktualizaci systému Windows 11 24H2 se tentokrát můžeme těšit nejen na nové funkce, ale očekává se i odstranění tří aktuálních. Jaký byl...

{NADPIS}

{LABEL} {POPISEK}

Měnící se rotace zemského jádra vyčtená ze zemětřesení může měnit délku dnů

Že se od doby vzniku Země zpomaluje kvůli slapovým jevům její rotace je všeobecně známo. Již nějakou dobu se však pozornost vědců zaměřuje i na rotaci vnitřního jádra. Nová studie zkoumající...

Jak unikli vyhynutí jediní dodnes žijící dinosauři

Dlouho byly okolnosti jejich přežití do kenozoika zahaleny závojem tajemství, v poslední době ovšem nové výzkumy vrhly na tuto problematiku mnohem více světla.

{NADPIS}

{LABEL} {POPISEK}

Možná jste ani netušili, že Microsoft Word umí tyto tři věci

Je těžké narazit na někoho, kdo by neznal Microsoft Word. Možná však bude stejně vzácné potkat někoho, kdo zná všechny méně používané, přesto užitečné funkce. Věděli jste například, že Word umí skrýt...

Čeští potápěči vyřešili záhadu z války. V Jadranu identifikovali ponorku

Po třech letech práce se českému týmu technických potápěčů podařilo jasně identifikovat vrak ponorky z první světové války u chorvatských břehů. Díky badatelskému výzkumu a 22 ponorům do hloubky 85...

Nastal čas rozmyslet si, zda je dost bezpečné používat klasické heslo

V digitálním světě se hesla stala klíčovým prvkem pro ochranu našich online identit a přístupu k citlivým informacím. Nicméně počet hesel a jejich správa se stává čím dál náročnější a riziko...

Nejen Apple a Microsoft, i Google má zařízení se svou AI. A není to mobil

O generativní umělé inteligenci Gemini od Googlu se hovoří především jako systému spuštěném přes internet v prohlížeči nebo aplikaci nebo jako pomocníkovi v mobilních telefonech. Nyní ho společnost...

Měnící se rotace zemského jádra vyčtená ze zemětřesení může měnit délku dnů

Že se od doby vzniku Země zpomaluje kvůli slapovým jevům její rotace je všeobecně známo. Již nějakou dobu se však pozornost vědců zaměřuje i na rotaci vnitřního jádra. Nová studie zkoumající...

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

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

Výhru ze Survivoru utratil Mikýř za rozhovor v prázdné O2 areně, vydělal miliony

Martin „Mikýř“ Mikyska (30) vytěžil své vítězství v reality show Survivor Česko & Slovensko 2024 na maximum. Povedl se...

Rok od zkázy ponorky Titan. Vyplouvají děsivá zjištění i nové otázky

Před rokem, 18. června 2023, se v severním Atlantiku ztratila ponorka Titan společnosti Ocean Gate. Pátrání potvrdilo...

Zpěvačka Katy Perry ukázala prsa. Fanoušci řeší, zda to má zapotřebí

Katy Perry (39) vydá v červenci nový singl s názvem Woman’s World, který podpoří i videoklipem. Aby řádně nalákala své...

Velká proměna Michala Davida: dvacet kilo dole. Žádné pivo, ale fitko a tenis

Michal David (63) zhubl v posledních měsících dvacet kilo a cítí se výborně. V rozhovoru pro iDNES.cz muzikant...

Příběh Vlaďky: Jsem v šoku. Manžel má milenku, je starší a ošklivější než já

Neříkám, že naše manželství nemělo žádné mouchy, ale myslela jsem si, že nám to docela klape. Pravda je ale někde...