20世纪30年代，围绕可计算这一重要思想，一些模型被提出。下述哪个模型不是于这个时期在可计算思想推动下产生的（ ）A. 原始递归函数B. lambda 演算C. 图灵机D. 冯诺依曼模型

20世纪30年代，围绕可计算性这一重要思想，一些模型被提出。这些模型包括原始递归函数、lambda演算和图灵机。冯诺依曼模型则是在稍后的时间，即20世纪40年代提出的。因此，冯诺依曼模型不是在20世纪30年代可计算思想推动下产生的模型。