Artificial General Intelligence
godel machines : fully self - referential optimal universal self - improvers .