Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
4-Dimensional Cross-Polytope
johncarlosbaez.wordpress.com·1d
Decoding the Mystery of Intuition: Pioneering Philosopher of AI Margaret Boden on the Three Elements of Creativity
themarginalian.org·17h
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·3d
Loading...Loading more...