| title | subtitle | author | include-before |
|---|---|---|---|
To Type a Mockingbird |
<link rel="stylesheet" href="/index.css"> |
"Coleridge observes that all men are born Aristotelians or Platonists. The latter feel that classes, orders, and genres are realities; the former, that they are generalizations. For the latter, language is nothing but an approximative set of symbols; for the former, it is the map of the universe."
:< -- Jorge Luis Borges
- The Semantic Truth #philosophy #logic
- The Referential Use #philosophy #logic
- The Logical Implication #logic
- The Stateful Automata #formal languages #automata #computability
- The Fundamental Justification #philosophy
- The Measurable Entropy #information theory #statistics
- The Adversarial Computation #cryptography
- The Probable Outcome #probability theory
- The Decisional Hardness #algorithms #complexity
- Underrated Gems (1) -- Tarski's Undefinability Theorem #logic
- An Intuitive Exposition of "Proof by Contradiction vs. Proof of Negation" #logic
- Bloom Filters in Adversarial Environments (Reading Report) #cryptography
:|
