著名的纳粹科学家或工程师有哪些？他们为什么会效忠希特勒？比如普朗特、保时捷？ 著名的纳粹科学家或工程师有哪些？他们为什么会效忠希特勒？比如普朗特、保时捷？如果爱因斯坦不是犹太人，会不会也有可能为其所用？------------------------------------ 数理逻辑界的大牛 Genzen， 发现了一阶逻辑（first-order logic）公式Validity（一个公式称为valid，如果其中的变量无论如何赋值都返回true）通用的证明方法，称为Sequent Calculus。这严格意义上不是一个算法，因为时间复杂度是O(♾️)，但是对于每一个valid的公式都存在一个这样的步骤。我没记错的话大学的时候用过德国两个大学设计的软件，就是利用O(♾️)的算法生成此类公式的证明。但是反过来，如果不是证明“对所有赋值都返回true”，而是证明一阶逻辑公式“至少有一组”赋值能使其返回true，就是完全不可解的问题，因为哥德尔定理。 Genzen这人甚至比那些不关心政治只在乎赚钱的德国科学家更加魔怔，由于德三打击言论自由，大量科学家开始跑路的时候他的想法居然是“别人跑了，我呆在这里晋升更快”，于是甚至加入了纳粹党籍。 后来甚至加入军籍（本来可以依靠科学家的地位免征兵的），去波兰服役，担任一个小小的防空观测员。回来以后被分配到占领的波希米亚保护国（捷克）担任教授。 1945年苏军打来，大量的人都往德国跑并且建议他跑，他居然不跑，或许是觉得苏联人会忌惮他的科学家身份。然而秀才遇到兵，有理说不清，他被苏联人抓进看守所里活活饿死。 研究了一辈子逻辑怎么就搞不清保命的逻辑呢？
