## Blackbody Thermodynamics

Blackbody radiation as an application of the foundation of thermodynamics

Read moreBlackbody radiation as an application of the foundation of thermodynamics

Read moreI want to show some simple heuristic calculations which show how monad rules stem from a functor adjunction.

Suppose we have some sort of duality product, and some "operators" \(A\) and \(A^*\).

Adjunctions means that \[ \langle y , A x \rangle \equiv \langle A^* y , x \rangle \]

We assume …

Read moreA natural derivation of the entropy from maximum likelihood.

Read moreThe fundamental mathematical ideas behind thermodynamics

Read moreSome notes on the elementary properties of the exponential families

Read moreA proof of the divergence of the harmonic series with the Coq proof assistant.

Read moreA companion matrix is a matrix with a prescribed characteristic polynomial. I would like to show them from a broader perspective: companion matrices are the matrix version of a shift operator.

Read moreType logic is the logic directly associated to types. It turns out that one can go quite far with regards to proving statements with Haskell. I show how to do that, and even how to prove statements in classical logic with Haskell.

Read more