您的位置:站长主页 -> 繁星客栈 -> 望月殿 (数学逻辑论坛) -> An excellent talk by John Baez May 16, 2024

An excellent talk by John Baez

用户登陆 | 刷新 本版嘉宾: 萍踪浪迹 季候风 星空与道德 gage

kanex

发表文章数: 860
武功等级: 弹指神通
     (第六重)
内力值: 343/343

An excellent talk by John Baez



It's very readable, informative and fun. I hope everyone could take a look.

http://math.ucr.edu/home/baez/chicago.pdf


Récoltes et semailles


发表时间:2006-05-30, 08:53:31  作者资料

萍踪浪迹

发表文章数: 1983
武功等级: 深不可测
内力值: 645/645

Re: An excellent talk by John Baez



下载后慢慢看


漫漫长夜不知晓 日落云寒苦终宵
痴心未悟拈花笑 梦魂飞度同心桥


发表时间:2006-05-30, 15:08:25  作者资料

kanex

发表文章数: 860
武功等级: 弹指神通
     (第六重)
内力值: 343/343

Re: An excellent talk by John Baez



在n-category的大旗下汇聚着数学的各个领域,甚至逻辑学都可以得到美妙的表述,可谓是数学的TOE。

很久之前曾想过可否将数学的理论和证明本身转化为类似几何形体的表述,而 “具体的” 几何 “模型” 与 “抽象的” n-category “理论” 之间的对偶,就是数学灵性的集中体现。我想,这里的哲学思想也是很值得思考的。

不过仔细一想这不大对劲,到头来我们的终极理论本身也是几何?当然这不是转了一圈回到原处,而是螺旋上升,但也让人觉得有些奇怪。很明显,数学中终极的对偶有两个:object与morphism之间;morphism这个定向箭头与其镜像。

这不禁令人思考有无可能在此基础之上更超越几何的束缚。用含糊的语言说,得把这个也modulo掉。这似乎超越人类的能力,我有一些想法,但还不够明确。


Récoltes et semailles


发表时间:2006-05-30, 17:54:05  作者资料

萍踪浪迹

发表文章数: 1983
武功等级: 深不可测
内力值: 645/645

Re: An excellent talk by John Baez



数学和物理都没有TOE


漫漫长夜不知晓 日落云寒苦终宵
痴心未悟拈花笑 梦魂飞度同心桥


发表时间:2006-05-31, 13:55:17  作者资料