20世纪30年代和40年代，数理逻辑和关于计算本质的新思想对人工智能的形成产生了重要影响。