A learning problem that is independent of the set theory ZFC axioms.

Shai Ben-David Pavel Hrubes Shay Moran Amir Shpilka Amir Yehudayoff

Published in: CoRR (2017)

Keyphrases

set theory
learning algorithm
learning process
databases
first order logic
real time
information retrieval
color images
partial order