I believe that you could probably extend Godel's theorems to argue that this isn't feasible.