The Independence of the Continuum Hypothesis in Isabelle/ZF.

Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf Matías Steinberg

Published in: Arch. Formal Proofs (2022)

Keyphrases

theorem prover
natural deduction
conditional independence
artificial intelligence
decision trees
neural network
data mining
information retrieval
computer vision
video sequences
probability distribution
hypothesis verification