FOM: 70:Efficient Formulas and Schemes (correction)

Stephen Fenner fenner at cs.sc.edu
Wed Nov 3 14:55:57 EST 1999


> 
> CONJECTURE: bE is recursively isomorphic to (a different coding of) bE.
> 

Sorry, I meant

CONJECTURE: bE (beta-efficient theories) is recursively isomorphic to R
            (Kolmogorov random strings)





More information about the FOM mailing list