The Descriptive Complexity of Solutions Gödel's Lost Letter and P=NP, 14 Dec 2009 A circuit based model of descriptive complexity Andrey Kolmogorov was one of the greatest mathematicians of the last century.