Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mandober/debrief.math
math notes and reference
https://github.com/mandober/debrief.math
math math-notes mathematics
Last synced: 3 days ago
JSON representation
math notes and reference
- Host: GitHub
- URL: https://github.com/mandober/debrief.math
- Owner: mandober
- License: unlicense
- Created: 2018-06-10T17:24:30.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2024-12-21T14:11:49.000Z (17 days ago)
- Last Synced: 2024-12-21T15:22:51.984Z (17 days ago)
- Topics: math, math-notes, mathematics
- Homepage:
- Size: 17.7 MB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Math Debrief
- name: `debrief.math`
- repo: https://github.com/mandober/debrief.math
- desc: lo-fi math notes
- auth: 🚌🚏🐀👜
## About
"Donnie, you're out of your element!" lo-fi collection of math notes.
Largely scrubbed from Wikipedia. An unremarkable copypasta of articles intended to be consulted never again. Otherwise, each subsequent visit should digests the content further, compressing the topics down to their bare essentials, provided internalization kicks in.
Topics: the foundations of mathematics, mathematical logic, proof theory, set theory, relation theory, order theory, domain theory, function theory, graph theory, lambda calculi, type theory, abstract algebra, category theory.
Classification of topics is still a hard problem. Topics belonging to both math and CS (theory of computation and programming language theory in particular) span across both math and cs tiers. Should consolidate multiple copies in one place.
## Topics
* FM Foundations of Mathematics
* PM Phylosophy 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
## Dubious 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 🪑🪑🪑
* _"Huius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."_ -- F-Monk
* *...a preeminently peerless pile of 💩* -- drich
----------------------------------------------------------------
## Debriefs
- math
- cs
- haskell
- tech (apps, shell, linux, web, pls, rust, js)
- linguistics, research
- hierarchy and hierarchical issues
- certain topic bleed across tiers
## Methodology
```
┌─ The method ─────────────┐
│∙ copypasta │
│ ┌ ∙ digest ←───────┐ │
│ │ ∙ destill │ │
│ │ ∙ instill │ │
│ └→ do until ───────┘ │
│∙ pure informational cack │left
└──────────────────────────┘
```
- [x] verbatim
- [x] unclear
- [ ] unfathomable
- [x] cryptic
- [ ] inscrutable
- [x] finicky
- [ ] Greek to me
- [ ] maximum risk
- [x] what a waster
- [ ] minimum reward
- [x] charade you are