Česky | English Sign in

Our Events - SIAM SC Seminar - Other Events

Stefan Ratschan - Toward the Automatized Mathematician

Date: 07/05/2013 15:40
Place: Seminární místnost KNM
(text is available only in czech language) 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 ...