Hilbert's Dream, Tim Gowers | LMS Popular Lectures 2012

Can anything be salvaged from the wreckage of Hilbert's Dream? Could we program a computer to do maths at least as well as we do it? This is a formidable challenge, for reasons that Tim Gowers will discuss, but despite the difficulties he will try to persuade you that the answer is yes. ========== The London Mathematical Society has, since 1865, been the UK's learned society for the advancement, dissemination and promotion of mathematical knowledge. Our mission is to advance mathematics through our members and the broader scientific community worldwide. For further information: ► Website: https://www.lms.ac.uk ► Events: https://www.lms.ac.uk/events ► Grants and Prizes: https://www.lms.ac.uk/grants-prizes ► Publications: https://www.lms.ac.uk/publications ► Membership: https://www.lms.ac.uk/membership Follow us: ► Twitter:   / londmathsoc   ► Facebook:   / londonmathematicalsociety   ► LinkedIn:   / the-london-mathematical-society   ► Youtube: ‪@LondonMathematicalSociety‬