Proof by Computer and Proof by Human - Professor Tony Mann

19 Apr 2013   50:59   41
284   198

The idea of a proof as a simple, easily-checked method of establishing truth has undergone modification in the age of computers. But the specialisation of the mathematical world has resulted in difficulties with even entirely human-made proofs. Many major recent results of mathematics have proofs so specialised that there are very few people in the world who can understand them, while some proofs depend on computers to do calculations no human could perform. Where does pure mathematics stand in the digital age?

The transcript and downloadable versions of the lecture are available from the Gresham College website:

Gresham College has been giving free public lectures since 1597. This tradition continues today with all of our five or so public lectures a week being made available for free download from our website. There are currently nearly 1,500 lectures free to access or download from the website.

Tags: Mathematics, Maths, Computing, Proofs, Kepler, Fermat, Feynman

Related of "Proof by Computer and Proof by Human - Professor Tony Mann" Videos