Kolmogorov complexity and characteristic constants of formal theories of arithmetic.

Shingo Ibuka Makoto Kikuchi Hirotaka Kikyo

Published in: Math. Log. Q. (2011)

Keyphrases

kolmogorov complexity
inductive inference
formal models
complexity measures
ontological engineering
defeasible logic
theoretical framework
formal model
formal methods
neural network
artificial intelligence
domain theory
cognitive psychology
design theory
formal language