Explore >> Select a destination


You are here

www.goodmath.org
| | rjlipton.com
45.2 parsecs away

Travel
| | A new way to write mathematics Vladimir Voevodsky won the Fields Medal in 2002 for his work on homotopy theory of algebraic varieties. Using his pioneering methods he proved, among many other things, a deep conjecture of John Milnor, that had been open for decades. Today I want to talk about, no, rant about, a...
| | christophepocharienergietechnik.com
15.7 parsecs away

Travel
| | Arrhenius's Demon: The Chimera of the Greenhouse effect Arrhenius's Demon: The Chimera of the Greenhouse effect Posted on January 6, 2023 by Christophe Pochari Introduction Note: The radiative heat transfer equation based on Stefan-Boltzmann 4th power law is erroneous and cannot be relied upon. The only way to possibly measure radiative heat transfer is by...
| | www.philipzucker.com
55.0 parsecs away

Travel
| | I've been struggling with defining the transcendental functions like exp, sine, cosine in knuckledragger https://github.com/philzook58/knuckledragger , my python proof assistant based around z3.
| | almostsuremath.com
141.3 parsecs away

Travel
| The aim of this post is to motivate the idea of representing probability spaces as states on a commutative algebra. We will consider how this abstract construction relates directly to classical probabilities. In the standard axiomatization of probability theory, due to Kolmogorov, the central construct is a probability space $latex {(\Omega,\mathcal F,{\mathbb P})}&fg=000000$. This consists...