Machine Learning, 2003. Leg06a. Shane Legg. Friendly ai is bunk. Vetta Project, 2006. http: //commonsenseatheism. con/ wp-content/uploads/2011/02/Legg -Friendly -AI -is -bunk.pdf. Leg06b. Shane Legg. Unprovability of friendly ai. Vetta Project, 2006. ht tp: / /www vette.org/2006/ 09/unprovability -of -frie