Signin

The Future of Mathematics?

Microsoft Research • October 7, 2019

Video Thumbnail

You May Also Like

Video Thumbnail

Kevin Buzzard: Mathematics and the Computer with G-Research

G-Research

Video Thumbnail

The Man Who Solved the World’s Hardest Math Problem

Newsthink

Video Thumbnail

Math's Fundamental Flaw

Veritasium

Video Thumbnail

Terence Tao, "Machine Assisted Proof"

Joint Mathematics Meetings

Video Thumbnail

The Extraordinary Theorems of John Nash - with Cédric Villani

The Royal Institution

Video Thumbnail

Tesla’s 3-6-9 and Vortex Math: Is this really the key to the universe?

Mathologer

Video Thumbnail

When Computers Write Proofs, What's the Point of Mathematicians?

Quanta Magazine

Video Thumbnail

Russell's Paradox - A Ripple in the Foundations of Mathematics

Up and Atom

Video Thumbnail

MIT Godel Escher Bach Lecture 1

jasonofthel33t

Video Thumbnail

What Are Numbers? Philosophy of Mathematics (Elucidations)

Philosophy Overdose

Video Thumbnail

A Calculus for Brain Computation

Microsoft Research

Video Thumbnail

What are the prospects for automatic theorem proving?

Microsoft Research

Video Thumbnail

'7 Things You Need to Know About Prime Numbers' - Dr Vicky Neale

Millennium Mathematics Project - maths.org

Video Thumbnail

The Langlands Programme - Andrew Wiles

Oxford Mathematics

Video Thumbnail

Automated Mathematical Proofs - Computerphile

Computerphile

Video Thumbnail

Prof. Kontorovich, Informal Lecture on Mathematical Rigor and the Lean Theorem Prover

Alex Kontorovich

Video Thumbnail

Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA

Institute for Pure & Applied Mathematics (IPAM)

Video Thumbnail

Terence Tao on Prime Numbers

ABCFora

Video Thumbnail

Visualizing quaternions (4d numbers) with stereographic projection

3Blue1Brown

Video Thumbnail

This equation will change how you see the world (the logistic map)

Veritasium

Microsoft Research

About

No channel description available.

Latest Posts

Video Thumbnail

Quantum Computing for Computer Scientists

Microsoft Research

Video Thumbnail

Leaders Eat Last : Why Some Teams Pull Together and Others Don't

Microsoft Research

Video Thumbnail

Outliers: Why Some People Succeed and Some Don't

Microsoft Research

Video Thumbnail

Mathematical Trading Strategies

Microsoft Research