强Rasmusen智猪公理系统的最可能局势

基于Rasmusen原始智猪博弈模型,由引进大小猪的跑速、吃速、投食量和槽板距等指标和即喷公理、弱和平公理、强成本公理、强跑速公理和吃速公理,建立了所谓强Rasmusen智猪公理系统。给出最优局势分布公式,得到当成本和槽板距充分小时,最可能两猪都踏;当成本足够大时,最可能大猪独踏的结论。作为应用,引进一种所谓Rasmusen技术创新模型,举例说明了计算这种模型中各局势的概率和如何控制此概率的问题。

《哥德尔不完备定理的思索》导言

不完备定理,是数理逻辑发展过程中的一个里程碑,它标志着自希腊时代以来,以内在“同一性”哲学为指导的形式逻辑发展到了其最高峰.与此同时,西方离散二分特色的逻辑思维模式基于内在矛盾——悖论的暴露开始被明确地提出.上述内在矛盾的存在,即协调时不完备抑或完备时不协调有其特定的适用范围——强公理系统,而并非具备绝对的普遍适用性.