Nikolaj-K's notebook

In this wiki I try to keep track of some of the vast amount of mathematical objects and learn about their relationships. This is the credible and neatly interlocked notebook of a physicist and where the content leans towards applications, it's with an eye on stochastics, statistical physics and their computational implementation. It also contains content for a book and ideas for a typed programming language for the formal sciences. The page About contains more details. The Sitemap shows all the Wiki entries at once, while some bullet points of the content are listed below. If you have questions or suggestions, feel free to contact me…

video: youtube (Nikolaj-K)
code: github
CV: LinkedIn

Intuitionistic propositional logicCategory theorySet theoryDomain of discourseLimits in category theoryMonadHaskellMonads in HaskellSet universeFirst infinite von Neumann ordinalk-tape Turing machineNPPresheaves in topologySecond-countable Hausdorff spaceBanach spaceLinear approximationHolomorphic functionRiemann zeta functionFunction integral on ℝⁿMagic Gaussian integralItō integralOn physical units . noteClassical canonical partition functionReaction rate equationMacroscopic observables from kinetic theoryPDE SystemEuler-Lagrange equationsNavier-Stokes equationsBoltzmann equation — …

Log In
Improvements of the human condition