Pondělí 14. června 2021, svátek má Roland
  • schránka
  • Přihlásit Můj účet
  • Pondělí 14. června 2021 Roland

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

Tajuplné monstrum, které bylo k ničemu. Odpočívá v tankovém muzeu u Moskvy

V muzeu tankových sil v podmoskevské Kubince je jedno německé vozidlo, které na první pohled upoutá svými rozměry a...

Některé funkce z Windows a Office zmizely. Připomeňte si ty nejhorší

Microsoft se v průběhu let v systému Windows zbavil celé řady funkcí. Některé byly zbytečné, jiné až otravné. Pojďme si...

Jak Izrael zničil irácký jaderný reaktor. Došlo i na spolupráci s Íránem

Izrael byl a je Arabům trnem v oku. K jeho zničení neváhali desítky let usilovat o získání jaderných zbraní. Na čele...

Snahy nepřátel pořídit si jaderné zbraně se rozhodl Izrael eliminovat

V létě 1981 přeoraly izraelské bomby irácký jaderný reaktor v Al Tuvajtě. Tím Saddámu Husajnovi na dlouhou dobu...

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

První vzdušné tankování z dronu. Američané jsou zase o krok napřed

Letové testy tankovacího bezosádkového letounu Boeing MQ-25 Stingray mají za sebou významný milník. Vůbec poprvé v...

Sledujeme začátek rituální sebevraždy lidstva, říká Čech s nejvyšším IQ

Premium Oficiálně je považován za nejchytřejšího Čecha. Jako robot ale nepůsobí. Při osobním setkání je Karel Kostka, vzděláním...

Upřímnost fotbalové antihvězdy. Souček o tetování, rasismu i vyjídání ledničky

Premium Říká o sobě, že je obyčejný kluk z Brodu. Přitom si ho už stihla zamilovat fotbalová Anglie a Česko na něj spoléhá: na...

O antikoncepci už není takový zájem. Párový sex upadá, míní gynekolog

Premium „Všichni strašili, že bude upadat mravnost a ženy budou mít z dlouhodobého užívání pilulek zhoubná onemocnění jater....

  • Další z rubriky

Odpověď na otázku, kolik mozků měli dinosauři, je jasná

Příběh domnělého druhého mozku u dinosaurů má dlouhou historii, která se táhne až do dob Divokého západu a proslulých...

Čipy v mozku umožní psát silou mysli, kritici však varují před zneužitím

Američtí vědci dekódovali mozkové signály spojené se schopností psát rukopis. Tyto signály dovedou zachytit dva malé...

STO OBJEVŮ: Od kuliček ke krasopisu. Dětská hra inspirovala k propisce

Seriál Historie jistě zná i zásadnější vynálezy, ale na život bez propisky alias kuličkového pera byste si každopádně zvykali...

STO OBJEVŮ: Plastelína, která je dětem zakázaná. Na semtex přišli Češi

Seriál Vypadá jako nevinná dětská plastelína, ovšem semtex dětem do ruky v žádném případě nepatří. Plastická trhavina náleží...

Manželka majitele Alzy promluvila o fungování firmy, se Zavoralem se rozvádí

Majitel tuzemského internetového gigantu Alza.cz Aleš Zavoral patří se svým jměním mezi nejbohatší Čechy. Na rozdíl od...

Sledujeme začátek rituální sebevraždy lidstva, říká Čech s nejvyšším IQ

Premium Oficiálně je považován za nejchytřejšího Čecha. Jako robot ale nepůsobí. Při osobním setkání je Karel Kostka, vzděláním...

Moderátor Aleš Cibulka skončil na jednotce intenzivní péče

Čtyřiačtyřicetiletý Aleš Cibulka měl v sobotu v rozhlasovém pořadu Tobogan dělat narozeninový rozhovor s herečkou Marií...

Dušek: Očkovat se nenechám. Indiáni raději zemřeli, než se nechat zotročit

Jaroslav Dušek promluvil o svém rozhodnutí nenechat se očkovat vakcínou proti covidu-19. Herec, který nedávno oslavil...

Mladí by chtěli do penze v 60 letech. Mají jasno, jaký důchod jim postačí

Generace narozená po roce 1971 bude podle současných pravidel odcházet do penze v 65 letech. A to jak ženy, tak i muži....