News for hackers. Stuff that matters.

A comment on New Shape Opens ‘Wormhole’ Between Numbers and Geometry.

Re:New Shape Opens ‘Wormhole’ Between Numbers and Geometry by jesuslop on Monday July 19, 2021 @12:41PM (#27884630)
It's about Scholze work on perfectoid spaces. A nice intro talk in Spanish is at https://cienciastv.org.mx/2020/08/el-mundo-perfectoide-adria...
[ Parent | on HN ]
Re:New Shape Opens ‘Wormhole’ Between Numbers and Geometry by infogulch on Monday July 19, 2021 @11:07PM (#27889689)
Didn't Kevin Buzzard work on a proof related to perfectoid spaces using Lean theorem prover that featured here a few months ago?
[ Parent | on HN ]
Re:New Shape Opens ‘Wormhole’ Between Numbers and Geometry by jesuslop on Monday July 26, 2021 @08:17AM (#27958484)
Yep, you are right. Kevin Buzzard, Johan Commelin, and Patrick Massot, slide 31 at

https://robertylewis.com/files/lean_intro_slides.pdf

[ Parent | on HN ]