A inspiração para esta pergunta é a seguinte (vaga) pergunta: Quais são os fundamentos lógicos / da linguagem de programação para ter uma IA que possa raciocinar sobre seu próprio código-fonte e modificá-lo? Isso não é rigoroso, então aqui está minha tentativa de extrair uma questão concreta. Há...