Degrees of Unsolvability Associated with Classes of Formalized Theories.

Solomon Feferman

Published in: J. Symb. Log. (1957)

Keyphrases

theoretical framework
class labels
object classes
database
real time
databases
lower bound
artificial neural networks
active learning
d objects