E-recursion, Forcing And C*-algebras