我现在对数学的看法,觉得不能为了数学而数学,而是要有实用目的来驱动发展,也有这个经历的因素在里面。
关于范畴论的讨论
版主: verdelite, TheMatrix
#23 Re: 开一个学习范畴论的记录,欢迎加入
你学到哪里?学了那些内容?hci 写了: 2024年 6月 21日 15:24 我也是下了功夫的。可后来想通了,这玩意没啥用。
我现在对数学的看法,觉得不能为了数学而数学,而是要有实用目的来驱动发展,也有这个经历的因素在里面。
Functorially yours
#24 Re: 开一个学习范畴论的记录,欢迎加入
你的过程我都走过。你那本书显然我看过。也如你所说,基础不够,例子看不明白。于是我想,那我找具体例子的书不行么,就看了用CS为例的书。然后明白了,这些就是故弄玄虚,换个说法而已。知道这套概念,只能用来事后诸葛亮,并没有什么指导意义。大致就是这么个过程。
#25 Re: 开一个学习范畴论的记录,欢迎加入
Mac Lane的书你看完了?hci 写了: 2024年 6月 21日 15:34 你的过程我都走过。你那本书显然我看过。也如你所说,基础不够,例子看不明白。于是我想,那我找具体例子的书不行么,就看了用CS为例的书。然后明白了,这些就是故弄玄虚,换个说法而已。知道这套概念,只能用来事后诸葛亮,并没有什么指导意义。大致就是这么个过程。
Functorially yours
#28 Re: 开一个学习范畴论的记录,欢迎加入
就算你都看明白了,也没有用。这就是我想说的。你爱信不信。
这有什么面子问题?没有卵用的东西,就是垃圾。拒绝把垃圾塞自己脑子里,这应该是很有面子的事呀。
其实你这种心态,也是受虐狂的一种表现。我作为过来人,给你一点警醒。你爱听不听。
这有什么面子问题?没有卵用的东西,就是垃圾。拒绝把垃圾塞自己脑子里,这应该是很有面子的事呀。
其实你这种心态,也是受虐狂的一种表现。我作为过来人,给你一点警醒。你爱听不听。
#29 Re: 开一个学习范畴论的记录,欢迎加入
你和其他loser抱团取暖去吧,慢走不送。hci 写了: 2024年 6月 21日 15:42 就算你都看明白了,也没有用。这就是我想说的。你爱信不信。
这有什么面子问题?没有卵用的东西,就是垃圾。拒绝把垃圾塞自己脑子里,这应该是很有面子的事呀。
其实你这种心态,也是受虐狂的一种表现。我作为过来人,给你一点警醒。
Functorially yours
#32 Re: 开一个学习范畴论的记录,欢迎加入
你这想法我是赞成的。但是别人要学自然也可以学。毕竟各条路都有人走,走出一条路的可能性就大。hci 写了: 2024年 6月 21日 15:24 我也是下了功夫的。可后来想通了,这玩意没啥用。
我现在对数学的看法,觉得不能为了数学而数学,而是要有实用目的来驱动发展,也有这个经历的因素在里面。
没有光子;也没有量子能级,量子跃迁,量子叠加,量子塌缩和量子纠缠。
-
- 论坛支柱
2024年度优秀版主
TheMatrix 的博客 - 帖子互动: 264
- 帖子: 13231
- 注册时间: 2022年 7月 26日 00:35
#34 Re: 开一个学习范畴论的记录,欢迎加入
他自己看不懂,放弃了,还扭扭捏捏不好意思承认。还拉上我说和我一样。看不懂又要指点江山,又说学了也没用,就是想让我也放弃,这样就不显得他没用了LOL
就这点小心思,还学心理学的。
Functorially yours
-
- 论坛支柱
2024年度优秀版主
TheMatrix 的博客 - 帖子互动: 264
- 帖子: 13231
- 注册时间: 2022年 7月 26日 00:35
#36 Re: 开一个学习范畴论的记录,欢迎加入
物理学中的动力学是指要有“力”。“力”这个概念并不是一个自然的概念,而应该看成是一个“隐变量”,借助于它,推理才能展开的这么一个概念。所以动力学在数学结构上的特征是迭代:
A1 --> B1 --> A2 --> B2 --> ...
其中A为宏观可观测量,B为隐变量。推理借助于隐变量而展开。
这种迭代是一步一步的,其步数的index还可以看成是时间index。所以动力学又有时间演化的特征。
数学中的动力学,也是指有迭代结构或时间演化结构这种形式的数学。
至于弃婴说李代数或者李群中有动力学,这个我也不清楚他到底指什么。
#37 Re: 开一个学习范畴论的记录,欢迎加入
不错。明白了。
我正在搞的Datalog的递归问询的优化器,里面很重要的步骤就是是找出问询中隐含的时间变量,按这些变量来分层操作,即所谓T-stratification,这个概念,出现在今年的SIGMOD一个文章里。有了基于这个概念的优化,数据库语言就可以高效实现各种机器学习算法。
数据库研究都搞了50年了,现在才触摸到这个递归问询的本质。以前的各种优化,其实都是这个概念的特例。
科技进步都是很慢的,也是需求驱动的。
我正在搞的Datalog的递归问询的优化器,里面很重要的步骤就是是找出问询中隐含的时间变量,按这些变量来分层操作,即所谓T-stratification,这个概念,出现在今年的SIGMOD一个文章里。有了基于这个概念的优化,数据库语言就可以高效实现各种机器学习算法。
数据库研究都搞了50年了,现在才触摸到这个递归问询的本质。以前的各种优化,其实都是这个概念的特例。
科技进步都是很慢的,也是需求驱动的。
TheMatrix 写了: 2024年 6月 22日 21:33 物理学中的动力学是指要有“力”。“力”这个概念并不是一个自然的概念,而应该看成是一个“隐变量”,借助于它,推理才能展开的这么一个概念。所以动力学在数学结构上的特征是迭代:
A1 --> B1 --> A2 --> B2 --> ...
其中A为宏观可观测量,B为隐变量。推理借助于隐变量而展开。
这种迭代是一步一步的,其步数的index还可以看成是时间index。所以动力学又有时间演化的特征。
数学中的动力学,也是指有迭代结构或时间演化结构这种形式的数学。
至于弃婴说李代数或者李群中有动力学,这个我也不清楚他到底指什么。
-
- 论坛支柱
2024年度优秀版主
TheMatrix 的博客 - 帖子互动: 264
- 帖子: 13231
- 注册时间: 2022年 7月 26日 00:35
#38 Re: 开一个学习范畴论的记录,欢迎加入
我看过你说的在数据库里搞AI的一些贴。这件事我先留个印象,以后可以关注一下。hci 写了: 2024年 6月 22日 21:52 不错。明白了。
我正在搞的Datalog的递归问询的优化器,里面很重要的步骤就是是找出问询中隐含的时间变量,按这些变量来分层操作,即所谓T-stratification,这个概念,出现在今年的SIGMOD一个文章里。有了基于这个概念的优化,数据库语言就可以高效实现各种机器学习算法。
数据库研究都搞了50年了,现在才触摸到这个递归问询的本质。以前的各种优化,其实都是这个概念的特例。
科技进步都是很慢的,也是需求驱动的。
-
- 论坛元老
Caravel 的博客 - 帖子互动: 554
- 帖子: 24445
- 注册时间: 2022年 7月 24日 17:21
#39 Re: 开一个学习范畴论的记录,欢迎加入
是不是通过李代数,generator生成李群元素这么一个过程,是在参数空间的一条曲线。TheMatrix 写了: 2024年 6月 22日 21:33 物理学中的动力学是指要有“力”。“力”这个概念并不是一个自然的概念,而应该看成是一个“隐变量”,借助于它,推理才能展开的这么一个概念。所以动力学在数学结构上的特征是迭代:
A1 --> B1 --> A2 --> B2 --> ...
其中A为宏观可观测量,B为隐变量。推理借助于隐变量而展开。
这种迭代是一步一步的,其步数的index还可以看成是时间index。所以动力学又有时间演化的特征。
数学中的动力学,也是指有迭代结构或时间演化结构这种形式的数学。
至于弃婴说李代数或者李群中有动力学,这个我也不清楚他到底指什么。
-
- 论坛支柱
2024年度优秀版主
TheMatrix 的博客 - 帖子互动: 264
- 帖子: 13231
- 注册时间: 2022年 7月 26日 00:35
#41 Re: 开一个学习范畴论的记录,欢迎加入
对
牛顿-莱布尼兹导数依赖坐标系,如果在没有坐标系的情况下我们可以通过lie代数构建lie导数,这就导入了动力学机制
https://www.mathphysicsbook.com/mathema ... rivations/
https://www.mathphysicsbook.com/mathema ... tor-field/
这本书非常好,上面网站是它的数字化,可以去看看
https://www.amazon.com/Mathematics-Phys ... 813233915/