エピソード

  • #63 Exploring anomalous diffusion: an interview with Aleks Mijatovic and Codina Cotar
    2024/10/07

    In the latest episode of Living Proof, Dan Aspel speaks to Aleks Mijatovic (Warwick, Alan Turing Institute) and Codina Cotar (UCL) about the Stochastic systems for anomalous diffusion programme. They’ll be speaking about the theme and challenges of their highly interdisciplinary six-month research project, but the conversation starts with comments on some truly remarkable headwear…

    Stochastic systems for anomalous diffusion programme: https://www.newton.ac.uk/event/ssd/

    Submit a proposal for an INI programme: https://www.newton.ac.uk/events/submit-a-proposal/

    00:00 - Introduction

    00:41 - Welcome, an insight into “flamboyant” hat designs

    03:53 - Explaining the concept of anomalous diffusion

    07:05 - Connections to physics, biology, statistical mechanics and more

    10:00 - The logistical support at INI in Cambridge: “I’ve never been so relaxed in my life!”

    13:20 - “The freedom this place affords us is great, and fertile ground for such things to happen”

    17:52 - Solutions vs questions

    20:44 - Personal highlights of the programme

    続きを読む 一部表示
    29 分
  • #62 Exploring Twistor Theory - an interview with Lionel Mason and Maciej Dunajski
    2024/10/03

    In the latest episode of Living Proof, Dan Aspel speaks to Professors Lionel Mason (Oxford) and Maciej Dunajski (Cambridge) of the Twistor Theory programme (https://www.newton.ac.uk/event/twt). Over the 30 minutes, they share their experiences of the scale and challenges of this far-reaching topic that - amongst other things - aims to unify general relativity and quantum mechanics.

    00:00 - Introduction

    00:42 - Welcome

    01:48 - “I have been excited about this programme for 40 years”, introducing the topic

    05:18 - Successes of the programme, the attendance of Roger Penrose

    06:30 - Connecting Twistor Theory with the Kennedy assassination, a short history of the field

    10:28 - The many languages of mathematics

    13:45 - Periods of acceleration within the field, “… the 70s must have been truly exciting”, the collaboration between Penrose and Michael Atiyah

    17:50 - “Roger makes no secret of the fact that he disapproved of String Theory”

    19:48 - What applications can one expect from Twistor Theory?

    27:14 - Personal highlights of the month-long programme, celebrating 30 years of collaboration

    続きを読む 一部表示
    30 分
  • #61 Organising an INI Satellite Programme: an interview with Professors Mark Blyth and Sasha Korobkin
    2024/09/25

    In the latest episode of Living Proof, Dan Aspel speaks to Professors Mark Blyth and Sasha Korobkin, organisers of the INI Satellite Programme “The mathematics of multiphase flows with applications” (https://www.newton.ac.uk/event/mfa/). In the conversation, Mark and Sasha explain the programme’s research themes and share their insights into the challenges and rewards of organising an INI programme at your home institution - in their case the University of East Anglia in Norwich.

    00:00 - Introduction

    00:49 - Welcome, overview of the programme, UEA and Norwich as a venue

    07:22 - Social aspect of INI programmes

    09:20 - Structure of the programme, starting with a summer school

    13:02 - Central workshop of the programme: “New directions in multiphase flows” (https://www.newton.ac.uk/event/mfaw02/), connections with industry

    16:30 - The challenges of running a satellite programme, without the infrastructure provided in Cambridge

    20:50 - Discussing the two-year lead time from proposal to preparation to hosting the month-long programme, the importance of planning far in advance

    22:45 - Success of the science during a month-long programme

    26:38 - Personal highlights: “I was amazed we made it through the month without any catastrophes”, lecture on beer tapping

    29:25 - Final thoughts, looking to the future

    続きを読む 一部表示
    33 分
  • #60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Buzzard
    2024/09/25

    In the latest episode of Living Proof, Dan Aspel speaks to Professor Kevin Buzzard of Imperial College London. Inspired by a lecture given by Thomas Hales at INI’s Big Proof (https://www.newton.ac.uk/event/bpr/) programme in 2017, Kevin has spent the past seven years working alongside fellow enthusiasts on the “Maths Library” project. In this conversation he explains the project in detail, touching on why the programming language of Lean was chosen, and how it interacts with his recent five-year grant to check the proof of Fermat’s Last Theorem.

    If you have been inspired by Kevin’s story, make sure to visit the October 2024 INI research programme Big Specification (https://www.newton.ac.uk/event/bsp/), much of which will be available to watch via live stream on newton.ac.uk

    00:00 - Introduction

    00:48 - Welcome, explaining the concept behind the “Maths Library”, digitising mathematics

    04:20 - “It’s like asking if a submarine can swim”

    07:55 - Harnessing the involvement of undergraduates

    09:45 - Discussing the motivation, end goals and challenges of the project

    17:28 - “The other question is: how far is it going to go? This is an ongoing topic of debate”

    20:21 - A minimal, pessimistic prediction of expected progress in 10 years’ time

    29:30 - A five-year grant to prove Fermat’s Last Theorem

    36:55 - “I’d like to think I’m making the proof of Fermat’s Last Theorem more beautiful”

    38:48 - “The goal is to make tools that, together with AI techniques, will turn mathematics on its head”

    40:10 - Discussing “Lean” as a functional programming language

    44:50 - “The INI Big Proof programme (2017) changed my life completely” (https://www.newton.ac.uk/event/bpr/)

    52:50 - “If you hadn’t streamed it, I never would have seen it”, a transformation from a “second-rate number theorist” to business class flights, four-star hotels and chauffeur-driven cars on an international lecture tour

    54:48 - “I still wake up every morning thinking ‘I want to prove Fermat’s Last Theorem’”

    続きを読む 一部表示
    56 分
  • “Meet the… Simons Postdoctoral Fellows” mini series #12 Dr Luke Davis
    2024/08/30

    Established in 2021, the INI Postdoctoral Fellowships in Mathematics scheme enables “exceptional early career researchers in the mathematical sciences” to gain “experience, independence and new connections on their way to a successful academic career”.

    In this episode of Living Proof, Dan Aspel speaks to Dr Luke Davis to learn about his journey through mathematics so far, and to find out what being awarded this Fellowship – which involves spending six months on the INI research programme “Stochastic systems for anomalous diffusion” – means to him personally.

    00:00 - Introduction

    00:38 - Welcome

    01:55 - Taking part in “Stochastic systems for anomalous diffusion” (https://www.newton.ac.uk/event/ssd/)

    05:54 - What does an early career researcher bring to an INI research programme? And what can they gain?

    10:50 - Why transition from physics to mathematics?

    13:40 - The experience of working at INI, “a place engineered for people to think, to talk”

    15:04 - The future, the University of Edinburgh


    続きを読む 一部表示
    19 分
  • #59 Meeting the three mathematics medalists from the STEM for Britain awards 2024
    2024/04/24

    In this episode of Living Proof, Dan Aspel is joined by three guests: Daniel Gardham (Surrey), Katherine Benjamin (Oxford), and Francisco de Melo Virissimo (LSE), all of whom won medals as podium finishers at the 2024 STEM for Britain awards at the UK parliament in March. The conversation covers their success in the highly competitive poster exhibition, how it felt to present their mathematical research to politicians and the public, and what the future holds for each of them from this point onwards.

    > https://stemforbritain.org.uk/
    > https://www.newton.ac.uk/news/ini-news/stem-for-britain-winners-2024/

    00:00 - Introduction
    02:20 - How does it feel to have won medals at STEM for Britain?
    04:40 - What attracted you to the event?
    08:10 - What’s it like presenting mathematical research to MPs and politicians?
    12:10 - Learning to communicate key information quickly and more efficiently, and comparisons with academic settings
    16:40 - Could all academics benefit from this kind of experience?
    19:00 - How would pure maths fare at en event such as STEM for Britain?
    20:50 - A strong field of finalist posters, but little time to enjoy them
    23:30 - The experience of visiting Parliament and the atmosphere of the event
    27:27 - What does the future hold for each of you?

    続きを読む 一部表示
    33 分
  • “Meet the… Simons Postdoctoral Fellows” mini series #11 Dr S. J. Kole
    2024/03/15

    Now in its third year, the INI Postdoctoral Fellowships in Mathematics scheme enables “exceptional early career researchers in the mathematical sciences” to gain “experience, independence and new connections on their way to a successful academic career”.

    In this episode of Living Proof, Dan Aspel speak to Dr Swapnil Jaideo (SJ) Kole to learn about her journey through mathematics so far, and to find out what being awarded this Fellowship – which involves spending three months on the INI research programme "New statistical physics in living matter: non equilibrium states under adaptive control" and nine months working with Professor Michael Cates at Cambridge University’s Department for Applied Maths and Theoretical Physics – means to her personally.

    続きを読む 一部表示
    8 分
  • #58 Linking Cambridge with Africa: how to co-host an international research workshop
    2024/03/07

    From 8-12 January 2024, the "Equivariant methods in geometry" took place in INI's main seminar room in Cambridge, UK. So far, so routine procedure. However, this workshop had the unique twist of being run in parallel with a team at the University of Ibadan, Oyo State, Nigeria. Linked by audio-visual streaming connections, the two events were remotely connected and operated as one throughout the week.

    Following successful interactions across continents (on top of the usual collaborations taking place at the Cambridge base), Dan Aspel caught up with organisers and participants: Victoria Hoskins, Praise Adeyemo, Joshua Jackson and Dominic Bunnett to find out how the partnership came about, and how others could do the same with their own research meetings.

    続きを読む 一部表示
    22 分