加载中…
个人资料
Strongart教授
Strongart教授 新浪个人认证
  • 博客等级:
  • 博客积分:0
  • 博客访问:65,091
  • 关注人气:3,226
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
博文
标签:

科学哲学

心灵哲学

意识上传

人工智能

strongart

分类: Strongart之思想随笔
     如果要把你传输到另一个地方,一种模式是逐段扫描,一点点的传输过去;另一种模式是先在对面制造一个复制体,然后删除原件,你会选哪一种呢?是直接剪切,还是复删(复制后删除原件)?
     相信大部分人的直觉都是剪切,因为它是连续传输过去的,因此传过去的人依然是我。如果是复删的,作为原件的我已经死了,那个复制体其实是另一个人。然而,这里剪切是有风险的,如果在剪切的过程中受到干扰,就可能出现两边各占一半身体的情况,而复删则可以保证复制成功后再删除原件。、
    有人可能会对删除原件比较抵触,实在不行多一个复制体不好吗?但总有一些内心阴暗的人,担心复制体掌握了自己的秘密,希望完成任务后消灭复制体。但复制体继承原件的记忆,应该也知道这一点,可能提前举报原件以前的恶行:是那个身体干的事情!但若是原件畏罪自杀或是被当成击毙,这就回到了与复删类似的情况,有可能还是让复制体来顶罪,不然恶人就有可能用这种方式来脱罪。
    事实上,很多人
标签:

心灵哲学

感受质

内格尔的蝙蝠

超声波

strongart

分类: Strongart之思想随笔
   人能不能经验到他人的经验?乍一看是不可能的。经验告诉我们,别人经验不到我的经验,我也经验不到别人的经验,只能通过外在的行为来推断。然而,这个不可能是绝对的吗,还是说现在我们的条件还达不到?
    我们有个基本类比,人的意识相当于电脑显示器。这个问题就相当于,我们在一台电脑中能不能看到另一台电脑的显示呢?事实上,只要能够把两台电脑连接起来(物理连接或者网络连接),就有可能在电脑中做到这一点,人的经验是不是也是一样的呢?尽管现在还做不到神经的连接,但我们有一些天然神经连体人,他们确实可以共享一些感知经验,但思维依然是独立的。可以想见,如果要共享思维的话,恐怕就需要大脑的连接,这就要直接变成一个人了。
    假若我们把两个人A与B的神经连接,其中A能够听到超声波,这个超声波的经验能不能共享给B呢?这要看人为什么听不到超声波,是耳朵无法感知,还是大脑处理不了?如果是耳朵的问题,那么自然应该是可以共享的,但若是大脑的问题,那基本上就没办法了。既然人脑是如此发达,相信这不会是大脑功能的
标签:

张益唐

韦神

数学家

教育

strongart

分类: Strongart之思想随笔
     最近看到一个张益唐的采访视频,主持人请他谈谈对韦神的看法,结果他叫周围人给韦神好的课题,希望韦神能够做出比较大的成就,还担心韦神会被人捧杀,别到时候什么都没成,这最后一句话很可能是他本人的自我投射。
      不知道你们有没有留意,张益唐的两个说法是自相矛盾的:一方面把韦神当成落后分子,叫其他人来帮助他;另一方面又希望这样的落后分子能做出伟大的成就。国内有些名校好像有这样的传统,你若是不知道做什么课题,导师就会叫你去做黎曼猜想,接下来你知难而退就会自己来找课题了。丘成桐当年就是这样被安排的,但好像在《我的几何人生》中没能觉察到,搞不好这就是计划的一部分。
      如果一个人总是希望别人这样那样,那么很可能就是他自己有问题。有句话叫做元婴之下皆为蝼蚁,不学高级数学境界上不去,就只能是拼命卷普通的数学,希望能够靠本科水平的知识留下一点印记。实际上,凡是说什么对哪个重大猜想有贡献有进展的,其实就是问题没能解决,哪怕是真有进展,也得等到问题解决之后重新复盘才能断定
标签:

哲学思想

辩证法

黑格尔

小逻辑

strongart

