Proof — PAC learning
Statement
Probably approximately correct learning; algebraic computation. Proved in ZFC.
Source
IMU Abacus Medal 1986. Probably approximately correct learning; algebraic computation. Proved in ZFC.
Domains
computer-science
Probably approximately correct learning; algebraic computation. Proved in ZFC.
IMU Abacus Medal 1986. Probably approximately correct learning; algebraic computation. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/valiant-abacus-1986/