December 2010
2 posts
In defense of Circular Reasoning
In the first draft of this post, I spent an inordinate amount of time explaining the concepts of “axioms”, “propositions”, “logical equivalence”, and so on, only to come to the realization that the people who are actually going to care enough to read this post probably already know what all those terms mean anyway. So let’s skip to the real meat of the...
Encoding directed graphs in undirected graphs
My friend Gary challenged me to try to encode a directed graph as an undirected graph. Clearly jealous of my superior intellect, every time I came up with a solution (e.g. “A single node, where the label of the node is the Base64 encoding of the directed graph.”), he’d make up some excuse why my answer was not acceptable (“no labels”, “there’s a million...