Gödel Agents in a Scalable Synchronous Agent Framework. - Jörg Zimmermann 001; Henning H. Henze; Armin B. Cremers (AGI, 2015)