分类: Strongart之思想随笔
      有教哲学的老师说:辩证法就是变戏法,这固然有一定的道理,但却失之笼统,下面Strongart教授就来分析一下它到底是怎么变的。
     众所周知,辩证法的基本结构是正反合。有了正题之后,我们就要找一个反题,典型的反题就是找反义词,像主奴辩证法中的主人对奴隶,《小逻辑》中的有对无。遇到有多个反义词的,那就可以任选一个。若是找反义词不方便,我们还看它的未来发展,比如黑格尔举麦子的例子,其反题就是它的种子,然后种子结出新的麦子,就算找到合题圆回来了。
     辩证法的合题有下列几类不同的模式:
     1)ABA_B型:在麦子和种子的例子中,A代表麦子,B代表种子,这里的种子只是起到过渡的作用,主要是由麦子在主导整个过程。
     2)ABB_A型:在主奴辩证法的例子中,A代表主人,B代表奴隶,奴隶劳动升级变成主人,最后在合题中起到主导作用。
  &n
标签:

健康

心理学

边缘型人格

海德格尔

strongart

分类: Strongart之思想随笔
    相信很多同学们都看到过脑内会议的场景,脑子里有一群小人在相互争论,如果最后能够求同存异达成共识,那么其人格还算是正合的,就怕这个脑内会议的结果是吵起来打起来了,恐怕这就是所谓的边缘型人格障碍BPD. 
    边缘型人格障碍就像是装了一脑子的乌合之众,经常是脑内斗争其乐无穷,其自我认知一般都是混乱的。这样的人想到什么就说什么,东一句西一句,颠三倒四自相矛盾,其人际交往也是在理想化与贬低之间来回摇摆。某个洋葱头曾说哥德尔不如我,但一转眼又把我贬低成本科水平,你要是不觉得这样的人有问题,恐怕你多少也有点类似的问题,只有BPD才能接受BPD. 在网络上,BPD喜欢频繁的更换马甲,或者干脆就是几个马甲轮流转,这些马甲就是他脑子里的小人的代表,本质上就是掩盖其自我的虚弱。
      尽管BPD在情绪上大起大落,但他们在一些根本认知上又趋于保守,常常是不肯服输只认死理。有人说这种头脑简单的人脑子里好像有根保险丝,当你摆事实讲道德快要驳倒他的时候,他觉得好像跟原来的固执观念比较远了,就会忽然愣一
标签:

代数几何

数学公开课

土博士

strongart

教育

分类: Strongart的数学笔记
    有些土博士说我教的代数几何都比较简单,只能算是本科水平的,他们有没有说错呢?就【迷你代数几何】这一门课而言,还真是本科水平的,主要是作为交换代数的几何意义,同时可以作为【线性代数群】的先导课程。
   土博士似乎要把代数几何捧上天,却又最在意其中的几何结构,乃至于就是从微分几何里借一点东西。像微分几何这样的东西,主要就是求解方程嘎嘎算,费了半天劲算出一个结果,搞不好还得靠物理来保证它的意义。在代数几何中,代数才是上乘数学,只是被有些上不去的人给当成工具了。其实,代数自身就是意义,甚至可以不需要新的结果,代数几何中的一个研究模式,就是对于用微分几何算出来的结果,想办法给出一个纯代数的证明,这样得到的结论就更有意义了。
   在国内的代数几何课程中,可能代数方法就是一个工具包,需要的时候拿来引用一下,他们更看重各种具体的几何结构。我的课程则是恰恰相反,像交换代数、同调代数、层论等都有专门的课程,土博士好像以为只有放进工具包里的才是代数几何,单独拿出来就不算数了。从更高的层次来
标签:

吴文俊

中国古代数学

代数几何

消去法

strongart

分类: Strongart之思想随笔
    2006年,吴文俊和Munford一起分享了邵逸夫数学奖,值得回味的是:Mumford用概型语言写出了其代表作《几何不变量理论》,但吴文俊却认为代数几何的概型语言已经过时了,其获奖原因是因为他所提出的数学机械化,而他提出数学机械化的主要原因,则是受到中国古代数学中消去法的影响。
     吴文俊为什么要说概型过时呢?主要是因为他想要带私货,要搞所谓的数学机械化,推崇范德瓦尔登《代数几何引论》中的消去法,但那一章再版的时候被删掉了。吴文俊为什么会如此在意消去法呢?是因为他深受中国古代数学的影响,古代数学中有类似消去法的算筹操作,他说中国乃是消去法的故乡,难道老外就不会用消去法了吗?
       一般来说,从古文中学到的一些东西,特别是对现代科学有影响的,很可能是一个元语言的普适概念。说白了就是到处都有,不一定非要在古
