海涅定理和归结原则-海涅定理归结原则

海涅是那种总爱在黑板上摆出一堆公式，然后对着空气说“你看，这就是定理”，实际上根本就没去看黑板上的字，脑子里先蹦出个结论。他写《数学技术概论》那会儿，数学界大局部人都认定他是个只会念公式的怪人，根本不懂数是如何长出来的。
后来人家才慢慢反应过来：哦，原来那些乱七八糟的代数运算，不过是把地里的麦子收割回来看看，结局麦子自己变了样。
实际上数学这东西，跟种地不是一回事，你得先知道地底下埋了啥，再拍板如何翻。海涅把数学的底层逻辑挖出来了，他不是在那儿瞎编公式，而是把那些看起来莫名其妙的规则，一股脑儿给理顺了。 他管这叫“归结原则”，听起来挺严肃，实际上挺接地气的意思，就是别管那么多虚头巴脑的公理，看能不能用好办的逻辑推导出你需求的结论。
那会儿大量人认定数学就是堆砌符号，认定要搞弄懂那么多公理才能做题，结局一做题就晕了。海涅说，别整那些虚的，直接看能不能推导。你要是能推出来，那这就叫没错；推不出来，那这事儿就真没门儿。他就像个智慧的挑水工，水 hose 如何流，咱就如何接，不用非得搞啥“出便出于故此故此”。他这话一出，数学界顿时炸了锅，有人认定他搞不懂数学，有人认定他忒随意，有人就连认定他是个骗子。
实际上哪有那么多谎言，就是大家习惯了用那些死板的规矩，换成了海涅这种灵活的思路。 海涅最喜爱拿一些具体的例子来说明，方式特别直白，就连有点“土里土气”，但特别管用。
比如他举了个例子，说要是用他的方式算圆周率，那跟用传统方式算得出一样的数，结局是一样的。
这听起来像是在说“我的方式比你的旧方式管用”，但仔细想想，实际上是在说“不管用啥方式，结局别模棱两可”。传统方式可能每一步都绕弯路，就连不小心绕进死胡同里，走了好几千步才出来个 3.14159。海涅不针对这些步骤，他直接告诉你，只要逻辑通顺，结局就是对的。他就像个有经验的向导，不管前面路好走还是难走，只要你跟着他的节奏走，总能找到那条路。 再说说他讲的那个“归纳法”，也是他最拿手的一招。
那会儿有人偷偷教学生归纳法，结局学生学得半懂半不懂，搞不懂为啥一般情况能推到特殊情况。海涅可是真把东西啃下来了，他在课堂上直接指着那些乱七八糟的定理，说：“看，这个定理是确实，那个也是，为啥？”学生本来当作老师懂，结局发现老师连这个都懂。
原来这些定理不是啥玄学，就是一个个被验证过的真理堆出来的。他不管学生懂不懂，直接给答案。
这种教学模式挺震撼人的，那会儿老师都怕学生跟不上，目前学生都敢跟着海涅的步子走了，认定数学像是个游乐场，啥玩意儿都能玩。 海涅实际上是个特别现实的人，他特别清楚数学到底是如何用的。他认定数学不是为了证明自己智慧，而是为了解决难题。
那会儿总有人认定数学是通往真理的阶梯，得一步步往上爬，爬完才知道前面有啥。海涅说，别做梦了，真理就在你脚下，只要你敢走。他时常跟学生们开玩笑，说有些定理看起来挺难，实际上不过是换个角度看难题。就像你看到路边的一棵树，你认定它高大难懂，实际上你只是没从对面看。海涅就是那个能从各种角度让你看清本质的人。他讲课的时候不绕弯子，不装深沉，有时候就连有点吵，但专治各种不服。 后来有人跟他说：“海涅先生，您的方式忒随意了，好办害得学生出错。”海涅淡淡地说：“我就如此干，你试试看别出错。”这就是他的风格，好办直接，不绕圈子。他不像教科书那样把你裹在一个个完美的逻辑框里，他说的是如何把框子拆了，让你自己补回来。他告诉学生，数学不是死记硬背，不是死盯着那些高高的柱子，而是看你能不能把柱子连起来，做成一个整个的结构。 实际上海涅的教诲挺浅显的，就是别给数学留余地。你要是认定某件事不对劲，要么某一步推不出来，那说明你没真懂。他从不掩饰毛病，反而鼓励大家去发现毛病。他就像个诚实的教练，告诉你哪儿错了，你就改哪儿，不用非得硬着头皮演下去。
这种态度让后来的人有了底气，终于敢自己动笔，敢去猜想，敢去犯错。 目前回想起来，海涅那些看似随意的推导，实际上藏着最严密的逻辑。他不是把数学搞得忒复杂，而是把复杂的东西简化了，让你能摸得着。他把那些抽象的符号，变成了实实在在的逻辑链条。
要是你能看懂他的思路，你就看懂了数学的真谛。他不用那些花里胡哨的语言，只用最朴实的道理，就把数学给理顺了。 最终还得夸夸他的笔风，有时候写得特别快，有时候特别慢，彻底看心情。他不喜爱用那些复杂的修饰词，喜爱用大白话，就连有点“土话”。但他说的每一句话，字字珠玑，直击要害。他就像是个老哥们儿，跟你聊天一样跟你掏心窝子。
这种实在劲儿，在当今那个讲究虚头巴脑的时代，简直是个奇迹。 故此，不要迷信那些高高在上的公理体系，要学会像海涅那样，看穿表象，抓住本质。
只要逻辑通顺，结局就是对的。别管那些绕弯子的步骤，只要你能推出来，那就是真理；推不出来，那就是死胡同。
这就是海涅留给我们的最宝贵财富，也是最实用的生存法则。