Login / Signup
Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic.
Eric Allender
George Davie
Luke Friedman
Samuel Hopkins
Iddo Tzameret
Published in:
Chic. J. Theor. Comput. Sci. (2013)
Keyphrases
</>
kolmogorov complexity
inductive inference
formal models
ontological engineering
high speed
formal model
formal methods
data sets
face recognition
delay insensitive
support vector
nearest neighbor
theoretical framework
cognitive psychology
knowledge base
analog circuits
artificial intelligence
logic synthesis