O programu
Matematický důkaz je nezpochybnitelným způsobem, jak rozhodnout o tom, které tvrzení je pravdivé a které ne, co je lež a co je pravda. Ačkoliv historicky matematika vznikla z potřeb řešení praktických problémů, vyvinula se v průběhu staletí ve svébytnou vědeckou disciplínu. Bez znalostí matematiky by nevznikl žádný velký technický vynález, nestavěly by se domy, elektrárny, nebyly by konstruovány dopravní prostředky, vyvíjeny lékařské přístroje, mobilní telefony, počítače, navigační zařízení ani další informační technologie. Společně s rozvojem výpočetní techniky umožňují matematické modely předpovídat počasí či šíření epidemií a škůdců, popsat a pochopit vedení vzruchu po nervovém vlákně, genové interakce a jejich vliv na vznik chorob či vznik a vývoj rezistence lidí vůči antibiotikům, a také vyhodnotit účinnost možných protiopatření proti některým z těchto procesů. V současné době tak matematika tvoří základ technických, přírodních ale i společensko-ekonomických věd. V neposlední řadě je na matematických aplikacích postaven také obrovský úspěch tvůrců komerčních softwarových produktů, filmového a zábavního průmyslu.
