Tag Archives: perfectoid space

A computer-generated proof that nobody understands

Computers can find 1000 page proofs about simple things. Why not Shimura varieties? Continue reading

Advertisements
Posted in General | Tagged , , , , , , , , , , | Leave a comment

Perfectoid spaces!

Patrick Massot, Johan Commelin and I finished our definition of a perfectoid space in Lean! Patrick and Johan are professional mathematicians like me, not Imperial undergraduates, but I am sufficiently excited about the project that I couldn’t stop myself blogging … Continue reading

Posted in Uncategorized | Tagged , , , , , | 4 Comments