A Proof of the Independence of the Continuum Hypothesis.

Published in: Math. Syst. Theory (1967)

Keyphrases

databases
theorem prover
data sets
theorem proving
machine learning
artificial intelligence
real world
information systems
e learning
knowledge base
three dimensional
objective function
conditional independence
hypothesis space
dependence structure
geometry theorem proving