Úryvek ze skript z matematické analýzy, duben 2015,
MFFUK v Praze, EU:
... tato věta se dá elegantně dokázat, což učinil Weierstrass, nicméně postup vlastní firma MathSW,
takže když bude mít škola prostředky navíc, snad
důkaz zakoupí a budeme ho moci vyučovat. ....
...důkaz, který je založen na Lagrangeově větě o střední hodnotě rovněž nemůže být uveden, protože společnost GGSoft si větu o střední hodnotě nechala patentovat, neboť ji používá k animaci rotujícího čtverečku v logu svých internetových stránek. ...
použijeme dyadický rozvoj, což můžeme, neboť jsme si u Microsoftu předplatili používání dvojkové soustavy ...
...
PS(k zamyšlení): Opravdu si myslíte, že mezi počítačovým algoritmem a matematickým důkazem je tak velký rozdíl ...
Zde uvedený příklad opodstatněného _softwarového_ patentu, RSA, je podle mě matematika. Alespoň my jsme se RSA učili v rámci matematiky, nikoliv computer science. :-)
