Rigorózní výpočty s nepřesnými čísly a matematické důkazy - Petr Girg

Počítače stále více pronikají do veškeré lidské činnosti. V současné době se stále častěji objevují matematické důkazy provedené na počítači. Většina těchto důkazů je z oboru teorie grafů a provádí se probírkou možností v nějaké diskrétní struktuře. Lze ale provádět rigorózní důkazy ve spojitých strukturách matematické analýzy? V této přednášce si ukážeme jak na to. Přestože myšlenka těchto důkazů je velice stará, byla dlouho opomíjena a stála stranou hlavního proudu i když např. procesory Intel tento typ důkazu plně podporují již od 80. let dvacátého století!