La inspiración para esta pregunta es la siguiente (vaga) pregunta: ¿Cuáles son los fundamentos lógicos / del lenguaje de programación para tener una IA que pueda razonar sobre su propio código fuente y modificarlo? Esto no es del todo riguroso, así que aquí está mi intento de extraer una pregunta...