Kevin Buzzard is a professor in Imperial College London working in number theory and formal proof verification. In this interview, Kevin shares his views on the role of computers in doing math, tells about his experience of upbringing 3 kids as a researcher and raises questions about the way we approach math education. Lots of glorious laughter and unforgettable facial expressions are included!

Kevin's homepage: https://www.imperial.ac.uk/people/k.buzzard

Channel podcast: https://anchor.fm/math-life-balance​​​​

Chapters:

0:00 teaser

0:48 Kevin’s t-shirt

3:06 imagination in math

5:36 computers vs humans

10:43 computers and infinity

12:35 math as a zen puzzle

15:19 role of fashion in math

20:06 mathematicians detecting mistakes

24:41 imperfections in our math

29:14 when the dust settles

31:56 not caring what people think

36:01 how to entertain kids in the subway

40:26 babies as the way to understand humanity

42:52 doing math when you have 3 kids

46:09 writing papers with non-mathematicians

48:54 why kids are forced to memorize math?

53:29 doing exams vs learning math

57:16 unusual advice for students

59:15 the answer to the ultimate question