Math Debrief

• name: debrief.math

• repo: https://github.com/mandober/debrief.math

• book: https://mandober.gitbook.io/math-debrief/ (out of sync)

• desc: lo-fi math notes

About

A collection of notes about math, largely from Wikipedia, a copypasta pile of articles intended never to be looked at again. Covering the topics that include the foundations of mathematics, set theory, relation theory, order theory, domain theory, function theory, graph theory, mathematical logic, proof theory, lambda calculi, type theory, abstract algebra, category theory. Fields that are part of both math and CS, primarily, the theory of computation, along with its subfields, lack a permanent settlement (biased towards debrief.math).

Topics

• FM Foundations of Mathematics

• ST Set Theory

• RT Relation Theory

• OT Order Theory

• FT Function Theory

• GT Graph Theory

• ML Mathematical Logic

• PT Proof Theory

• LC Lambda Calculi

• TT Type Theory

• AA Abstract Algebra

• CT Category Theory

• TC Theory of Computation

Biased endorsements

"Endorsement of a particularly sensational, violent concept of mathematics that provokes and reflects the pervasive sense of embittered anger, confusing restlessness, socio-sexual frustration or otherwise derived alienation endured by a generation of disenfranchised devs, amidst the declining interests in denotational semantics and overall program correctness, smack right in the bug-ridden sigh of our times." -- Simon Ferocious 🚌🚏🐀👜

"An almost language-free communication of ideas previously though improbable. The lure of imaginary is momentarily frozen before the dialectic of desire plugs the leaks of abstraction setting in motion the entirety of implied events."-- Phineas Gage 👨‍🚒👨‍🚒

"C'est un espace trop chiffré, n'est-ce pas?" -- Abraham Surd 🪑🪑🪑

Related

The debrief series:

• math

• cs

• pls

• haskell

• rust

• js

• tech, apps, shell, linux, web

• linguistics, sci, research

• frobnicated

• hierarchy and hierarchical issues

• certain topic bleed across realms