How the Curry-Howard correspondence works, Quanta Magazine posted on the topic
PDF) Finding an Extension of the Expected Value That Is Unique, Finite, and Natural for All Functions in Prevalent Subset of the Set of All Functions
The Nose Has A Few Dunkies Coffees And A Pack Of Menthols: 'Kevin Can F**k Himself,' More
Math Penn Today
String theory - Wikipedia
Picture This: The Hyperbolic Disk
PDF) Defining the Most Generalized, Natural Extension of the Expected Value on Measurable Functions
String theory - Wikipedia
Our Universe may be just a Hologram, complex simulations show
geometry Quanta Magazine
Joseph ATALAYE (@jatalaye) / X
Cosmic Triangles Open a Window to the Origin of Time
Paradox at the heart of mathematics makes physics problem unanswerable
Minimal and maximal lengths of quantum gravity from non-hermitian position-dependent noncommutativity