推荐哲学证成与机器编程的书单