Learning algorithms versus automatability of Frege systems

Re-assign community