The Logical Ouroboros: When K-SAT Denies Itself
Fall 1956. Kurt Gödel puts pen to paper, drafting a question for the dying John von Neumann: Can the satisfiability of a Boolean formula be checked faster than brute-force trial and error? The answer comes 69 years later, and it turns out to be the bite of the logical ouroboros, the mythical serpent that devours its own tail.
The serpent is born from randomness.