El primer gran filósofo del software