Women Talking About Mathematics

... Toby talking about AI and mathematics, ...

I was very happy to learn about the Lean project: https://leanprover.github.io/logic_and_proof.

Subscribe to Tibees.

Eugenia Cheng talking about abstraction at the Royal Institution on 5 April, 2023. Wouldn't it be cool of we had AI that could tell you about scheduled events nearby that might be interesting to you before they happened?

At 7:42 she talks about how nice it is to be able to see how things work, and how in modern technology that's seldom the case anymore. At 11:00 ... The logical study of how logical things work: see Reverse Engineering the MOS 6502.

Get her book The Joy of Abstraction in hardback or as an e-book: https://geni.us/GBfELuE.

Subscribe to Royal Institution.

Jade talking about optimization and symmetry. See Jade on Geometry and Optimization:

Subscribe to Up and Atom.


Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023