《[2026-04-23]数学学习笔记》
（1）
我反思：我学习数学的根本障碍是什么？
如果按照这个一种勤奋道德化的批判而言，我是这样的：“还是太懒惰，不愿意做题！你不勤奋！”
或者一种天经地义的看法：“数学就是训练练出来的！你必须训练，不训练哪里来的高阶？”
但它在各方面都与事实不符。
1.数学抽象本身就是认知节能的诉求，换言之，一个无比推崇勤奋的人，可能在数论领域成就斐然如陈景润，但他很难在几何代数领域也如此如格罗滕迪克。
2.我主动获取数学资源，数次阅读与长篇剖析，而毫无外部反馈，只有内部驱动。
（2）
而我观察我的认知风格，也观察我的学习笔记，发现我：意义加工优先于动作执行。
换言之，我对于意义敏感，而对于动作不敏感，然而也因为对于意义敏感，于是也抑制了动作。
我数学遇到的障碍也是：高概念反应，低运算操作。
至于解决方案，其实也很简单，运算特化训练，但稍微有一个前提：是两种方向性的题目训练。
一种是运算能力，另一种是综合解题，而由综合解题的需求，倒逼出运算能力的需要。
比如：因为要理解演绎几何，而去学习一道玩具模型，比如是一道证明题目。
又因为这道证明题目里面需要有平方运算，再延伸出平方训练。
这个平方训练里的题目，本身还对接出其他问题，解方程需要，函数需要，等式与不等式需要。
换言之，我应该先给出多领域的题目，让题目内生出运算需求，我的训练题目，应该分离自玩具模型的，那些题目是从具体问题中抽出来的。
（3）
啊，其实数学运算一直有一个懒政呢。
人们口中所谓的“你运算能力差”，究竟是什么意思？
是算错数和套用错公式吗？不对。
数学解题的本质是什么？是策略选择。
是通过不同的数学操作，来解决问题。
那么，运算这个数学操作依赖于什么呢？就算是计算，难道计算都是一样的吗？
我也被绕进去了，好像数学运算必然是枯燥的，必然是割裂。
好像数学运算就像体能一样，你跑步和打乒乓球都需要你的体力。
的确没错，但问题在于，你的肌肉发力呢？跑步用脚，乒乓球用手。
（4）
既然是运算训练，那么运算也需要有一个类型学。
运算并不是一个机械的符号操作，这些数学操作是有内在需求的，每一种形式操作，也都是在获取相关的信息。
按照类型-操作本质-输出结果，以下归类不严谨，部分仅做罗列，具体需细致梳理。
1.算术运算-数量关系的等价数值-数值
其扩张源于运算封闭性被打破。
数系扩张-加减乘除四则运算+运算律-ABCD类。
A类：除法-百分比/比例/比率。
B类：乘法-幂运算，乘方与开方。
C类：乘方-指数与对数
D类：幂运算-科学记数法
这里的运算有正向和逆向之分，就像加减，如果按照级数，则可以分为加减-乘除-乘方开方-指数对数。
2.代数运算-代数结构的等价关系-变式
其扩张是变量加诸算术运算，为得到变量间的固定关系-公式。
乘法延伸：合并同类项、去括号、因式分解等。
除法延伸：通分、约分等。
3.方程运算-约束条件下求变量的确定性-数值或区间
等价变形（等式性质/移项/去分母/不等关系）-一元方程（一元一次到二次/配方法/公式法）-多元方程（联立方程消元）
4.几何运算-几何的代数与空间关系-属性、关系式、性质
代数计算-演绎计算-多维坐标与解析-向量化
5.分析运算-变化率-导数
函数运算-导数运算。
6.概率运算-不确定下的概率分布-概率值期望方差等数量特征
古典概型-统计初步-事件运算与公式-随机变量化
7.集合运算-运算对象的集合关系-集合关系判断与命题逻辑
集合运算-命题逻辑运算-跨领域交融
（5）
比如一个直角三角形，勾三股四弦五，90度60度30度。
你提出的是什么问题？
三边关系，你才要计算勾股定理，难不成你还要画一条辅助线证明它轴对称吗？
这里不是策略选择吗？
这个三角形只能做代数运算吗？你有想知道的未知量，设X呗，那么你就会去解方程吧。
而且，勾股定理，套公式这件事本身，就是在用代数运算锚定关系框架，从而利于算术运算。
在数学面前谈勤奋，反而很违背数学的宗旨吧。
因为，你为什么需要公式？直接从问题里推理才叫勤奋，套用公式才是偷懒，不是吗？
数学不就是为了偷懒，为了更高的信息密度，才进行抽象吗？
在教育里，如果运算成了一种任务需求，那么就会变成：你擅长乘法但不擅长指对数运算，但因为这道题目的考纲要求是指对运算，你就被迫指对运算了。
如果勤奋真的是数学所提倡的，那么高斯就不该搞新花样去做正十七边形尺规作图求圆。
高斯解决问题，是因为这个问题需要他来解决，而不是规定你要训练出某种数学才能。
才能是用来解决问题的，而不是获得段位证明的。
你的段位，是你的问题难度定义的，高斯解决了数学王子级的数学问题，他就是数学王子。
数学教育是在要求你，你要训练出某种才能，然后测试出你的水平，通过你的水平，来赋予你段位，那么这个才能本身跟实践是无关的。
为什么教育是脱节的？因为它要求的是高级段位，而不是高级能力。
因为有问题需要解决，所以才需要训练出特定才能。
不是因为有资格需要证明，所以才需要表演给权威来获取认证。
如果你为了给他人证明，那么你需要不是你有能力，而是让别人相信你有能力，这份信任，则依赖表演。
（6）
如果想要理解数学的发展，必须要了解数学问题的对抗。
数学是操作，是手段，是一个数学家说“我操，我没招了，来个神操作救一下场啊喂”。
然后，“诶，我有个点子，看我操作”。
毕达哥拉斯：“我操，根号二是什么鬼东西，给老子滚”，这是破防了的。
伽罗瓦：“五次方程？诶，我看看，把根置换一下咋样。”这是打出操作了的。
陈景润：“操你妈，这啥子东西，只能往死里算了。”这是被逼着算几麻袋的操作。
格罗滕迪克：“我操，这玩意儿啥，看我操作，你站位不够高，这问题就是一般般。”这也是给打出神操作的大佬。
欧几里得：“操你妈什么东西，乱得不像话，看我操作，一统天下”，这是公理化，就是一套武功，把操作系统化了，这也是神操作。
拉马努金：“啥啊，食我女神托梦口牙，瞪眼法天下无敌口牙！”这也是神操作，女神操作。
（7）
把数学史比作江湖，问题就是洪水猛兽，数学家们就是提枪上马的英雄单位，且每一个数学家，都有一个统一天下的梦想。
有的是注意力惊人，瞪眼法，敌人望风而逃，拉马努金直觉流。
有的是宗师气象，公理化，把操作集成一本武林秘籍，降龙十八掌举世无双，欧几里得如是，康托尔如是。
有的是轻功了得，推广化，从更抽象的角度一般化问题，一苇渡江，格罗滕迪克如是。
有的是能工巧匠，微操了得，勾股定理的一百种证明方法。
哥德尔不完备定理出手，你以为浇灭了数学家们的英雄梦了吗？
没有。
哥德尔说的是“同志们好，同志们辛苦了，通知一件事，咱们这套操作杀不死神龙，因为咱们以为的神龙根本不存在。”
好，这帮英雄好汉霎时一静，结果呢？
“如何呢？又能怎？”
“我这边有老虎还没打呢！”
“野耗牛也凶得很！”
“这熊瞎子真野！”
这帮货就又打起来了。
（8）
就算没有七颗龙珠，这些人也还没把猛兽杀尽，无非是神龙根本不存在所以无法屠龙罢了。
没有虚幻的神兽，还有实际的猛兽虎视眈眈呢。
希尔伯特的屠龙神功虽不能成，但拆吧拆吧，研究屠龙的操作，不能屠龙也能杀鹰啊。
屠龙不得，逐龙本身就是快意，一路翱翔，虽不见龙，亦有苍鹰飞鸟振翅，万类霜天竞自由。
神龙不是一个BOSS，是一种理想，数学家们无非是脚踩分析学，去追逐极限，就算不能等价，但逼近力迫，近似也足矣。
圆周率无限不循环，计算机就不算了吗？算，给我算死它，刮痧，刮痧也得给我刮死。
打不过我还躲不过？搞个zfc公理，宣布：你无效。
罗素悖论：那我走？
那就走呗。
或者，搞个非欧几何，宣布：我们再打过。
（9）
数学并不是一个天然的系统大厦，那是这帮英雄们一气呵成打完操作的操作集锦。
不同的功法，不同的流派，随着发展才长成，随着操作成熟度，从一个操作变成一个技巧，从一个技巧变成一个公式，从一个公式变成一个定理，再从一个定理演变成一套系统，乃至一整个框架。
数学就像藏经阁，初等数学，是已经录入的操作集锦，以后想操作直接上二楼即可。
而高等数学，则是大师们还在演武场里面比划呢，比划出的神操作，断续地录入整个藏经阁。
初等算术成熟了，纳入框架，成了教育体系，能传功。
高等数学里，比如线性代数，也成熟了，于是也传功。
但这些功法还没有能一统江湖的掌门人，初等数学领域齐全，是大师们搞出了天阶功法，才能俯瞰地阶功法，给他们分文别类罢了。
（10）
还有，数学是偶然与必然交织的学科，就算其依赖的理性，也只是对现实恰巧的耦合，或者说我们强制用理性整合了现实，让现实变得符合数学，并且把实在不符合的排除掉。
美苏争霸期间，计算机究竟是二进制还是三进制？五五之数。
为什么计数用十进制，因为人有十根指头。
为什么会出现复数？因为人类的生活维度是三维，没有复平面。
莱布尼茨和牛顿的微积分语言有啥必然性？没，单纯是哪个语言优雅简练信息密度高。
你说的这个数学，它真的契合现实吗？我不知道啊，复数出现的时候谁知道它能用在量子力学上？
数学是一门语言，数学化形式化是一种操作，无非是数学语言利于解决问题，无非是转化为数学问题更利于解决，或者富有美感。
就像诗歌创作一样，需要怎样的语言，就说怎样的话语，词汇的斟酌，跟解题的策略一样，都是各自为了各自的效用。
比如一个代数式，看做一个等式还是方程还是函数式，是关心它的数值还是取值范围还是数值性质还是数值间关系，这每一种角度，也都像一个描绘的角度。
就像一片云，你要夸赞它的颜色质感高度还是出现的时间点，乌云、月笼纱、积云雨……不一而足。
关于数学问题，数学家们就像抬着一挺重机枪，加特林转轮之下，不同弹仓是不同的操作，火属性不行就雷属性，也都是试出来的路径。
所谓公式亦然，世上本没有路，走的人多了就成了路。
解题就像拿着一把左轮手枪，几何操作不成，就代数操作，初等数学不成，就换高等加特林。
而公式规律乃至公理系统，都是军械库的武器使用技术罢了。
那些不合法的数学操作又是什么原因呢？
比如，你在一个正整数集合里，宣布1+1=0。
这个操作就像你说，我要拿着菜刀砍向月亮。
你的手段和目的错配了啊，你为啥不取模呢？纯二进制，只有0和1，那也就合法了。
不是说你不能自由操作，但你给你的操作立法呗，逻辑上，只有你符合逻辑，无所谓。
但问题在于，你要解决问题，你的公理系统，能带来什么有效操作？
伽罗瓦发明群论不是他想发明，而是他需要操作，没招了，他得研究一个招数出来。
一个形式系统只需要符合逻辑规范，就可以成立，你可以任意修改你想要的部分，一个代数式，其实就像一个模块化组装，系数、数系、变量、等价关系……你都可以改变。
但你改变的动机是什么？首先是操作，是这个操作成武林秘籍之后，你才知道，哦，它解决的一类问题的本质是什么，群论不是一开始就知道它研究对称式的。
当然，你还可以不断追问形式系统的规范性在哪里，但答案同理，也是具体问题驱动的。
比如议论文为什么要总分总？因为这样符合人类认知规律。
这些规定背后，首先是有它具体的效用，随着发展，这个效用变得一般化，变得普遍化，才成为一个学科。
如果不是所有人都不约而同地使用逻辑，那么这个逻辑也不会成为主流。
比如佛教的因明学，有成为主流吗？它自身也具有秩序性呀。
所有的规范性都是生成的，所有的效用性都是情境的。
对着抑郁症讲逻辑学，对着方程式求解用换进制，都是无效操作。
计算机用二进制而非十进制有它的效用，逻辑服务于认知清晰不作用于情感安慰。
但反过来，如果是抑郁的理工科教授，可能逻辑更能给予安慰，如果想要计算机理解一个方程，把它翻译成二进制可能更让它理解，这也是效用的情境性。
进而言之，把规范当做天然而非生成，对操作先使用而后反思，未尝不是一种方法。
我说你明天八点给我到公司，是因为我默认你明天还活着，但你可能今晚猝死。
数学家们也不是用线性代数就要推一遍公理公设，只是问题需要，就顺手拿一个罢了。
那么，重要的是什么呢？
是自由度与唯一性。
所谓多元性，并不是一个被强调出来的东西，而是一个本体论规律：这个世界的确很多元复杂，至少不唯一。
不要用唯一性锁死所有道路。
而数学应试教育为什么设置主流路线，其实也有它的情况，时间紧任务重，为了教育普及与就业市场劳动力技能证书，为了教育资源的平均分配，只能牺牲质量换取数量。
每一种操作都是为了应对一类问题，这没有关系，但情境流转，当年的有效操作反而也会带来今日问题。
五代十国后，宋太祖杯酒释兵权，因干戈兵燹，而崇文抑武，当年有效操作收兵权，后世二圣北狩，积重难返，被元所灭。
宋元明清，历史周期，皆如此也。
（11）
说到底，我们是如何解决问题的呢？
1.把它形式化
比如把一个苹果抽象为一个圆形，把三角板抽象为一个三角形。
但请注意，这个形式化本身就是一个动作了，这个动作完成后，这个形式符号则默许可以调用全部相关的数学形式系统。
或者，我们更深入地讲，对于问题，我们只有一个目的：解决问题。
1+1=X，你可以用集合、几何、代数、函数、方程、线性代数、范畴论、群论、统计……所有的形式用来表示，但问题在于，你想要解决什么？
在数学之内，你想要解决数量关系，想要解决精确数值，想要解决运算公理查询，想要解决几何形态……都是可以的。
甚至，如果你想要数学之外，质疑它的符号形式，也是可以的，不过你如果开始批判形式符号主义霸权云云，那就该是人文社科的领域了。
而你如果要质疑，凭什么要遵守逻辑，凭什么加号这么设计，呃，你可以是文化上质疑，转人文社科，或者你也给出一套新的语言刻画，但问题在于，你为什么要用这个新的语言？这个语言刻画的是它什么部分，这对解决你的问题有什么效用。
说到底，这形式化操作的开始，就已经给出你调用全体人类数学知识的全部，只要你能解决问题，就成立。
而所谓合法性，也是根据问题选择的，就像你想学英语，于是你去欧美，你想学韩语，你就可以去韩国。
2.对它进行数学操作
数学操作是一种策略选择，其实数学考卷是犯规的，因为问题没有考点，问题只要求你解决，解决方法从来不唯一，只是有的简单，有的不简单。
你可以选择你的策略，无非是保持一致性，因为你选择的一个策略动作，背后是有一整套传承的。
这套传承，是一套公理系统，也是你操作的合法性。
就像如果你使太祖长拳的招式，就不能转而做五禽戏，你可以组合他们的招式，但他们招式本身的内在要求，你不能忘掉。
比如，若太祖长拳要求你有臂力，五禽戏要求你有爆发力，那你至少要有匹配你那一招的力量水平，这些是这个招式的内在要求。
如果操作不合法呢？那就失效了。
那些规范本来就是因为效用而产生，你不合法操作，就给不了有效操作。
因为整个数学系统都依赖于逻辑秩序，而你断裂掉共识，自然就得不到有效操作。
（12）
比如，鸡兔同笼问题，共35头，94个脚，请问分别多少只？
1.形式化
我们可以设各自XY，可以列出头足之间代数关系，可以解方程，可以刻画函数。
这是常规视角，但是，我们还可以用集合和数列哦。
集合来看，所有动物是集合S，鸡和兔是S的子集A和子集B。
而我们可以理解为子集A有两个元素，子集B有四个元素。
还可以把头脚数打包，即子集A=｛数量集a，关系集b｝，一头两足为一组。
后者更复杂化了，前者也不主流。
我们可以用不同视角去形式化同一个问题，但形式化目的在于调用这个领域的规范做出合法操作，从而更好地解决问题。
解方程的效率比集合论高，因为它擅长在约束条件下计算出确定量，这个运算，本身就是一个策略选择。
而数列要求的是有规律的序列，那么我们就需要动态化看待，那么就把这个笼子蒙上布，让你闭眼，睁眼时掀开布，你能看到几只脚，你每明确两只鸡脚和四只兔脚，你就在分配了35头和94脚的动态变化关系。
比如，饲养员给你看的时候，这些全都是鸡，那么就是35头70脚。
而饲养员说，等你再睁眼时，我会把一只鸡换成一只兔。
那么，少了一只鸡，多了一只兔，脚净增长了2只，但它本身是省略了先-2后+4的，或者更精确来讲，不是省略，省略暗示是算术运算的步骤，但数列是研究变化的序列，而且我们是为了解决问题，那么自然可以忽略掉，而且，-2+4是因为这是现实问题里的逻辑约束，就跟老奶奶不会800km每秒跑动一样。
设兔子为变量n，得到项数，取值35。
再定义a下标n，通项，即一个映射关系，兔子与总脚数。
然后是首项，全是鸡的脚数。
然后，当n只兔变n+1的时候，脚数变化，找其递推关系，找到公差为2。
得到起点首项，还知道递推关系，就能写出通项公式。
判断为等差数列，于是调用等差公式，通项公式=首项+n项x公差，a下标n=70+2n，也能看做一次函数y=2x+70。
那么，我们令a下标n=94，求n。
94=2n+70，解得n=12，即兔子有12只，那么35只动物，则还有23只鸡。
这里面的操作，就是通过观察一个恒定的变化关系，用数列刻画这个变化关系，对应为等差数列，然后再把这个等差数列变成一个方程式，求解。
2.数学操作
让我们区分两种操作，框架性操作与求值性操作，其实根本上是围绕效用展开的。
那么，我们第一步形式化，就在挑选不同的框架了。
运算式、方程、函数、集合、数列，五种形式，不是吗？这些形式不是平行的，比如当我们解数列时，方程没有作为框架，而成为一个求值操作的运算。
说来，这里还有一个精妙的地方，假设法。
我们假设了35只全都是鸡，这就像一个几何辅助线一样，具体问题中其实并不存在，但抽象为形式化的符号之后，这个假设法就变得合法了。
每一步运算，我们其实都在用策略，策略可以连续，就像若是联立方程组，可以一直延续到求解。
策略也可以转换，先用数列得到代数关系，再用方程，其实这里，数列通过假设法和递推关系，其实做的是消元法的工作。
我们的策略有意图，而这个意图的具体形式，有不同的路径，我们可以不绕圈子，直接消元法，也可以用数列的等差公式，来完成消元法的工作。
我们怎么判断这个工作的意图呢？其实你会发现是后发的，是因为最后落点到方程求解，那么按照方程的框架，就会变成消元法的意图。
如果不是方程求解呢？如果对接的是集合论呢？如果对接的是函数呢？则又是得到映射关系的操作了。
当我们形式化之后，则确定自己在数学的形式系统之内。
而根据下一步，我们才能确定前一步属于哪个形式系统，因为它可能是都属于或者部分属于哪些形式系统。
而接下来，我们的下一步，受到什么方面的约束呢？
1.你选择的形式系统合法性，比如你解方程解到一半不准搞数列。
2.所有可能性所在的形式系统合法性，你当方程有方程的链条，当函数有函数的链条，这个合法性背后是有逻辑连续性的。
3.这个问题的具体效用，做出有效操作，就能解决问题。
4.美感，这里的美感是广义的主观标准，所以严谨、有趣、创意性都可以，对，严谨本身是一种主观追求，因为你解决问题时，其实只考虑操作是否解决了问题，甚至合法性，你都需要后续自己审查才行。
（13）
数学需要检验这件事，其实已经在说明，它是自我立法，本就来自虚空，是自我规定，这份规定是基于效用而有效的。
进而言之，知识本身，其实就是存在的冗余，一个存在本身，它的信息是完备的，它的所有信息都在那里。
而我们把存在表示出来，就是把存在从无限变有限。
想要得到新的信息，其实依赖于这个存在跟其他存在发生联系，就像鸡兔同笼问题，其实形式化之中，把它拽入了多个形式系统，所以它才获得了更多问题外的信息，而这些信息让我们更简单地解决了问题。
具体问题是丰富的，然而太丰富了，所以人们才把握不住。
你能迎面走过一个路人就知晓他的前世今生、五脏六腑、思维结构等等吗？
所以，我们需要表示，将其言说规范的过程，就是在缩小范围的过程，或者说，这已经是一种抽象，从具象中抽出我们需要的象。
人类的知识，其实就是盲人摸象与看图写字，多视角的二维压缩，而视角本身也是一个压缩操作，或者说，一个针对性操作。
而我们的压缩单位也有水平差异，1+1=2在普通人的压缩水平，欧拉公式则没有显然到1+1=2的水平。
好消息，压缩单位可以训练，是一条基线，然后向后开始精细化，即公理化严密，向前开始跳跃性，即高强度抽象，在当下选择的系统演绎，和跨系统跳跃。
比如数论，一个质数的举例，其实背后也是跳跃了无数重复的因式分解。
那么，关于步骤的压缩度，其实没有必然性规范，不会内在要求你别跳步，只会外部要求。
因为压缩单位的基线不一样，面对读者的压缩基线也不一样。
对待初中生，和大学博士后，讲解的颗粒度肯定不同。
还有关于高考，那么你的颗粒度得适合高考的基线，这个基线怎么把握，要看各参考答案，它们默认了步骤的颗粒度。
（14）
关于概念压缩，说来，我们可以这样理解任何一个数学概念。
它不是一个静态的概念，而是一个操作的集合。
求根公式默认的是无限次永恒运算中，形成的各变量关系结构，但它其实是动态操作被规范出边界的。
素数也如此，三角函数也如此，任何一种公式、定理、概念、方法、公理系统等等，皆是一种对于操作集的命名。
数学作用的对象是虚无也是无限，你可以理解为一团持续疯长的血肉，这些血肉肆意地扩张。
而规范就像一条条血管、筋膜、骨架，把这些血肉的生长归纳出方向，公式如血管，运算操作在其中平稳流淌，技巧是筋膜，可以牵拉其他生长的肌群，公理是骨架，围拢出作为一个整体的血肉成分，让它成为一头生命，有其自身的生命秩序。
时阶：[2026-04-23]
