There is progress in this direction by mathematicians here: [Jordan operator algebra][1] 


  [1]: http://en.wikipedia.org/wiki/Jordan_operator_algebra