Arnold Beckmann Edwin J. Beggs Benedikt Löwe From Gödel to Einstein: Computability between logic and physics at CiE 2006. 141-143 2008 394 Theor. Comput. Sci. 3 http://dx.doi.org/10.1016/j.tcs.2007.12.016 db/journals/tcs/tcs394.html#BeckmannBL08