A generalization of the Second Incompleteness Theorem and some exceptions to it.

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

hidden markov models
incomplete information
artificial intelligence
high level
preprocessing
real time
neural network
search engine
image segmentation
bayesian networks
evolutionary algorithm
von neumann
multiple inheritance