eorge Homans等社会学家辩称社会理论应该被形式化（正规化）（"formalized"），成为命题和精确术语的阶层结构，其他的命题与假设可以从中被推演出来并操作化以进行实証研究。由于电脑演算法与程式早在1956年就已用来测试和验证数学定理，例如四色定理，社会科学家与系统动力学家预期类似的计算取径可以类比地「解决」与「证明」正规化的问题，和社会结构与动力的理论。
鉅视模拟与微视模拟.到了1960年代晚期与1970年代早期，社会科学家使用更为可得的电脑科技对组织、产业、城市，与