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 ...