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: www.lms.ac.uk
► Events: www.lms.ac.uk/events
► Grants and Prizes: www.lms.ac.uk/grants-prizes
► Publications: www.lms.ac.uk/publications
► Membership: www.lms.ac.uk/membership
Follow us:
► Twitter: / londmathsoc
► Facebook: / londonmathematicalsociety
► LinkedIn: / the-london-mathematica...
► KZbin: @LondonMathematicalSociety

[@elidrissii]

Great public lectures.

[@shantshahbazian9116]

Lecture has been given in 2007 and now, 2024, most of the predictions of the lecturere comes true....

[@alfredbudy1985]

It’s amazing that Egyptians had a different perspective on geometry and I think the female Iranian field’s medalist was on to something before her untimely demise.

[@Achrononmaster]

See the lectures by Penrose... there is a chance Gowers' dream will never be realized because an algorithm equivalent in some appropriate sense to human mathematical reasoning might be simply impossible for us to discover. We'd have to stumble on it by chance, and we'd likely have more hope of evolving an organic computer with software that is fundamentally incomprehensible (as incomprehensible as the human mind).

[@kamilziemian995]

Very fine talk.

[@jimmz25]

Thanx a lot for this talk! I hope that the english edition of my booklet (together with John Casti) "Gödel: A life of logic", Perseus books, MA 2002, is already available in the UK too. The other books of me are unfortunately in German. (the exact dates are in Wikipedia.)

[@jacksainthill8974]

Concerto for cough and mathematics.

[@TheDelcin]

I hypothesize that if we could program a computer to solve the problems that we are capable of solving right now then we will be able to explore the horizon of perceptions that are invisible to our limits

[@ulagainesippavanbabuk2371]

Pythagras , Plato, Euclid' s pythagorean triples formulas are wrong. I know it. But ...I didn't stdudy mathematics properly ...what do I do? 20 yeears struggle ....Anyone please give the idea. Where is Hardy?

[@alfredbudy1985]

It’s amazing that Egyptians had a different perspective on geometry and I think the female Iranian field’s medalist was on to something before her untimely demise.

[@hasch5756]

Ein Hilberttraum.

[@twistedcubic]

Oh, Larry David was there 8:23

[@cssfriendly]

Dont read comments if you want to completely watch the lecture .

[@alfredbudy1985]

Could the most complicated mathematical problem be expressed in the Swahili language? That’s when you will have more brainpower behind these existential questions

[@alfredbudy1985]

When a computer can dream that’s when AI will exist

[@hayderatrah]

the coughing guy should have been sensitive and have left the hall.

[@bluestarfractal5434]

I wish Gowers had gotten to the point early on if there was a point instead of dragging his audience through all the algorithmic wheel spinning.

[@tavom6710]

+rl arcturus He was trying to lay out he argument in enough cases to make it believable. If you didn't need to be convinced you probably are an expert anyway and didn't need to watch the video

[@BoxHouseProductions]

HAHA THIS IS HILARIOUS!

[@703k0073r]

Aspect ratio is off. The slides are blurry and after a whlie my eyes feel strained. Downvoting.

[@maniaxly44]

703k0073r Maybe you should have some specs? No mean thing intended!

[@____KB]

+703k0073r You can watch it in VLC Player and fix the aspect ratio. VLC plays KZbin videos directly, too. I do it all the time, for many reasons like that, such as zooming and cropping, etc.

[@703k0073r]

Now I see all the videos posted by this user have the same eye straining quality. What a pity... They will make for good audio-reading at night though. Downvote stays.