更改

   --~~克劳德·香农（Claude Shannon）  这些同样去括号

   --~~克劳德·香农（Claude Shannon）  这些同样去括号

的<font color='red'>要求</font><font color='blue'> 思路</font>，战后结构功能主义社会学家如帕森斯（Talcott Parsons）利用这些组成部分之间系统<font color='blue'>化</font>和<font color='red'>等级</font><font color='blue'> 层次化</font>相互作用的理论，试图产生大统一的社会学理论，如 AGIL 范式。霍曼斯（George Homans）等社会学家认为，社会学理论应该被构建为具有<font color='blue'>逻辑</font>命题和精确术语的<font color='red'>等级</font><font color='blue'> 层次化</font>结构，并且从中可以得出能够在实证研究中被操作化的其他命题和假设。由于早在1956年计算机算法和程序就已经被用来测试和验证数学定理（如'''四色定理Four Color Theorem'''），一些学者预计相似的计算方法可以“解决”和“证明”类似的社会结构和<font color='red'>动态</font><font color='blue'> 演变</font>的<font color='blue'>形式化--[[用户:木子二月鸟|木子二月鸟]]（[[用户讨论:木子二月鸟|讨论]]formalized应该也要翻译出来，computational证明的是形式化定理) </font>问题和定理。

的<font color='red'>要求</font><font color='blue'> 思路</font>，战后结构功能主义社会学家如帕森斯（Talcott Parsons）利用这些组成部分之间系统<font color='blue'>化</font>和<font color='red'>等级</font><font color='blue'> 层次化</font>相互作用的理论，试图产生大统一的社会学理论，如 AGIL 范式。霍曼斯（George Homans）等社会学家认为，社会学理论应该被构建为具有<font color='blue'>逻辑</font>命题和精确术语的<font color='red'>等级</font><font color='blue'> 层次化</font>结构，并且从中可以得出能够在实证研究中被操作化的其他命题和假设。由于早在1956年计算机算法和程序就已经被用来测试和验证数学定理（如'''四色定理Four Color Theorem'''），<font color='red'>一些学者预计相似的计算方法可以“解决”和“证明”类似的社会结构和动态的问题和定理。</font><font color='blue'> 一些学者预计相似的计算方法可以“解释”和“证明”关于社会结构和演变的类似形式化的问题和定理。</font>

--[[用户:木子二月鸟|木子二月鸟]]（[[用户讨论:木子二月鸟|讨论]]formalized应该也要翻译出来，computational证明的是形式化定理)

===Macrosimulation and microsimulation 宏观模拟和微观模拟===

===Macrosimulation and microsimulation 宏观模拟和微观模拟===