Shameless self-promotion: https://kevinventullo.com/2020/12/21/2-adic-logarithms-and-f...

I have a vague feeling that the relationship between 2-adic analysis and practical computation is underutilized, but I haven’t been able to nail down a compelling use case.

Looks interesting, thanks for sharing

3blue1brown has an earlier, kind of meta, video about “What does it feel like to invent math?” where Grant tries to show how one might invent, and so by define, p-adics.

Complete with the customarily excellent visual aides.

https://m.youtube.com/watch?v=XFDM1ip5HdU

Veritasium has an excellent introduction to p-adic numbers: https://www.youtube.com/watch?v=tRaq4aYPzCc&t=1632s