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

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