Alexandre Miquel: "Implicative algebras: a new foundation for realizability and forcing"
@ToposInstitute
youtube.com/watch?v=MDLpG7…
arxiv.org/pdf/1802.00528…
- Posits, a New Kind of Number, Improves the Math of AI
- Math error: A new study overturns 100-year-old understanding of color perception phys.org/news/2022-08-m… via @physorg_com
- Twittable #lean definition of the Polynomial functor def poly (I : Type*) (c : I → Type*) (x : Type*) := Σ i : I, c i → x
