the future of mathematics? professor kevin buzzard - 30 may 2019
Published 5 years ago • 13K plays • Length 58:46Download video MP4
Download video MP3
Similar videos
-
13:40
will machines eat mathematics ? | kevin buzzard | tedximperialcollege
-
54:12
will computers outsmart mathematicians?
-
1:14:48
the future of mathematics?
-
2:58
kevin buzzard: mathematics and the computer
-
9:10
how does the choice of foundation influence mathematics? | stephen wolfram, kevin buzzard
-
53:46
kevin buzzard, imperial college london: "is hott the way to do mathematics?"
-
53:04
children's christmas lecture 2018 - secret codes and how to crack them!
-
57:40
can maths predict the future?
-
55:44
grothendieck conference - kevin buzzard
-
1:16:06
what is an interactive theorem prover? | kevin buzzard
-
4:20
are computer proofs useful for human understanding? | carlos zapata, kevin buzzard
-
1:00:19
kevin buzzard on formalisation of mathematics
-
1:09:52
kevin buzzard | teaching proofs to computers
-
1:01:33
interview with kevin buzzard
-
26:46
kevin buzzard (imperial college) collaborating with undergraduates on building a library
-
19:51
some mathematicians at imperial college london - 1981
-
1:15:35
how do you convince mathematicians a theory prover is worth their time? with kevin buzzard
-
1:05:21
kevin buzzard | teaching computers about numbers | numerous numerosity 2021
-
6:03
motivation and state of the art for the lean theorem prover | kevin buzzard
-
0:45
studying the big bang: achim kempf
-
43:54
kevin buzzard: mathematics and the computer with g-research