标签:

教育

文化

参考文献

钱伟长

strongart

分类: Strongart之思想随笔
            最近看到一个很久以前的新闻,有篇论文说“本文不必任何参考文献”。此时,土博士可能会想:这家伙连论文格式都不懂,该不会是民科吧!结果一看作者是:钱伟长!
      话说我写文章就不怎么用参考文献,后来折中一下改成“扩展阅读”,主要是找几本相关资料给同学们看看,非要当成参考文献也未尝不可。某乎有人说:不用参考文献的,基本上只用到课本的知识,大概就是两种情况,一般是homework级别的论文,或者是完全没人感兴趣的课题。仔细一想,正好是一个数学一个哲学,两种情况好像都占全了呢。
       早年有一批人怂恿我发论文,就随手写过一篇S-divisor挂Arxiv.,这个就是homework级别的了。这样的论文植根于课本基础,给人的印象最为深刻,十年之后还能记得的论文,除了那种惊天动地的大猜想,剩下来恐怕就是这样的homework. 当然,这样的homework应该是自己想的,而不是真的去做书后面的homework. 很多数学书后面的homework,就是在正文延伸出一些新概念,它们比零散的论文更加能够
标签:

机器证明

数学机械化

人工智能哲学

吴文俊

strongart

分类: Strongart之思想随笔
    2006年,吴文俊和Munford一起分享了邵逸夫数学奖,值得回味的是:Mumford用概型语言写出了其代表作《几何不变量理论》,但吴文俊却认为代数几何的概型语言已经过时了,其获奖原因是因为他所提出的数学机械化。
    1977年,吴文俊提出了他的数学机械化思想,但就在其前一年,数学界出现了一个惊人的消息,四色猜想被计算机证明了,这是第一个依赖机器证明的数学定理。这是一个纯粹的巧合,还是故意蹭大猜想的流量呢?这个问题并不是很重要,重要的是吴文俊所谓的数学机械化与机器证明有什么差别。一般的解释是数学机械化是让计算机自动做数学,不像机器证明需要人脑针对专门的问题来编程。
   如果数学机械化能够自动处理各种数学问题,那么自然是更加优越,但吴文俊的数学机械化远没那么神奇,主要就是处理平面几何的问题,通过众所周知的坐标法,把它转化成线性方程组的形式消元硬算。一般中学平面解析几何都会放几个引例,说明解析法可以处理平面几何问题,但这样的例子是精心设计的,其他例子理论上可能还能算出来,但实际计算则
标签:

科学哲学

数学

教育

文化

strongart

分类: Strongart之思想随笔
        背景故事:吴文俊说代数几何中的scheme过时了,哈佛不教scheme,但哈佛大学Mumford教授的《几何不变量理论》就是用scheme的语言写的,结果他们还一起分享了2006年的邵逸夫奖

     有些土博士喜欢说别人讲的东西已经过时了,这里的“过时”其实有两种不同的含义,下面Strongart教授就来给同学们简单分析一下。
     第一种过时是覆盖性的,原来的那套语言现在已经不用了,有更好的语言可以替代,相当于科学哲学中的范式转变。第二种过时则是非覆盖性的,只是热度下来研究的人少了,很可能是已经被研究清楚了, 变成了理论体系中的背景板。亚里士多德的物理学对于牛顿物理学而言,就是覆盖性的过时,有价值的东西大都被覆盖了,剩下来一些错误则是直接抛弃。牛顿物理学对于爱因斯坦的相对论而言,则是非覆盖性的过时,研究牛顿物理学基本原理的不多了,但可以用这样的基本原理用研究其他的东西。
     一般来说,在
Stron…
更多>>

新浪BLOG意见反馈留言板 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 产品答疑

新浪公司 版权所有