Can We Make the Second Incompleteness Theorem Coordinate Free?

Published in: J. Log. Comput. (2011)

Keyphrases

incomplete information
object recognition
scheduling problem
database
neural network
computer vision
metadata
high level
cooperative