To Type a Mockingbird
“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
Study Traces / Notes
- 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
Mind Dumps / Notes
- 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