Dai programmi simulativi come teorie alle teorie dei programmi simulativi