# 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*