On Interpreting Chaitin's Incompleteness Theorem.

Panu Raatikainen

Published in: J. Philos. Log. (1998)

Keyphrases

sufficient conditions
three dimensional
high quality
missing values
incomplete information
digital topology
database
real time
artificial intelligence
multimedia
cooperative
pattern recognition
interactive theorem proving