Charles University Chapter of SIAM

Naše akce - Seminář SIAM SC - Další akce

Stefan Ratschan - Toward the Automatized Mathematician

Kdy: 07/05/2013 15:40
Kde: Seminární místnost KNM
Toward the Automatized Mathematician

In the talk I will discuss the two following claims:
- Nowadays, 99% of all proofs worldwide are not done by mathematicians, but by computers.
- Many of those proofs are beyond the abilities of most mathematicians.

Does this mean that mathematicians are becoming obsolete? No, on the contrary, this means a lot of new, interesting opportunities for
them! For more information, come to the talk ...