A formal proof of the independence of the continuum hypothesis.

Jesse Michael Han Floris van Doorn

Published in: CPP (2020)

Keyphrases

formal proof
theorem prover
database
neural network
knowledge base
conditional independence
real time
artificial intelligence
case study
feature extraction
data structure
natural language
inference rules
hypothesis space