Martin Hairer: Do Mathematicians Need Computers?
Simons Foundation
16,066 views
In this Presidential Lecture, Martin Hairer will draw on his personal research to explore some of the ways in which computations and computers have, in fact, been impacting questions in pure mathematics, leading to the discovery of new mathematical objects.
For more information go to: https://www.simonsfoundation.org/even...
11 Comments
@SomDevBishoyi 9 months ago
Thanks for Sharing this on Youtube!!
@tappetmanifolds7024 9 months ago
Interesting and informative.
Computers with impeccable intuition would make for elegant logic machines.
Computers with impeccable intuition would make for elegant logic machines.
@barrybrent3955 6 months ago (edited)
he ssys RH would already be settled if it could be done by a calculation. so thinking is not a calculation? what kind of entity is doing the thinking? an immaterial soul? 13:40
@jasonlarkin84 10 months ago
Constructive mathematics differs from classical mathematics by emphasizing hands-on provability and algorithmic proofs, rather than abstract truth. It avoids “non-constructive” methods like proof by contradiction and the principle of excluded middle. Constructive mathematics interprets the phrase “there exists” as “we can construct”. A constructive existence proof demonstrates an object's existence by outlining a method for finding it.
@ShonMardani 10 months ago
I am wondering how we can prove a concept/theory/hypothesis by proving an equation like 0=0 or 1=1 or 2=2..n=n ?
I asked AI to clean this question, but it crashes and freezes the Chatgpt every time, please forgive my grammar and you don't freeze on me, thank you.
I asked AI to clean this question, but it crashes and freezes the Chatgpt every time, please forgive my grammar and you don't freeze on me, thank you.
@juancarlospizarromendez3954 10 months ago
Do Mathematicians Need Computers? Yes, pocket calculators for multiplying two reals, logarithms or trigonometry.
Martin Hairer: Do Mathematicians Need Computers?
Simons Foundation
16,066 views
In this Presidential Lecture, Martin Hairer will draw on his personal research to explore some of the ways in which computations and computers have, in fact, been impacting questions in pure mathematics, leading to the discovery of new mathematical objects.
For more information go to: https://www.simonsfoundation.org/even...