形式逻辑四大模块，形式逻辑四种命题关系

哥德尔呢

如何构造PM的一个公式g，使其表达以下元数学命题：“使用PM的规则，公式g是不能证明的”。

哥德尔，

g是可以证明的，只有其否定形式~G是可以证明的。

而哥德尔，

g虽然形式上不能证明，但它是真正的算术公式。

步骤还包括：

g是真的，形式上不可判定，所以PM一定是不完全的。

在步骤中，

哥德尔解释了如何构建公关公式a。 它所表示的元数学命题是“PM一致”。 并证明公式“a真的包含g”可以用PM形式证明。 最后，他表明式a在PM中是不可证明的，并推论PM的一致性只要镜像为PM自身构成的形式的演绎系统，就用任何系列的逻辑推理都无法证明。

——————欧内斯特内格/詹姆斯r .纽曼《哥德尔证明》

——————————————————

从理论上讲，一个交易者假设成立时，其映射的盈亏比、交易频率、胜率也必须按一定比例确定。

但在实际交易中，假说并不能完美实现。 交易者即使能彻底克服执行问题，也无法正确把握行情动向的细节，因此会产生一系列的落差。

我把他们大致分为以下三种情况，

1、损失

2、撤资

3、系统性风险

除非发生这三种情况，假设所能达到的具体效果总是交易者脑海中的抽象模型。 因此，交易者在作出假设时，其脑海中必须有适当的抽象模型成立。 它不是对过去历史行情统计的结果，而是其中所蕴含的规律和节奏。

假设的具体表现情况和脑海中的模型相差多少取决于交易者处理这三种情况时的能力。

————————————335433543——3——3——3——33——3333334 –

初期，交易者寻找能掌握行情具体走势的规律，期待能以高胜率获利。 并在漫长的经验积累中，交易者发现并非一成不变，规律本身会发生变化。

之后，交易者进入更高的水平，期待法则背后的法则带来更完整的解释，精细操作技术进化为形式系统，在更长的时间内，形式系统运行良好。

正当交易者认为自己完全掌握了行情的规律。 另外，我们发现规律的规律会随着时间的推移而变化。 然后，层层递归地指向无限。

到了这一步，寻找市场绝对规律的期待已经消失了。 市场上没有“本质”。 趋势交易战略可以获利。 套期保值、高频、套期保值也可以获利。 他们否则就不会争对错。 相反，他们和谐共处似乎是一体的。

构建描述整个市场行为的大统一理论是不可能的，根本不可能，谁也不能保证完全掌握包括过去和未来在内的所有市场规律。

————————————————————

毫无疑问，根据战略的完整性和目的，交易者没有太多选择的余地。 针对性和完整性的不可调整之和永远存在，以前没有，但今后战略也不可能很好地适应变化，完美地表达所有变化。

由于客观存在三种情况，交易者只能走针对性的道路，不期望随时获利，而是期望在适当的时机获得超额利润。

于是，在得到针对性验证的同时，也产生了退却。

只要交易者承认他的假设命题能在正确的时候完全描述市场行为，他也必须承认。 在不正确的时候，他的叙述有时完全错误，有时完全背离。

只要元命题成立，等价的逆否命题也一定成立。 这是针对性战略诞生瞬间的阴影。

如果天使存在的话，恶魔也一定存在。

————————————335433543——3——3——3——33——3333334 –

形式系统的有效性不能从内部获得，其有效性需要在市场上得到验证。 市场体系的有效性不能来自市场本身，其有效性需要人类社会的检验。 人类社会的有效性不能从人类社会本身获得，其有效性需要随着世界的进化而验证。

任何内部无矛盾性形式的系统都是不完整的，他始终存在空白与外部更大的系统联系在一起，无论层次是大是小，其不完整总是存在的。

认识到形式系统只是市场内部的一小部分，并不能囊括所有的市场行为。 只有跳出形式系统，才能看到更完整的市场，才能看到逻辑本身的小和局限。

凡是与自然规律联系在一起的，它必然不能只靠逻辑和理性完全概括，总是有经验的，艺术直觉游离于形式系统之外，是真理的一部分。

医学、数学、文学、建筑学、社会学、经济学，它们必须始终具有一定的美感，是科学与艺术的完美结合，才是上乘之作。

————————————————————

因此，话语可能会引导我们进入某个真理——，也可能引导我们进入某个虚假的——，但并不是所有的真理。 如果你依靠语言走向真理，那就像依靠不完美形式的系统走向真理一样。 一个形式系统确实会给你真理，但很快你就会看到，无论一个形式系统多么强大，都不能给你全部的真理。 数学家们的困境不仅仅是形式上的系统，还有什么是可以依靠的。 禅宗信徒的困境，除了语言，还有什么可以依靠的吗？ 门把这种困境说得很清楚。 “不要有语言。 不要沉默不语。 ”

————侯世达《哥德尔、艾舍尔、巴赫——集异璧之大成》