Deep Dive
Shownotes Transcript
喂哈喽东哥能听到吗能听到哎呀总算是上了你的节目了我还挺激动的这也是我好激动我看过你 B 站啊什么的我觉得你对编程的理解非常的深刻东哥太会吹捧了你上次给我看那个对话录都给我吓一跳你这本来就是一个偏偏编程这种的吧肯定你观众里边
搞编程的人应该专业的都挺多的你给我备注个什么编程啥啥啥的对对对我至少觉得你都讲的还是蛮什么的嘛因为你讲了一个所有编程的一个好像是编程语言的整个范式嘛那个是我当时看了好像是斯坦福汉的一个公开课然后当时我挺受启发的然后当时练录的一个
然后他那个范式我印象里面他就讲了两个一个是面向对象和面向过程然后一个是讲了是 SKIM 还是什么还是 Husk 我记得好像他后来讲了点 Husk 我就挺受了启发的然后有段时间我就因为当时我也是比较接触到编程然后就自己录了跟他东西
怎么节奏这么快好像咱们上来刚打了个仗对对对不是说起来那个伞吗没事你可以先介绍一下你自己吧这样会比较好一点好的好的好的那我们就这段插了给大家
哎呀没事没事没事的没关系好嘞好嘞好嘞啊那我先介绍一下我自己吧然后呃在动哥这里呢我用的这个网名是之子啊然后 b 站上然后包括其他的一些网上应该我都是用的同名的呃
这个真名就不搞了倒不是说怕泄露个人信息主要是想维护这个虚拟形象的一个一致性就因为这个东西你一旦比如是其实每个人的这个真实生活可能也不一定就值什么钱了但是
你一旦有一个标签啊比如说我是做某一个工作的就会对你这个虚拟形象造成一个造成一个很很那啥的一个偏向吧就比如是动哥就老说自己是是吧这个什么跳杠杆舞然后兼职的这个滴滴司机这导致我很长时间里面我就真以为你你你
刚管我那个我当时我其实我一开始我觉得有点犹豫然后但是后来以后听你老这么说老这么说然后结果我有段时间真的差点信以为真但是后来一想我觉得滴滴司机还是更可靠一点你说刚管我这个我我是真不太信因为那玩意好像还挺难学的
所以说还是保持虚拟形象的一致性然后我现在基本上在 B 站上然后夜鱼发一点视频啥的我现实当中也不是专职的程序但是具体干什么的我现在我倒不是不能说只不过是因为我最近又是换工作什么乱七八糟的就感觉我现在还没把我最近的生活理出来所以说咱如果聊到我的经历的话就主要以比如说我
五年前或者怎么样大概的一个状态聊一聊就最近两三年的生活我也没有过得很明白所以说是我想后面总结总结我再聊最近干的一些事情因为有一些事情就是你现在做了
但是其实呢它得有一个什么效果或者说对你这个整个生活当中处在一个什么状态倒反而是看的不是那么清楚的所以说我觉得就是我今天如果聊的话就聊到我的经历的话可能就是以比如三五年前作为一个界限吧然后我大概就这样去聊可以吗东哥嗯可以可以啊对对对这就是我的一个考虑吧好嘞那你这边要有什么离地印之类的吗
也没有基本上我都是嗯就是也没有就是我不会这样不停的就有一些问题去访谈你们因为
已经大家我也不是说特别特别了解你只是我们在网上说就是你还是分享一下你的经历包括什么的就你想说什么基本上就说什么我也不会去说你一定要说什么因为我也不是什么专业的访谈就好像聊天一样好了我听你的就是一般嘉宾上来以后都聊聊他们怎么联系到你因为你这个访谈更多是以你这个群里边的听众之类的这种对对对其他人找不到不大好找嘛
对然后然后然后就所以说呢一般都是说怎么样听到你的这个节目的我也是听节目比较早然后听了又想想我印象里面应该是 18 年以前我可能就在听你的节目
然后当时你好像我做的也不是很多你当时在那个网易云还是喜马拉雅上有的那个节目然后我也不知道哪次怎么推送还是什么对点开然后我是倒着听的因为你一开始做足球嘛我对于体育是真的不太感兴趣但是后来我这个人我有强迫症所以说
听你的后面的几个节目听完之后我觉得还不错那就倒着听一倍然后就把你一开始讲足球的那个什么也听了不少但其实好像你一开始做最开始是讲几个足球你也反复的说过对对对后来我把那些都删了最后我就觉得也是维护一下这个什么东西连续性我觉得那个也太什么了好像还剩了一两期我觉得至少是剩了一两期
你也是感觉是内容不太垂直是吗就是有各种对对对尤其是不是它隔得太什么了我想是生了一起刘普的还是什么的我忘记了反正反正是有一两期还是有的反正我都都不记得这个东西说到这儿了我能插开一个话题吗就是我的声音可以吗因为我现在可以可以我也我现在在那个因为新换工作嘛然后在一个出租屋里也不在家里然后也没有我的那些话题可以可以对
就从这手机的这个声音手机现在可好了非常好手机它现在也看吧反正有时候就不知道为啥可能网络什么不太好那声音没问题继续还说说到怎么听你的这个节目的当时听你的那个节目然后听了什么就是那会儿做什么什么反正听了一堆就是什么互联网相关或者计算机相关一些企业的那个什么他们创业的那个故事什么的
我印象最深的就是我跟我女朋友经常讲的一个故事就是从你这听来好像是圣田昭夫吧还是哪一期一开始我记不清你讲的那个是谁但是那个故事情节我就记得他什么在日本战败前然后就说辞职他本来给日本军方服务的然后是干了怎么的战后了以后他又怎么样崛起的那个故事我觉得这个很好玩当然印象比较深了
然后不知道聊起啥来就也是当成一个谈资所以就听了挺多你这种就乱七八糟的这种小故事的然后后面那个实际的那个我还基本上也都听下来了然后有时候因为因为我就放着放着我就睡着了然后对对对很多人都是这样
对放着睡着了然后就是反正我就记得说你讲那个说是那个我不知道那会儿我还专门跟你聊过我说你讲那个什么太史公牛马走司马迁再拜言那个事对我就说牛马走到底是个啥东西然后你说这个东西有争议我就感觉很有共鸣我说因为当时这个是课文嘛我也当时在这我就我一开始我以为是我当时那个上课走时了没听懂
然后后面以后跟我那会儿的那个语文老师聊一聊他就说啊就说这个东西是有解释的什么什么的
我就以为这个是标准解释只是我的语感有问题但是你后来说这个东西有争议我就感觉特别有共鸣因为我就觉得这个牛马走这个东西不太符合这个文法所以说它有争议我觉得反而是一个我比较能认可的一个东西所以说听了几期你讲那个史记后来好像也是闹得那个没法弄了还是也不知道你自己不想录了反正后来这个节目也不搞了还有你弄的什么小说什么的那个我倒也听过一点
但是我可以直接说我的真实感受吗?可以可以可以,完全没问题我觉得写的倒是挺流畅的,这个是真的,写的挺流畅
就是我不知道你是有意还是无意我感觉你的那个小说就给我一种就是有点像那个什么维城了或者韩韩早期对对对就是这个就是这个我就是模仿他对因为你模仿维城吧他韩韩早期作品不是也也有那种模仿维城的痕迹所以就给我一种那种感觉在里边然后呃就就
就这个故事模式反正我当时听了听就感觉反正就不是很也不是说反正我个人不是很也不是说不喜欢就是感觉给人一种
没有太有听得下去动力的这种感觉就不是说是那怎么样就因为就好像说是就给我这个感觉比如假设我是一个比较宅的人当然其实我也是一个比较宅的人在最后但是这个故事呢就这一类故事就给人一种感觉好像我被莫名其妙的然后扔到然后扔到外省的一个一个出租屋里这种感觉就感觉好像周围哪哪都不是很适应的那种感觉然后所以说我就我也不在因为那个围城这个故事反正我看过一次后面也
也不懂因为他这个故事基本上那个主人公就他就一直在那个除了开头说是他从那个家出来他就等于类似就支教一样的然后一直在那个
在那个就是这个我记不清啊就反正在那个好像在什么学校里边的那个故事就站了很长一段他就一直是处在一个离家的一个状态然后所以我就感觉这个很像但是我个人呢对这种风格的故事不是很适应所以我后面也就反正基本上就是还在放但可能好多时间睡过去也就没细听那个故事我不知道你这个故事后来写完了没有
是写了非常非常多但是我也后来慢慢发现了写小说不是我们想象的这么简单我写了特别多就是靠冲动去写然后大概写了
10 万到四五十万但是我不知道如何把这个东西圆起来这个真的很难对我来说是比较难就是你没有办法去收尾其实让我想起了以前我天天嘲笑古龙其实那时候我们不是金庸古龙我经常嘲笑古龙我就说古龙写小说他写着写着一个人就写没了
对你如果你看你就发现了他写着写着这个人就出现了几次你又觉得他好重要然后面再也没有了我认为觉得这个不行但是金庸会写的比较好他都会交代一下
到底怎么样对对是古龙那个我以前看了古龙的小说挺多的我还是比较偏好古龙点如果相比金庸来说的话当然我不说是很讨厌金庸的就是说如果这两个人比的话我还是当时我还是更喜欢看古龙小说因为古龙这个人他写的这个东西比较
怎么说呢稍微比较浪漫化一点就更浪漫化一点而且好像你说的这个现象我当时我也看了一些当然我也都小道相去看的我也不是研究过他的这个人怎么我只是小道相去看就好像说古龙他这个写着写着人人没了这个事也不是他的文风主要是主要他这个人不是比较爱喝酒吗然后他写着写着
然后人喝多了然后就没法写了然后就经常得给他找这个代笔当然金庸他有他的代笔嘛就比如说把阿子给写瞎了那个好对对对然后他古龙经常就是有这种代笔可能就是两个人就是思想不太一样然后所以就有点断断续续的还有就是古龙这个人他可能就是有一点那种
那种就是不知道是完美主义也好或者是怎么样他就是感觉可能这个事做着做着就没有兴趣了他可能就不再往下写了他有好几本小说其实他根本没写完然后他就撂那儿了
是是是所以就就是给人这种这种感觉就是那样的就感觉这他是你就说的是这个人怎么就没了对是以前的时候我这样发现后来我也看了就是他们其实不是说自己有个架构而是要推稿嘛他要写在那个什么上写在这个这个报纸上然后一段一段去写
后来我听说他们写稿费是按行的一行一行的时候所以古龙经常写这种风冷风吹马三行大家也觉得这个好有意境现在就凑字数一行一行的稿费嘛
对对对是是是那看来咱俩虽然说是可能你比我大很多啊说起来虽然都叫动哥但是我感觉有可能得叫你动叔但是我是 90 后了然后但是可能就是大家还是接触到的娱乐还是差不多的但是可能载体不太一样就因为我看的时候看这些东西都是拿个那个那会儿的小 MP3 什么那个看的就看着看着把眼睛一度甩给看高了然后就现在近视度是挺深的对是
是可能可能也是看小时候我真的是看小时候那时候父母不是那时候我那个年代是这个样子现在你小孩看看说父母高兴的要是我们那时候没有娱乐嘛就看这种武侠小照看小时候的话我是要躲在被窝里看就我是把那个手电筒就是以前咱们那种手电筒不头是可以拧下来的吗我就把头拧下来然后盖着盖着被子你知道吗因为害怕被抓嘛
在学校里是那样看在家里是那样看就是怕被但我们也看了很多那个就是黄毅写的小说那种有点色情的小说后来我发现黄毅去世了人家说他是什么武侠大家什么文学家我也想哇我说我们那时候都把黄毅当色情小说去看心情记什么的真的是当色情小说去看他们
他们就在说这是传世经典有时候我也想想哎呀这个这个才过了没多少号这个这个一下子就不一样了对很正常我是吧这个这个经典是过去的流行吗但是黄毅的话我确实没没怎么看过我听说过黄毅我听说过但是我没有怎么看过的东西我好像在网上看了一个什么
关于黄毅的采访什么的我印象比较深我感觉就是就比较神神神神叨叨这个人就是说他没事干看量子力学然后虽然看不懂但很喜欢里面的哲学思想所以我不知道这个是不是也可能是我记忆出现错误或者是我看那个消息来源不靠谱
然后我对他了解就仅限于这个当时确实他的小说我听说过寻情记但是确实没看过这个东西他揣示就是黄色小说他又很像什么
翻云覆雨你听这个名字吗翻云覆雨啊什么破碎虚空啊还有大唐双龙传啊这个边荒传奇哎就是寻情记啊我们全是就是我们那时候都都去买了就是我们都借嘛那人就很恶嘛他把那个重要好好的部分他输出了你知道吗对就是我靠就是人品非常差
对这是我这这个我们倒没有经历过因为我那会看不是好多就可以在网上下载电子也就这种书也就是比如什么古龙啊经文不需要不需要你去借了或者买了啥来的
然后当然我也看过两本实体的但是主要就网上下载然后所以就就没有这种但是我听就是当时我们一个一个老师给我们讲过就你想吧他当时他都当高中老师了可能大我最少 20 岁吧就说他们那会儿看这种小说就是说是不光传阅然后看的着急就开始抄
对对对超一份然后再看超本就搞得还挺有这种对我们那时候我不知道你 90 后有没有你们印试卷子都是电脑打的吗有没有油印的我见过油印的机器但是我们确实那会儿都是复印了就是我见过包括那个打字机包括那个打字机那个东西就以前那种按键那种机械式的我见过一个东西但是那会儿就等于是就学校里边的古
武董他扔在了办公室没人用了没人用了我们见过那个东西但是但是就是那会儿已经不咋用这个东西包括那个什么蜡纸什么的可能就是我们上小学那会儿偶尔老师们还翻出来用一下但是但是对那会儿打印店已经开的挺多的了对对对用的用的也比较少了对
对所以说这也是也是时代的一个变迁吧然后看来咱们的基本基本的娱乐方式还是还是比较看是吗就说起我们近视眼我也是这样我就是拿着手也不好说也有可能是遗传有些人大家都看反正不好说有人他怎么折腾但那个眼睛也不坏这确实可能有这个遗传的一个因素在里边但是
但是这么多人戴眼镜可能还是还是用眼过过得比较多一点对然后这是我我听你那个这挺远的就听你那个小说那个好像你后边就是从去年不是又开始做这个这个这个这个这个转换的这个对对对是啊
有一个话题不知道可以讲吗东哥就是当时就反正是好像你不是去年前年离婚了比较尖锐这个话题你如果不行就可以夹掉对因为这件事情怎么说反正这种就是人生境遇我也确实是
就是怎么说呀反正对我来说是比较痛苦吧对我来说是比较痛苦但是也是过了好几年了嘛也就觉得也也也应该去释怀吗这件事情也应该去释怀就是我觉得就是说我找过心理医生嘛大概就是我确实没犯什么错误吧嗯本我本身是没有犯什么错误嗯就是
有些人我就说嘛喜欢待在墙头上嘛是吧对我也听你这几期我基本上都在听就是但是我不一定每期都能听比如说我可能最近两天 OK 比如说收拾一下家里或者怎么样的我就放在那儿可以听两期但是有的呢可能听着听因为老是听最新一期嘛然后就有 400480 几期还没听呢然后但是 500 几期可能就听过一两个这样的
对对对不是故意要进行的痛闯只不过是就从听众的角度来讲的话就是你一开始说这个事的时候我第一反应就是什么我以为是你跟跳钢高谷一样你又编排你自己你知道吧但是后来听你又说了几次我说可能是真的吧但是就对于对于我们就
我不知道别人听着对于我来说我还是略有惊讶的因为这个和这种比如一般这种明星他们这种离谎不太一样毕竟我听你这个电台时间挺长的虽然说是比如我们直接语音交流比较少但是我感觉这个人可能虽然咱们也没有现实当中交流但是可能熟悉程度更高一点有点类似介于就是我听到一个朋友的
这种浑浑变的八卦和这种有点距离之间的这种当时我还比较震惊的就是感觉还能见证一个这个事件但是我个人的感觉就是反正自从这个事件以后你的这个内容反正就是
也可能是不是我不知道就是可能比如说是时间变多了一点然后感觉你好像这个这个就是做的这个思路啥的也和之前不太一样就不完全是这个写写故事你就开始比较有自己一些想法可能就是后面是不是就开始弄什么包括这现在的访谈啥的现在你基本上这个故事已经弄得很少了对基本上所以你的访谈或者是你偶尔比如什么 330 写一个对对对刚听完那个 330 的那个对
对大概我是这就是大概我听你的这个节目的一个一个历程就是我怎么然后后来不是你说你弄那个 Java 的那个书啊其实我是真的不会 Java 嗯我也比较好奇我说我看看啊东哥他这个当然有点这个试探你的这种感觉就是我想看看这个人
讲了那么多什么这种故事当然肯定你在现实当中你是以这个为生肯定是靠这个东西吃饭的这肯定不会是很差的一个水平我就想你这一点
但是我是想看看你到底能把这个书给写成因为就是这种编程的书很多你知道吧对对是是对很泛滥我觉得你写的时候你也肯定就有这种背景在里边所以我就我就很想看看我说那这个人他如果写一个这个书他到底写出来一个是一个什么样的然后所以不是就就然后就买了那个书然后顺便看你那个就是书有没有在里边聊聊天然后这样的
在这一个事情这就是然后你那次一问说有没有人是想去自己弄的我说我来我来
然后就记上来然后当时也没有特别的啥然后后边你给我看那备注什么的我说你这有点太过了你这搞得听你这电台的人是不是大家都是专业的是吧你搞一个这么浮夸的标题上去所以我觉得咱们今天聊完了你还是把标题重新拟一下要不显得这也太浮夸了这个标题对
这就是我怎么上到这个节目了然后后面再简单介绍一下我的一些经历可以我的话我其实我做这种比如说视频也好或者什么可以算自媒体但是那会儿都不叫自媒体那会儿就是什么拍个视频玩这种我其实拍了挺多年的我还之前在 B 站上上传了一个
一个视频就是什么当 up 主一天多少天就是我当时好像过了就是从我当然我不是全职的我就是就从一开始就是玩内容性这可能是 13 年 14 年吧然后自己瞎胡做一些比如说玩我的世界的那个视频
然后做但是零零碎碎断断续续的弄然后弄了好弄的反正弄了挺多年了那现在你要现在算好像 12 年了这样这样弄也是我的一个我从这里边有好多人就朋友吧就当然你说我也没几个粉丝所以粉丝对这个不是很好奇但是我一些线上的朋友知道我说你还做做视频啥的
然后他们就说那你到底能从这边赚多少钱然后我就经常打开后台给他们看我说我这么多年一共哔哩哔哩乱七八糟给我加起来然后后台一共几百块钱我说我说这个东西都不够我对都不够我买那个剪辑师剪我说这就是一个纯粹的一个爱好或者是一个一个一个业余活动然后大概是这样然后就因为当时啊就是就是最开始就是说因为最开始的时候 B 站都是那种
他都没有自己的那个视频服务那个视频存储空间吗他不是用的什么行浪还是谁的那个视频空间然后他得用那个外链形式链上去
然后这样弄的我当时是其实都不知道有必然力平台我当时是就是玩我的世界然后玩我的世界呢就因为那会我的世界他的那个不是 mod 的魔改 modmodification 然后我知道我会我会搞这个对对对你肯定会你你搞 java 的肯定给的是很轻松的然后对然后弄那个东西然后弄那个东西呢但是
它这个东西是没有一个很好的一个教程然后网上好多教程是过时的你就得去搜别人的视频看那会儿我还不太会找这种就是源头性的信息我不太会就是找它这个 MOD 的发布网站或者看它这个那会儿的 MOD 也没有这个官方文档有时候就找一些视频然后有的视频比较老版本比较老
然后我就自己那会我也玩一玩我说那我做一两个视频然后就给大家展示一下我弄的这个什么整合包这种东西的然后就找是那怎么样发呢就是怎么录怎么发就好像当时有个叫什么的软件记不清了然后那个软件就是能录屏录完之后就能直接简单剪一下发的那种
后来觉得那个软件发的画质太糊了后来又搜别的发现有人在 B 站上面上传我的世界的一些视频然后后面就研究一下 B 站然后正好我研究 B 站前后的时候然后 B 站的开通他自己的视频存储了然后所以我就在 B 站上传视频当然我在 B 站之前还短暂的去什么叫优酷上面上传过几期
然后但是我我那个我之前录那个视频也说为啥后来我就不在了因为因为当时优酷他不是有一个上传之后有个什么审核啊这个有个这个过程吗然后优酷的那个视频就当时有个视频可能就是后台的程序卡了一下但是卡在这个转码还是什么阶段了
然后卡住之后呢那我就找这个服务人员我说是那卡住了你要不你我现在他这个状态等于稿件被锁定了删也不能删但是他转码又永远转不出来就好几天都那个样子然后我找那个客服客服说是客服也没反应然后我说那我算了我干脆不用这个平台了我就去 B 站这边了但是 B 站的话他也有这些问题但是最起码你找客服他你说我的诉求就是你给我把这个东西删掉我重传都行他说有人处理的
然后最幽默的一点是好多年后我吐这个槽的时候我登了一下我当年的优酷账号发现那个视频还卡在那然后还是那个转码中的状态所以我说我当时没有在这个地方再传这是一个非常好的决定所以这是当时就弄了 B 站然后在 B 站就搞这些游戏的乱七八糟的一些视频我现在好多视频其实都被我删掉了因为我也是觉得一开始做的视频有点太粗糙了然后
就没啥意思然后后边就做一些自己的视频其实我一开始我想就是想做这个我是因为比较喜欢玩我跟你家就比较喜欢玩这个游戏弄一点这个游戏的这个视频但是后边我玩那个不是我的世界里边它不是有一些什么红石辣了或者它这个工业这种有点什么物流了逻辑那个东西在里边
我当时就弄那个视频我就感觉对这个东西很感兴趣然后我就当时是我当时做那个视频我一个想法我就说是那能不能能不能把就是计算机原理放到红石里边去讲可能你当时也有这个想法我看你很多视频你包括你是不是还用继电器做 cpu 我不知道那个继电器是做成了没有
能做加码减码也可以嘛是吧你把那个算术逻辑单元给做出来对对对就是那个它不是里面有红石吗红石你其实可以组成一个那个那个叫逻辑门对对对你搞几个逻辑门因为你写代码的话你就可以不停的复制它嘛它有个命运方块对对对可以搞我搞过这个这个我搞过对
能够显示 1 加 1 等于几但只能算加法器我不能算其他的啊就没有 BCD 那些都没对对就算个加法就是两位数嘛算到 100 就不行了超 100 就一出了嘛啊那那也挺厉害的这个东西就看来就是说其实真的是想法是不值钱的其实很多人都会有类似的想法你得搞好久你慢要搞好久还挺有意思的说死的了我挺喜欢玩这个
是挺有意思的,就是相当于一个不会烧元件的一个数字电路嘛,就有点像这样的,但同时它又有一个很及时的反馈,就我往这一放马上就能看到一个结果的那种东西,我当时我也是想做类似的东西,我就会能不能就是既在帮大家知道这个游戏怎么玩的时候,把这个东西也放进去,我当时做了好多这个尝试,但是后来我把这个东西给放弃了,
说的这么像像网上那个梗后来我选择放弃就是我当时后来我发现一个很大文就你说那个面临方块能复制粘贴那个东西我意识到一个就是包括我的世界红石或者因为后面我的世界之后它有很多就是有这种编程元素游戏不知道你听说过比如什么 TS100 就
它是一个用写绘编程序去解谜的一个游戏我知道 Steam 上打折的时候我还买但是我没玩我存了好多游戏我跟那种女的喜欢存包存什么一样我就存 Steam 打折后来我发现我在 Steam 上买了 200 几个游戏我也差不多对但是很少玩看到打折就觉得 15 块钱慢慢买
买了买了三四块钱也买就这个样子就是我也是我弄了一堆我现在好像死地我这样多一半都没点开过那种游戏而且当时买的时候我后来我都我都奇怪我想买这东西后面看的也不是那么好玩有的游戏但那个 TS100 我还是真玩了一段时间
他也是好像写成需要那样解谜当然还有类似比如说他好像一个厂家出的不是一个厂家就是什么深圳 IO 他里边模拟的是这种就像硬件电路那样去这样做成一个游戏这样的一些东西后来我一说一个所有这类游戏的一个问题就是说你要从功能性上来讲他们虽然是在模拟编程员但是他的肯定没有比如说随便一个编程哪怕 C 语言或者是哪怕就你 Windows 打开以后 CMD 功能墙
然后但是呢同时你要从易用性的角度来讲那我拿我拿这玩意儿写就他那个 TS100 他里边写代码是很痛苦的他那个一个方框里面只能放 20 条还是十几条指令就是他他超他因为他是解谜游戏嘛他不能把那个状态说那么太多
所以他那个就有这个文本限制但是我说那我即便是就拿最原始的汇编写我拿个记事本写也比这爽呀能 Ctrl C Ctrl V 无限复制所以我后来我就发现你要从功能性就是可玩性的角度来讲其实真实的编程语言比他们更可玩
你要是从易用性的角度来讲现在随便一个 IDE 都比这个游戏里边操作界面要方便对对对其实那个就是给一部分人那个啥吧对吧就是那种 playground 那种东西就是玩一下但是其实就很很受限的一种场景里边去这种玩一下这个东西对所以后来遇上这个问题以后我对这种游戏就也不是不玩了反正就是我感觉好像发现更好玩的东西了所以就呃就是
重心就从这边转移了就转移到这种比如是去搞一搞这种什么我就是有实际的功夫其实我就可以去拿比如 Person 或者 Ca 员就能写点什么东西去了所以我有转移到这其实玩这种编程游戏包括手机上有一个就坐电梯怎么编程包括什么的其实可玩性真的不如你直接打开个他虽然给你了说我怎么坐电梯到哪里他其实很蠢的
这就是你左转右转上去下去怎么循环对对对其实没有意义意义非常小是
是就感觉好像不能但是怎么说呢就我看有的人好像他是一说起 MC 就是他是比如为了玩这个游戏可能接触到了比如 Java 啦或者是 Honest 这些东西他喜欢这个他学的程序啦或者怎么样的转行计算机之类的我还真不是因为这个游戏吧因为我当时就像这两条并行的线嘛一方面我觉得这种游戏挺好玩但另一方面其实我也在就直接学那个因为大学就一直有这个功课都有那个随意员课嘛
然后就当时我一学这个私立语言我还还挺感兴趣的当时虽然也不是什么好大学了就这个普通大学然后但是就是我当时我的思维原挺感兴趣的就是一个一个我自己一直都都都有点小小自豪的成就就是当时我那个思维原是反正上级考试然后
可能有两节课的时间但是我好像因为那个森业院考试他不会挂人的说实话来说他不是说故意为难你的那种他不会考你一个很难的东西他其实就是一个基础的语言差不多然后我做了 30 分钟就把那个提前做完了做完了之后然后我就问了一下这个老师我说做完了老师那你走吧我
我一开始我以为人家生气了我说是不是人家觉得我这无视考场纪律但是我是真的因为我做的那个感觉特别顺嘛别人都没动静我说那我举个手我问一下是能交卷吗然后结果一弄然后那走吧我当时第一反应我以为老师生气了后来一看老师那个老师说走吧走吧走吧
那我就走了然后结果好像最后我我就那样然后 30 分钟交完那个卷子还是 90 几分然后反正还考的还还不低可能就做错个选择题啥的就那种写程序题都做了我当时我还就因为这个还小小骄傲一下的所以就是对这个东西还挺感兴趣的然后就自买因为我我学的本科专业并不是计算机我本科专业学的是就是这种就是就是工程一类的就是
有点像物理它是研究比如说是什么空调换热了这种东西就是热物理
这种东西的啊其实跟编程关系不大但是我特别感兴趣所以我就自己一直在自学我就当时当时我就老说我自己是呃自同时在学好几个专业因为我自己给自己搞了很多很感兴趣的东西然后再再看所以我当时就学了一些这个编程的比如是计算机原理了什么的我当时自己在网上淘的书然后看了看所以说我在玩游戏时候其实我我自己在把我当成一个那个计算机本科生一样我在我在那自己学这个东西
然后后来以后我学着学着学着我就当然那边游戏也是玩着玩着玩着的时候
我就一直想说那我能不能把我这个就是计算机原理上的东西和我那个游戏视频结合起来那使得更寓教于乐一点但是后来我不是就说我意识到这个问题说你这个游戏好像永远没有那个真实的编程语言好玩然后所以我就当时我就发生了一个转换我的思想就变成一个转换那我就直接讲我学过的这些东西呗后来我就做了好多就你说的那个什么
编程语言的那个视频了什么的嗯就那个也是当时网上瞎看的就是看到那个就编程范式嘛因为当时学编程语言就是呃可能所有啊你听这个频道的话多多少少都学过点这个编程的东西啊好多人都说什么都是这个入门最难嘛你会个 C 语言或者你哪怕就会个 JS 或者哪怕你就会个什么你就你就 CMD 或者你用过 Linux 啊我还真见过一个奇人啊就是
嗯就是我一个网友当然最近也不怎么联系的前好多年联系的就是一个是个女孩然后她呢当然据她所说啊是这个网上也没有见过面这谁知道是不是编故事的事呢嗯她是怎么样就是呃她家里呢当时给她买电脑啊就是比如上大学买电脑家里也不懂然后就是给她买那肯定就想给孩子买个好的嘛然后呃就好像就给她买成那个就当时那个 windows 不是要钱吗啊
然后对他就当时你像戴尔这种他有的那个机器他是不带正版 Windows 系统的就上边去默认装个 Ubuntu 之类的东西对对对他买了个电脑就对就这种的图便宜然后买了一个这种然后他没办法就自己在网上找这种资料就学凑合着用后来结果他这个他也不是计算机专业的但是他就是这个就最起码 Bash 命令比较溜一点然后就就用的很很顺但是他反而对 Windows 上面东西不是很熟
可能他们也不用太多 Windows 3 的软件什么的对对对所以说他就跟他聊起来他就说他就说他一直感觉自己就是个异类说为什么就是他其实就是别人电脑他就用不了
然后他那个电脑可能你不是计算专业的人你也不知道什么是 Ubuntu 什么是 Linux 什么他就感觉自己是这个电脑就好像别的孩子都有这个玩具但是我玩了个别的东西这种感觉是非常这个我能理解包括比如说我现在也不我现在就喜欢用苹果电脑为什么因为我不是远程开发我就打开 Terminal 然后登录到 Linux 上对
因为这个没有风扇我也不是说我就是我这个电脑是没有风扇的真的很舒服嗯你说性能肯定不强吗没风扇还能强到什么地方结果呢我这个长期不整 windows 啊大概就是我用的最多的就是 windows xp 可能你应该用过是吧 windows xp 对我用过用过对我还见过然后 windows 7 嗯说实在的 windows 7 之后我就没再就
就你说我会不会用我还是会用的但是呢确实变了很多对变了很多呢结果人家让我修个电脑啥的好哎呦我就说但是在家里呢我还能找啊找到怎么搞但是慢慢就找不到因为控制面板什么都不一样了你知道吗跟跟 windows7 不一样我找半天不知道在哪你这学了个啥哈哈哈我说真不会我去找不到
说起这个我也当时还挺纠结的不过我放在下一个话题聊说起来就像那个人一样他其实无意识他已经跨过了我们学编程的门槛但是他自己反而觉得很难受但是好多人就是说你一旦跨过门槛之后就很好学这个东西所以当时我做编程的视频的时候
然后我就想着说我一开始我当时我也有跨门考的过程我一开始听说有很多编程员除了 C 还有 C++除了 C++还有 C#我当时我就是按字母表学的我说学完 C 学 C++学完 C++该学啥呢按照道理说你学完 C++咱们按照现在人讲你去学点 C++相关的什么开发之类的东西学点 C++酷了学个框架之类的然后我不知道我以为说学完 C++就得学 C#那字母表排下来不就到这了那我就学了 C#
我就完全没有学过乍玩但是我学过 C#然后我我我学 C#还是花了不少时间去学的然后这样去学但学完之后可能还有还有别的很多语言所以就是这种语言很多我当时我有点这种全能全能的这种想法就是说能不能找一个语言我学完之后我就啥也能干就是类似什么 JS 宣传这种什么前后端都能干之类的
我就在找这个语言我当时在思考这个问题所以说当时我在看比如他那个比如编程范式那个课的时候我当时我也带这种问题当然这种课是无意刷到的因为当时看到网易有个云课堂什么的上面有木课什么可汗学院啥的就比较好玩就也看一看啥的然后看到正好看这个课我就觉得这个课要讲的东西虽然说其实好多你就想你已经学完 C++了你很多什么面向对象啥的其实比较熟了不需要他给你讲
但是他这个目的就很吸引我就是说你说他能把这个东西给统一成一个所谓面向过程和面向对象的一个思想说实话其实我们也学过那个工科都学那个什么大学计算机基础他都会讲那个面向对象编程但是我是真没有在那个课上学会什么叫面向对象然后然后
然后我就后面去看了这个课之后原来有个叫编程范式的东西就是编程语言它其实设计功能是根据这个什么编程范式什么这种东西去设计的我当时就感觉好像我又是很好的分类我就觉得这个东西很好然后所以说就当时你看到我那个做的那个视频然后就模仿人家那个结构然后去讲人家当然人家那个讲的很长的一个视频我当时正好发现一个很好玩语言叫 Lua 就 Lua 语言它不是什么
它无类型但是它就相当于一个迷你版 Path 的那种然后同时它又是跟纯 C 写的可以跟纯 C 的直接去互动所以我就感觉这个很好玩我说那就以这个为例子去聊这个事所以说因为正好我就说实际上就是说面向对象面向函数式还是面向过程其实都是一种思路它并不一定非得一定的特定的语法支持才行
你可以拿个录你可以写各种各样的语言包括什么圆边城啥的我就当时做了一个这样视频当然你现在看到的那个东西可能是我后来第二次剪辑过的就是我最初发的那个因为我当时感觉我当时录视频可能有什么声音不太好了或者是坑坑咔咔的这种东西后边我就删掉了但是删掉我也想因为那个视频当时
虽然没几个粉丝但是总有几个人觉得说还挺不错值得看那我就觉得说呢你删了也对人家就是感觉不太好人家还觉得想看一看你就你这资料没了那么就好像这动不动就 404 了一样所以说是我说那我还是这个资料我自己看一看说还能过得去呢我给他出个重制版
剪出来我又给放上去了就那个视频那样的但是做完那个视频之后其实我后边又过了很长时间然后又也又考虑了好多事情就是说是我后来觉得说这个编程范式这个东西也不是特别靠谱因为我后面可能也是我想的有点多我有点那种有点那种有点那种钻牛角尖了就是我很多这个朋友我有很多这个比如搞这个软件的这种朋友他们都会你说入门怎么入
其实大家都入了门了我们讨论这个问题就是完全当成一个就是这种谈资去聊但是我呢还确实我还经历过这么几次事件就是完全教别人从不会变成要把他教到会变成为止
我有个朋友就是这种他现在当然他现在也找了一个这种就是反正写代码这种活吧也是以这个作为他的职业了当然也不是太好的这种职业因为毕竟是半路出家你又没有这种学校也很一般你又是半路出家年龄也不小了你能说实话你能靠这个找下工作我觉得已经歇天歇地了对他来说
但是就是当时我我也教过他这种编程就是他从完全不会他只是就只是攻克一个学过虽元这种东西甚至呢虽元的课都不知道咋过的这种情况我要给他完全完全把这个东西给他教会我就就包括后来就是那个就是帮一些人去给他们讲这个东西我现在
我就会想一个问题我说大家都会说所有学会的人都意识到说过了那个坎之后你学哪个语言都很快的你学完 C 你学个什么什么 Java 都很方便了但是我就当时我就很想知道一个问题就是那到底那个坎是什么就是因为大家说出来这个东西都好像是那种
不可知的东西你知道吧就是就也是我特别想上这个节目的一个原因就是我听你前段一些观众不是观众一些嘉宾讲的他们的有很多他们的人生经历在里边他们会有一些比如说结论性的东西或者是怎么样就是包括我前两天我听到那五百零几期还又跟你想起来我说我怕忘了我跟你说
给你留言过去的那个东西我就就是说这个东西他们会有一些很对其实一些人就包括说是什么学编程你学着学着只要过那个卡你学会一个 C 元其他都会学这是很对的哪怕你不学 C 元就学一个 Lua 学一个 Python 学个什么随便那个 C 元哪怕 JS 你只要学过那个卡学后面所有东西会很简单是一个这样的但是问题是
问题是你对于初学者来讲他们不是叫什么学者遗忘吗你已经过来的人你知道有那么个坎但是你又不知道那个坎是什么所以就导致你没有办法给不懂的人讲懂这个东西是啥然后我当时虽然我已经可能模模懂懂的过那个坎但是我当时我的想法就是那我怎么能让别人也能就是很清晰的把这个坎给过来所以
所以后面我做完那个编程范式那个视频后面我本来按照我的想法我就应该做一个什么就跟 Bilibili 有个很著名的小甲鱼不知道你看过没有他就讲各种什么我还看过他讲汇编的那个视频就是什么汇编啦 C 元各种语言我类似的吧就是教大家这是 C 元这是什么 C 元的什么什么库这是 C 加加这是 C 加加什么什么库什么什么框架这种的
但是我后来就没有做这种就是就比较杂多或者是这种比较比较具体的一个一个这种教程我我本来计划是说啊那我就我我自己也学也是对自己一个鞭策嘛然后一边学一边给别人讲做一个视频挺好的但后来我其实这种东西做的很少就是因为我我就说那其实
C 有 C 的文档嘛 CPP Reference 有那个 C 的 SO 标准你其实有那个东西你所有的书都可以不看然后或者是现在尤其 C#更方便 C#之间微软那个文档写的太好了结果当时比较喜欢 C#就因为 C#那个文档比较写的好
然后就有他到 Net 内库写的非常清晰你看那个就基本上你只要大概会一点你都不用会英语他都带自动计算然后就能把东西给写出来所以说我就说这个东西其实不需要我讲我需要讲的实际上就是让一个初学者去过这个坎儿去包括我跟你提到刚才那个同学也是就那个朋友也是他其实也是只要帮他过那个坎儿他自己就可以去学这个东西
所以我后来的视频就其实我一直在想讨论一个问题就是到底什么是就是那个不会的人和已经学会一个编程语言的人之间的那道坎是什么东西我就一直在或者是我还想更进一步讨论就是有的人他看似学了一门编程语言但他那个坎其实没过去
就是你像不知道你见没见过就是有的人他学那个词因为词语言他大学生好多都要学嘛他是靠背题去学那个东西的这这个其实你在考试是吧像考试一样对他就去弄这个东西就而且他们不光是词语言就包括我就见过说是这种
就是你比如他有的人可能学数学也像学语文一样去学这个东西我就觉得可能虽然说虽然说你这个成绩确实很高但是好像你也没有过那个坎所以我当时后面的很多视频其实都是在想想想看看是不是能把这个问题给澄清一下所以我后面做的就越做越潦草我甚至有时候大纲都是自己瞎画的然后就就这样写然后
把后边的视频给做出来但是做这么多视频所以我感觉目前的视频也不是质量很满意但是我感觉我是找到了一个我的一个阶段性答案所以说是就后边以后我也就对这个事情就比较平和一点了我感觉我终于对怎么样让一个人把这个坎给过来就有一个我有我自己的这套想法了所以说就后边这个视频我就做的就有点懒散
就现在的话就是我不是也发给你吗我我后来又做了一个新的号我没有没有换网边我只是说是觉得这个内容放在我以往的那个号上面不太呃怎么说呢不是特别就风格不搭吗就你说的就足球的和这个计算机放一块然后我就所以我就后面我就想换一个方式去说啊就二偶尔就有这么一两个专题去聊一聊就可以了就就就我就就
反正给自己一个答案了也是然后反正我现在的版本答案就对我来说版本答案就是我觉得就是这种会编程的人和不会编程的人他其实缺东西什么呢
其实缺的东西它不是说什么这个我觉得任何一个学过 CE 的人或者学过就是凡是这个学过这个考的人他都能回答上来告诉你说是你得了解变量了什么这套机制了什么算幅这个东西但是我的我绝对对这个东西不太满意我说这个东西那变量是什么东西呢那为什么就你知道了变量你就会了有的语言是不需要变量的像 Skella 或者是那个 Huskow 这种东西它没有变量也行
对对函数是边层语言就不用变量对它是不用变量的但是你又不能说它不是边层所以说我我我我现在答案是什么就是我觉得他们可能就缺一点这种当然逻辑就是逻辑我这个逻辑就是这个特指这个数理逻辑的基础就是数理逻辑很宏大的一门学科了就是他只需要知道里边的一点很基础的这个概念然后包括一点就是这种
就是这个带数的东西数学的一些东西然后还有一点就是那个
语言学上面的东西就是也不需要我学的很复杂其实你你如果把那个英语的那个主卫兵什么的那个东西引导过来我感觉就足够了所以我我现在现在如果让我从头去教一个人我的思路就是就我我当然我现在我那个做的视频里面就是我我试着交给我女朋友女朋友完全不是不是对我但是我我我都我都没有就是我不是想让你学会写代码但是
你作为一个完全没有学过的人你大概能理解程序要在干啥就可以
所以我就从这个角度是给他讲了一下这个到底是在干啥的所以我就是从语言开始出发我就说英语是吧英语的这个名词和动词然后从这个角度去出发然后那命名符了这个主卫关系了这个东西然后最后然后导出到说那么这个语言就是其实我还很想推荐一本书来着但是你不是最后那个推荐我不是已经给你发过去我说最后就推荐两本书了但是这本书我就在提一下算了就语言与机器
然后里边讲的就是讲乔姆斯基层次一个语言是要对应一个机器的就是什么图灵完备的语言对应图灵机什么零型文法一型文法二型文法三型文法那个东西我看完那本书我对这个东西我是比较能串起来所以我在给人讲说我会讲一个这个东西的简化版
就是我们的语言实际一定要对应到一种语义上面去然后对应到语义上面去然后它怎么样去对应我可以用一些类比的方式给他们把这个东西给梳理通让大家知道说我们是在干什么我这个语言是在干什么然后语言的结构和机器的结构会有一种对应关系怎么样我会以这个思路去讲我感觉我现在的感觉是如果我这样去讲的话好像更容易帮他们渡过那个坎就这些东西其实
你去找一本这个思维的教程他不会讲这个东西但是你如果学完思维的教程你一定要会这个东西所以就感觉就很神奇的事情对 其实编程对 有时候是这样跟我们做项目一样我们很难去知道这个项目到底在做什么除非你做了一遍对 我这里是不是应该说唯唯否否不然其实我的想法就是在这里一点不然就是说是
就包括我跟你说的可能我前面刚才的思路有点乱你可以剪的时候把前面剪一剪无所谓没关系就是说是这种想法它有一点这种不可知的感觉就我刚才说的这种不可知就作为过来人我有个很对的经验我把这个经验直接告诉你但是你作为一个新人来说你不知道为什么这个经验是这样的就是这个项目那么我们做完之后我们也不知道为啥做了反正我把这个项目做了当然比如说工作这个东西是这样的
但是作为编程来讲的话我觉得他是能讲清的但是他讲不清的一个原因是什么我刚才讲的我说的一个点都比较犯为什么他没有讲清呢是因为我在给别人教编程的时候我自己会强调当然这可能是我自己的一个偏见我自己会强调一点就是说如果有一个地方没有听懂那一定是因为你有一个前置知识点没有高度
就不存在一个东西说我是不可言说的就是只要这个东西它是编程的知识它就一定可以被讲对 这个是肯定的这个没玄学对 它不是个玄学的东西那只有什么呢最后一定会回到我们的一些基本共识就是我说的这种比如说是英语的主语 卫语 宾语当然我是说英语是因为大家学英语的时候会学主卫语其实汉语也有
只不过可能我们天生就会说我们就忽视了他有这种主卫兵关系在里边就其实最后一定要回到这种生活常识里边去所以说就不可能有一个讲不通的东西但这个东西讲不通就是因为我们在讲编程的时候太注重于语言了就我太注重 C 语言太注重 C 的变量和算幅指针这些东西了其实没有回到那个就是没有回到故事的起点对于我来说
其实历史上来说 C 是一个你要是整个从当然你也你应该比我懂得多从历史上来讲 C 如果你要是从图灵一会儿算起图灵死了之后几十年才有的 C 语言
它实际上是一个相当晚近的一个东西是那在这之前的图灵之前还有还有那个阿隆佐丘奇是吧还有弗雷格然后你如果再往上弄还要再往上倒层还有莱布尼茨所以说这个其实其实是因为我们跳过了从莱布尼茨到
图灵的这一段的这个过程所以导致听不懂而这段过程呢其实也不需要说完全知道莱布尼茨是怎么样的好像东哥你是不是最近在看那个斯宾诺莎是吧对对对斯宾诺莎我很喜欢他的书也不是最近的你看其实他写的这个他写的那两本很出名的书嘛我哎呀怎么说呀
我还是蛮认同的可以的我是确实没看过我只在有的一些比如介绍因为他经常和莱芙尼茨放一块这俩人作为一对所以我是你说斯丁多沙我还感觉这人挺熟但其实除了这种双的简介我就对这个人也没啥了解你应该是看的比较深入一点的
对就是这种我都要说回来超远了就是说回来就是我感觉就是为什么我们直接讲 C 元讲不懂不是因为什么指针抽象什么的而是就是因为缺了这种从莱布尼茨的这个想法到那个图灵的这个过程在里边就是说
缺了这个过程所以说讲不懂所以说我就想说我们得把这个故事从头讲然后我就往前倒然后最后我一直我自己如果去讲这个故事的话我会一直倒到亚里士多德所以我新的号出来以后我第一期就是就简单的聊了一下亚里士多德这个人他的一个思路就因为逻辑学他其实是从亚里士多德开始的嘛
然后他从那个解释语法的一个分析然后指什么把语言给进行一个分类把语言整理完然后把语言的这个架构理清楚啊才才有可能去去讨论就是这个他们所说的这个这个语法和语义的这个对应了这个映射了这个问题然后才有可能去讨论这个就是比如是这个
什么是集合这样的一个东西才有计算的概念在里边那么你其实你一旦说是你如果说是也不需要很深入就是
比如说假设你的你看过一点很简单的结合论因为高中都会学这个东西然后再稍微看一点数理逻辑就是一节为此语言然后再有一点点的地归论的一个结论都不需要看那个证明其实你就可以很轻松的理解所有的计算机你就对什么内存指针这个东西我觉得就不会有任何困难性的东西在里面
所以我觉得这个东西反而是计算机组成原理也不讲 C 语言它也不讲就是说因为我们现有的这些教材体系它没有一个单独的科目去涵盖这些知识所以这个知识就没有任何人去作为一个书去讲它不是说任何人有点那啥这说成那啥的全是否定了不是任何就是说反而没有一个
就是没有一个很独立的科目去去照顾他所以说呢我们就把这个知识就扔掉了但是就是因为你缺这一块前置知识所以你就保持 C 元一上来的这个计算的概念你就会很很痛苦你就你就你就会感觉非常难但其实就是我当然我也是大学遇到一个非常好的老师他他讲的课我没咋听啊但是他上个第一节第一节课还是我还是比较认同的就是说啊
C 元的难度和什么高数这种难度完全不在一个档次上就是你认为它难就是后面我自己当然掺一点我自己的认识在里边就是你认为这个东西难就完全是因为你
你有一个应该学的前置没有搞懂就好像说因为东哥你好像是学数学的是吧以前肯定学过对对对那你那你比我厉害太多了就这个别的专业看数学系都是只能仰望的那种感觉其实找不到很难找工作所以我就转好了嘛
对但是好像他们是不是说反正数学转计算机或者转金融的人比较多对最主要是这两个但有一个好处就是如果你在数学系考研的话是有优势毕竟考数学一数学一我看我们那些数学系的都会考到 140 这个样
那就好像说是哪天说不考数学一了公共课考一个 C++计算机就会很那啥一样它就是这种的所以我说到我刚才那个话题我想说的一个比喻就是你学 C 的难度是因为你少那个东西就好像说我们很多人我们不是数学专业的当然可能也包括数学专业的他学微积分难
我当时也觉得微积分很难贼难我到我现在我这个数学学的也不好但是我知道我的弱点在哪我知道我这个如果假设我考不好一定是我没有练那个题型因为那个微积分它不是有各种那个
什么积分表或者定式实际上是相当于它解了一些特解出来你必须把那个过程给背下来然后遇到这个题你能用上这个东西才行但其实你完全可以写一个程序比如什么 Metalab 里面它那个自动解微分积分其实就是用这样一些东西给套上去的但是它做题它要求你把这个东西就内化了
其实这样的我知道肯定是我因为我没有练我偷懒我知道我是在但是我一开始真的感觉到难那个地方就是说就那个第一课就是那个那个什么这个无穷小就那个东西对就那个东西因为高中的时候他会讲到一点嘛高中时候好像有一章就讲导数啊什么就就很头疼因为这个东西一会儿是零一会儿不是零然后一会儿又是无穷大一会儿一会儿又是任意一个时数就搞得人很头大我所以我就我就我就对这个东西我就
很烦我就我就我就一直搞不清楚我说到底这这还是个啥就是为啥他一会儿又是那那一会儿又是零一会儿又不是零了所以就就对这个东西真的我是很痛苦的就是痛苦到什么程度就是说我是哎我学这个东西我就头疼头疼真是头疼因为我有点偏头疼我后来我想了个问题我就头疼嗯但是我高中时候我还我还是我还是抓到一点这个真相的尾巴就是
当时我拿一道题我去问我的一个高中老师我说老师无穷大因为我们那会儿教材我不知道是我那个老师没讲清还是可能我当时看了没听反正就我当时一直弄不清一个概念我说这个无穷大到底是个啥我的意思就是它是不是一个数字它不是个数
无穷大它不是一个数吗然后但是我当时书上好像没有这么说过但是我当时我拿那个题我就问他我说无穷大应该不是一个实数然后老师说你的理由是啥我说二分之一的无穷大次是零然后没有任何一个实数作为指数的时候能让二分之一的这个幂变成零所以说无穷大应该不是一个实数
那个老师听完一个论证当然现在说起来好像我有点听人家老师短的那个意思但我后边真的想起来我说你作为一个高中数学老师你肯定大学是学数学的这么一个东西你其实是一个很基础性的一个东西那个老师可能也是好多年不接触这个东西然后他愣了
对对实际上是的其实你这样问老师也不能怪老师其实我可以稍微讲一点点就是这个无穷大无穷小你其实
他在包括牛顿啊莱布尼兹啊包括欧拉这一些他都没有给他一个定义包括我们所说的实数也没有定义就是数学即使现在我们都学的这个一加一等于二这件事情是没有办法证明它是唯一正确的有可能有另一个体系就数学我们就是说不一定是整理的对
所以你很难说有这个这个时数是什么包括我们说的时数是什么没有人没有人定义什么是时数那那是我们上大学的时候那老师还讲嘛就是我们你不能说是讨材班的哈就是他确实都没有定义包括牛顿他们这一些都都没有都没有定义这个无穷小量但是也确实呃
也确实就是一直在用但这个批评到现在一直就有以前就有到就是批评这个无穷小量跟无穷大量有一个我忘了叫什么了叫贝克莱主教他也是个数学家贝克莱主教天天就是说闭上眼世界不存在我忘了是不是他反正贝克莱主教就经常批评的就是无穷大无穷小妈是个啥他还搞不清楚
所以不只你搞不清楚
那这个话题就变得有意思起来因为我后面以为我搞清楚了就是我后面因为我后面就说起来就是当然就是先说这个反正无穷大你不能说它是个实数可以这么说是吧反正咱们先暂时也不管它真假了先有这么个说法然后我当时就反正因为这个但后来以后我大学的那个书上完全是不讲这个事它不会给你个定性的说无穷大是实数或者不是实数这么一个东西然后
我是什么时候把这个东西才弄清楚的是那个那个我我当时看的那个那个你们数学系有个教材叫那个数学分析嗯嗯啊华师大的那个教材啊我看了那个我才知道我为什么看不懂微积分因为因为他没有讲那个前面的那个实数理论和那个无穷小那块没有严谨的讲那个东西所以所以你说没有没有我我也刚才我有点一愣没有啊那个无穷小不是 epsilon delta 语言他严格定义出来的嗯
怎么说呀反正是每一个流派的科学家他认为他会不同的流派但是有那么一个流派就是他们好像是科西还是拉格朗日那几个人他们搞了一个那个 Epsilon Delta 元就在我的这个化数体系内就是你只要就是数学它确实不一定是真的但是你只要接受它的公设和那个定义
他是能就好像文字游戏一样我能证出这个事包括罗素嘛罗素伯特兰罗素他就认为妈这个吴琼晓是个假的伪概念你可以说他他也一直在批判吧他说哪有什么吴琼晓嘛就是他也是数学家也是哲学家嘛他就觉得这个太虚了但是
就是我们用他用他解释的一个工具吧只能说是我们很难去解释他包括你你等会你可以去说说这个罗素也也批判这个吴琼晓他也没他肯定是既然批判他肯定是也没搞清楚吗对不对这玩意是假的
那我这个例子举的就因为那但我先把我刚才例子举完我的意思就是说是对就是是因为我当时学这个我我自己感觉问题出在哪就是我学不学不懂那个无穷小是因为没有没有讲那个实数理论然后但是我觉得如果你补完这个实数理论的话是可以比较顺利讲无穷小所以说就是对计算机来讲如果你把那个地规的那个东西给放在前哪怕只讲一点点哪怕只是个例子可能后边就会很好讲但是现在问题变成了就是好像按照动哥的说法的话这个
它这个无穷它不是我比较理解你的意思就是说数学首先它不是一个不像物理它不是一个实在的一个东西它是一个建立在公理系统里面的一个东西是我不知道在门不是都你肯定了解第一次软件危机第二次软件危机我听过但是我还真没怎么了解过那个东西对
反正你知道这个名字嘛对吧但数学上也有第一次数学危机第二次数学危机第二次数学危机就是维基分引入了无穷小量对对对大家都搞不清楚嘛第三次数数学危机就是罗素搞出来罗素悖论嘛第一次的话就是那个那个
没有办法写成就是那个无理数对对对一跟一就是一个正方形中间那个是根号二嘛根号二写不出来就第一次数学危机叫非比例数那个对对对反正当时有理数无理数的概念然后第二次数学危机就是这个无穷小量嘛其实
到现在也是有很多的人也没有解释清楚就是微积分这件事情就是不是微积分这件事情有无穷小量这件事情其实你产生疑惑是正常的因为它是一次危机嘛就不知道微积分这个无穷小量无穷大量是个啥毛东西嘛
这很正常说明你早出生几年早出生的某个特定年代你就是这个话题有意思的地方在哪儿我当时你如果说是你放在十年前你给我这样解释我一定就放下这个心结了然后问题是我把这个
牛角给钻出来就好像武侠小说里边你知道吧我忘了是哪有这样一个情节就是说张无忌练九阳神功的时候他不是练到什么第八重了还是第多少重了但其实九阳神功就没有什么第八重他说第十重太难练不上去因为创始人他才一共才练到什么第六重
就是说就不存在后面的那个武功啊他自己编出来的他自己等于是他自己给编出来了对所以你跟我这么一说我我都是就有这种感觉我说难难到后面成了我那个但但我确定不是我想象的就是所以来聊一下我我后来认识到的
就是说你说的很对数学它不是一个我当时我也有期节目专门我就聊过我那个心路历程我说我还痛苦这段时间我说数学到底是个啥东西为什么这么三角形和那个什么实数这两个看似就没啥关系的东西能放在一门学课里面我当时我也很痛苦但是后面我就是看了一个东西的话能把它们给比较统合就是说数学
数学当然有很多个角度解释你可以就是我认为数学就是完全好像我们游戏一样就是一个游戏规则那你说象棋是什么东西象棋就无非是一些棋子和一个棋子行走的规则然后它实际上最后你所有的棋局就是这个什么它那个组合排列得出来的那个所有可能状态数围棋其实它只不过是另一套规则它比如它是 19 乘 19 象棋好像 10 乘
10 乘 10 还是 9 乘 9 我忘了 9 乘 10 对 9 乘 10 的然后围棋是 9 乘 19 的而不是他跳棋跳棋可能是什么三角形的这种这种跳棋我也不知道我玩过他是六毛星还是什么那个东西对他是一个数学他是一个规则那你说这个游戏它有意义吗在他不是一个他不是一个就是物理上的定理这种他不是说是我
没有说是什么盘古开天辟地就突然有一个棋盘在那里这个是完全就是一个就是抽象游戏而已所以说是从这个概念上来讲的话就是数学可以被理解成就像象棋或者是围棋这样的一个游戏只不过它的那个规则就是它的一开始的那个但它有两个规则就是它的那个移动棋子的规则就是它那个数理逻辑的那个推演推演法则
就是我们的高中书上好像没有明确的讲过这个东西但实际上就是但实际上大家都会知道这个肯定前见是什么否定后见是就是什么因为 P 所以 Q 而铁 P 为真然后消除叫做这个叫做什么消除前见是然后直接所以 Q 为真这个东西它实际上就是类似于我们那个编程上字符算消除一样的一个规则
就是有这么当然有两套系统就有那个什么这个什么分歧式的什么那个希尔伯特式的它有那个实际上它就相当于有一个固定规则的一个文字游戏然后这个文字游戏里面那你说这个东西是真的还是假的这个真它不意味着说它对应着一个就比如说这书上有很多很奇怪的东西比如那个什么那个叫做叫做那个
比如有什么那个比如迪丽克雷函数那些东西就是感觉很诡异的一些东西什么测度为零的结合就这些什么和就是什么勒贝格那什么东西啊就它它是很很诡异的包括什么把一个球旋转之后能旋转什么折叠五次就它能用一个不可测的方式把那个球切开切开之后重组成两个球它
这个东西为真不意味着我们在物理世界做到这样一个事情但是呢它的这个真实指在这个游戏框架内为真我是这么理解就是说是好像你说
象棋上我这个马把这个卒子踩了难道说真的说有一个马把一个士兵给踩到了不是的它不是对应着物理世界的针而是说它这个针是在这个游戏当中的一个可能状态所以说我是这么理解这个数学的针的那如果是这样的一个情况下的话那就是其实这个公理你都可以瞎选嘛
你就说就你说这个 1+1=2 这个东西 1+1=2 它可挣吗它是可以挣的但是它挣来挣去之后一定要回到那个集合公里上就是说 1+1=2 的那个配合公里是是可以还原为那个集合公里的就是那个 ZFC 系统的嗯然后你你最后肯定要回到这个 ZFC 系统但是 ZFC 或者 ZF 系统或者 Z 系统
Z 系统的这几条公里那六七条公里它对不对呢那谁也不知道它对不对只是说我们假设它是对的那就好像大家在陪着数学家在玩这样的一个象棋游戏一样就是我们预定的这么
九条或者十条规则然后我们能导出来这个那么我们就认为它在数学里边是真的所以说我理解的这个真的意义我知道你要说就是这个东西一个不可测的东西这是不是数学错了物理世界谁见过什么不可测的折线这种东西和诡异的一些东西肯定没有的或者什么希尔伯特就是女变了什么这种就没有这个东西但是它在数学上它是
就相当于就好像虚拟机里面或者游戏里面它是我们可以认为它是一种能被证明的一个东西一个状态所以说它我们就认为它也真了所以我说的这个就包括那个这个无穷它也是也是这样就是无穷这个概念它有可能是错的但是你只要是基于那个一阶位次逻辑和 ZFC 系统你只要能把这个概念给定义出来然后那么那么
这个就是无穷这个东西就是它是一个符号嘛它这个符号它后面所对应的一个东西它一定会形成一个判断就是说它是实数或者不是数那这个判断它一定是要不就是真要不就是假要不就是不可证它应该是这几种状态之一我是这个意思就是说是是对对在这种对对
我能理解嗯尤其是你说这个无穷小和的无穷大其实嗯其实我们只要高中数学吧高中数学就能给他导出来对就是那个我就说那个主教嘛叫叫嗯就是贝克莱贝伦就是我说那个主教他是一个主教你就看他是 x 平方的导数你稍微的看一下他讲的是对的他确实是就是那个 delta t 要么就是零要么就是嘶
要么就是无反正就是说他他两种解释都对但是呢后来的话人也没有办法推翻他就是了他就是一个悖论嘛他很出名啊叫贝克莱悖论就这个事情啊是是是贝克莱悖论你你你研究一下你就会觉得哦好像他说的也不是完全假的包括你说那个公理我也有点认同你包括咱们所说的这个欧斯欧几里德几何不就几大公理吗五大公理是吧
你就乱扯嘛就是说平面外的一点我可以做一条平行线是吧人家就说我一条都不能做或者是只能做几条对我就会出现了其他的非欧几何嘛并且也很有用嘛非欧几何后来大家都是瞎扯就是那人要写论文嘛其实真的是这样他瞎编一个东西
公里他说我就觉得直线外的一点可以做很多很多的平行线他就会有一个定理还有就是我们现实中我们站在铁轨上看两条平行线好像是相交的对不对你看铁轨在一镜头它就是相交了这就是说两条平行线只要无限延长就相交也会推出它的一个几何来还可以我觉得
你只要有这个方式去推即使非常的他自己也说嘛我就写论文嘛后来人发现这有用啊就是很有用也是就是你没有你没有必要相信他但是你可以把它当成一个就类似象棋一样的游戏去玩对所以说在这个意义上来说我就我后来我对所有的数学这个课程都这样就是你这个东西他这个他这个定理怎么样就好多人学数学他会
我要理解这个定理就是说我一定得把这个定理套到一个我能看得见的物理场景里面去我才认为我理解了它但是我就觉得说那如果数学本身就是这样的一个公理的这个文字推导游戏的话那它其实就你就不应该理解它因为它都不一定能跟物理世界对上
就是那个是是是他就可能你这个东西完全就是个虚的一个架子他就是一个不存在于我们这个宇宙当中或者说是是你而且将来你还不知道真的很有大用处他们像黎曼几何呀或者罗斯几何不都是这样吗我我我那时候上我们数学系统肯定要上一点黎曼几何嘛是吧对但是你
我看过黎曼人家他自己研究的时候他觉得他无聊嘛他就觉得无聊并且那个欧几里德的那个第五条定理不是我们都学了五条公理吗他第五条公理太长太复杂了他觉得不够美
他觉得不行哈他就是哎他觉得这这这个好像是不太对他就是把前四条是对的他觉得第五条不对然后他就开始推出了自己的一套几何吗他也自己也说我这个东西就是自己玩嘛智力上的一个玩法对就是一个自己新创了一个游戏然后后来人家慢慢发现哇天哪还还真的不错离慢几何
现在怎么上天上的卫星啊包括什么的都不是都是在用他们的黎曼吉和呃不是这个黎曼吉和我我确实没学过这个但是我听说过这个东西啊就是
它不是三角形内角和比如小于 180 度的那种空间对你放画在马鞍上或者是什么安行链他会有这种画在咱们的篮球上画个三角形它可不是 180 度对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对来
就我说了一个我的一个想法就是你可以把数学当成一个游戏然后就有一个这个学会就数理逻辑了 mathematical logic 他其实就是去讲这个数学这个游戏怎么玩的就如果听说感兴趣去看一下那个东西的话就类似这种东西你会多到你觉得习以为常就是你就不觉得这个东西是个很新奇的东西了就是包括就是我举个很简单的例子就是说
那你说咱们数学上的东西按道理来说应该是要么肯定要么否定 yes or no 你比较功利前提假设都确定了你不能说这一道题你做出来这也对那也对这是不可能的
但是问题是你就像那个那个那个就是你好像之前也提到过那个哥德尔那个论题他不是对最后他的结论是说只要强盗包含了那个皮亚诺公理体系的这种公理体系他都是不能在这个就是那个
一致性和可靠性之间取得两者兼顾的他一定会说是因为我们不能舍弃他的可靠性你不能说挣出来的东西不对这不行所以就只能舍弃他一致性但是好像舍弃了一致性之后就会有一些命题他是对的但是你永远挣不出来挣不出来对对对他是对的你永远挣不出来然后你有一些命题甚至你是不可判定问题
而且更诡异的是它那个不可判定问题它不是它是无穷的然后甚至判定一个问题是否可不就咱们那个这个计算机上讲的那个可计算性问题就图灵体积问题对它是否判定这个问题是否可判定是一个不可判定问题
而且我即便把我即便把有限的有限可属的有限的或者可属无穷的这种不可判定问题直接作为公理纳入到这个体系当中仍然存在无穷的不可判定问题所以就感觉我的天哪你就感觉说是你单纯否掉一个这种体系这种就
就有点像那个克苏鲁故事一样就是我就老会跟人开玩笑我说就我觉得数学才是克苏鲁就会让你感觉到说怎么会有这种东西就包括这是一个例子还有一个例子就是
那个集合论上面它会有一个咱们说一般就刚才又回到咱无穷的那个事上了咱一般说一二三四五这样数下去它是一个无穷嘛叫这个叫做数学上它是叫可数无穷但是那个实数呢它当然这还是这个实数的那个无穷和这个可数无穷之间
就石树的集合式之间和它是不是等价子还有一点问题有一个连续同假设但是反正石树一般来说认为是比自然树更无穷的一种东西它是包含所有子集的自然树的
然后但是后来我看到它的构造大集合就是怎么构造它会构造说怎么构造按照从特亚诺公理出发空集就是零然后一就是包含空集的集合二就是包含一和零的集合三就是包含一二三这个叫什么好像是叫冯多耶曼序列还是一个什么叫序列它就是通过这个方式能把所有算数给定义出来
那么最后呢我们所有单数都能定义出来那么其实自然数集合本身是一个符合这个定义的自然数所以说自然数集合就是自然数这个那个 n 那个集合本身它是一个叙述哦那就感觉说这还是都可以是个叙述那么那你如果继续按照这个规则去构造的话你就可以构造那个奥米甲或者 n 加 1 就是比自然数还大 1 的一个集合然后而且你甚至可以构造奥米甲加奥米甲就是那个
比自然数大自然数倍的这么一个比自然数大自然数个数的数然后甚至有奥米加的平奥米加的奥米加次方就是说是这个东西就完全你就不用想着去想象了就你只能说是就好像我们就下象棋你可以把这个东西推到这一步但是这个东西就没有办法说是我们通过一个形象的东西去想象你说是非欧几何我还能画一个画出来我直观的表达
我甚至都不知道自然数应该怎么化我甚至都那你告诉我还有奥米加加 1 有奥米加加奥米加有二奥米加有奥米加乘奥米加最后甚至可以定义出奥米加的奥米加次方来就它有那个就是有那个它的那个归纳法是
和咱们计算机的归纳法不一样计算机是有一个提示部有一个归纳部就可以了它是有两种归纳部一种是加一的归纳部一个是这种好像我也记不清那个名词了好像是叫超穷还是什么归纳就是它把之前所有的就是构造自然数集合把之前已存在的所有个无穷的都囊括进来
然后构造奥米加的过程我都不知道奥米加这个东西该怎么画你告诉我说有奥米加的奥米加次方而且这个东西甚至最后他能把这个东西构造成一个构造出一个序列来就是我如果以奥米加作为零
然后那么我在后面我在能通过奥米加的奥米加次方这个计算之后我又得到一个奥米加这种意义上的意义奥米加意义上的二奥米加意义上的三这种东西我这个东西就完全完全你就连想都不可能想这个东西就所以说我是感觉这种东西就怎么说呢在它很很很适合作为一个
那种抖音上那种炸裂是吧自然数据竟然不存在这种标题的一个东西但是你看完之后你就会觉得说是还挺习以为常的一个情况对反正数学就是你如果仔细研究数学的话很多时候它由于现实是你不能说是脱节就是你要领先现实很多年
就是后来你研究的那种奇谈怪论比如说咱们说的这个黎曼结合就是整个爱因斯坦相对论的基础你如果没有德费杰河死的黎曼
在那里导致这个可能后来后面也不会有这个相对论嘛并且里面死的早是吧对我都忘了那是他的肺结核嘛他好像找了个老婆就是肺得了肺结核肺结核在当年不是那个不大那个啥吗不不好治是吧当年肺结核哎呀我对我还得过肺结核肺结核当年是绝症就是他是那个肺结核他那个菌比较特殊一点他不是那种
常规抗生素能杀死的然后对对后面好像有一个特效药发明的时候然后才才才才把这个绝症变得可以治了哦对对他他反正是那个什么他反正是我如果没记错的话他老婆得了吗可能太恩爱了是吧这个东西可能传染了传染传染给他了吗他在给他的两口子就是
就是可能好像是对对都都比较相对来说是 30 多岁我没记错的话就 30 的他死的比较早李曼人家他就开创了这个李曼结合当时
当时也就是没人知道他这个干什么他自己也不知道干什么但一直到后来爱因斯坦在搞这个相对来你像他是应该是 1850 年左右或者是 18 几几年爱因斯坦就是现代了对就是你隔了个 200 年你才 100 多年才知道有用数学就这个样子
所以我们有时候这个东西还是看天赋说实在的每一个数学的领域包括你现在说的这个集合论都是深不可测的一个知识点耗费你不要说一个人耗费无数科学家的生命在这里
对是真的是这样就是无数科学家就在这一个点上卡住然后一直卡一直等到下一个天才出现这个东西完全不是说你努力就可以了就是有个人他就是很牛逼他就是能解决得了
你说这个我就又想跟你唱唱反调我是今天不是跟你唱反调的我不是这样我想起来我那天给你留的那个点是什么了就正好是就你说到的这个就是天才性的这个话题我肯定是有天才的而且就是绝大部分人的智商不是说智商问题这个天才他不仅仅是就有时候你我觉得智商都不足以衡量说这个人的天才程度有的问题你去这样来看的话
就是很多人其实都是没有办法忘记相比的可能比如说平常人啊智商高一点低一点这种的但是你放在这种就是比较非常有天赋的人这种尤其在某一个领域非常有天赋的人面前可能就你这点差距就根本就混不过屏了就好像是你智商一百二我智商一百但是放在人家那那个智商可能都超都爆表的就量不出来的那种就感觉好像大家都差不多一样的就会有这种情况但是这个说到一个就是那么其实来说的话
我就喜欢用一个什么一个比就我跟你说的那个叫实无穷和浅无穷的一个比例就是说一个知识领域它不管是编程啊还是数学或者甚至别的什么任何一个物理或者哪怕就是文科这些东西它其实都是
都是你可以认为对一个人的一生来说都是无穷的反正你这辈子也学不完那么多就不用说别的你 24 时你一个字一个字看一遍我估计这十几二十年过去了对对对没人能看网上有人说看了就吹牛他不知道 24 时有多少
我真翻过我就是拿 Kindle 本来 2040 的 TXT 下载我没看就跟念经一样不停的播我就坐公交闲在那边播
我播了好几个月的空闲时间才把 24 时给播了我没看我就反正我 Kindle 也快报废了我说你看看到多少时间其实你光翻一下你比如一个民史青史可能你就得翻好几个小时你没看我一样夸夸夸就往过翻可能就得翻几个小时所以根本看不完的只能查询
这样的一个但是这个就可以认为对我们人的一生来说它是一个实无穷的一个东西这是一个很古老概念亚里士多德那会就探讨过无穷这个问题真的是无穷的他就实实在在无穷摆这位自然数就是奥米加从一二三四一直你所有能数出来的自然数就这样摆在你面前就是一个实实在在的无穷但是还有另外一种无穷的就是叫做浅无穷
潜无穷就是说你那个加一操作我们没有人能数完这个赞数但是你加一这个操作本身它蕴含着生成这个食物穷的潜能但是实际上我们说归纳法归纳法只需要一个一个起始步一个低归步就可以你这个整个算法是有穷的但你生成的赞数是无穷的
所以说这个算法它作为一个有穷的一个东西它其实是一种浅无穷就它展开之后是可以无穷的但是它本身并不是无穷你没有人说是我一个地规算法我硬盘放不下其实就两句话而已就是一个其实不一个地规不而已所以我是觉得说是怎么说呢就是我们很多时候就是会强调说这个东西很高深很宏大怎么样一个情况但其实
那很高深很宏大的话他最后一定也是怎么说呢就是你在天才的人他就是他也是人能理解的东西是吧如果说真的天才到时候已经超越了人的这个语言范围了其实我们反而感觉不到他是一个天才就是我能知道他是天才一定是因为什么呢就是说他是走在我前面了如果说如果说我都看不见这个人我就根本意识不到他是天才的
所以说我就我就所以我就想到的一个我就想说一个点就是说好像我们之前嘉宾都一直在强调说比如某一些东西很很高深很深入很或者有些天才或者确实是有天赋的但是我觉得说是作为普通人来说的话我们没有办法做到实无穷但是我们可以去做一些浅无穷的事情就比如说是我没有办法去把一个呃一个整个的那个
所有数学全学完但是我哪怕就科普性的我大概知道数学有几个主要分支其实是可以做到的或者说我没有办法把所有的编程语言都学完但是我可以怎么我可以做到说
我只要需要用就其实大部分程序员都这样的我只要需要用我三两天时间我就能学一门新语言出来那他其实就是保留了一个一个目录或者是一个学习的这个就像一个学习算法在这里然后他可以用这个东西去迅速的把这个你需要的那一块给你拓展出来
然后去去做这样的一个事情所以说我就觉得说其实我们我们去学一些东西更多还是要做这种钱并不说是因为他很食物穷所以我们就就不去弄他了反而说是因为他食物穷所以我们才需要钱无穷这就我当然我跳跃点说的话就是说呃现在包括 AI 这个东西是吧我现在 AI 你动哥之前的这个节目讲了很多题讲的什么统计学派讲的非常好那个 AI 这个东西 AI 他
一秒钟搜完的资料你一辈子都看不完但是它是拓展你的浅无穷的一种工具就可能我以前我以前的话浅无穷我只是有一个搜索引擎或者来搜索引擎没有的时候我只能说是我去保持一个去图书馆搜索的能力这样的话你需要哪一块的知识我可以去图书馆里搜出来再讲给你听后来有了搜索引擎的话我可以更快的去把我这个浅无穷给
变现成史无穷的那一块但一块一个局部而如果你有了这个工具之后呢相当于是你在这个搜索引擎的基础上你又能更快的去就是过滤一些文档之类的这个东西然后完成你的一个过滤所以说我实在我经常听到这个的时候我就在想其实我们作为普通人来说就是他并没有必要刻意强调这种数学也好或者编程也好他的这种
这种神秘性跟你今天聊这部的这个东西的话他有神秘性吗我觉得是这样其实我还是希望就是把数学跟这个编程分开编程我觉得是没有什么神秘性可以讲的但是数学真有
数学是真的有就是比如说兰兰也杨杨哲宁杨老师的这个杨米尔斯理论的话你就是看懂每个字你就是不知道他在讲什么真的是你完全不知道他在干什么
我理解你的这个就是数学书上你那本书拿过来我就看不懂确实是就是每个字你都认识你就是不知道他在干什么而且那人家跟你讲你也不知道他在干什么对对对就这种啊就是我还是我对这个要不我也不转好嘛就是真的是崩溃了内心就崩溃了嘛你就知道自己玩秋淡了就在这里混不下去
就是我们所说的就是我们说的这些都是还可以讲的就是我们上大学之后还可以讲对对对你说你有个偏微分方程微分方程这算什么呀对这是每个人都可以学学的这就是你前面说的哎这不神秘你好好学你懂了这个题型就可以了但是下面还有深的是真的是深的比如说随机矩阵对我我都不知道他要干什么对
就是完全不懂了这个就属于我就觉得这个确实需要一些那种就是你给我讲我也不懂那老师在上面讲就跟那个鬼话符一样甚至有时候我就说你看那种因为它所有的都是符号你就不知道它是讲的是数学还是一种什么
俄罗斯语或者是哪种语言你就不知道嘛满黑白你就看到是符号你就觉得好像真的是天书我很理解就基本上你只要你大学学过一些数学的人他都可能有这种感觉但是我提供一个不一样的视角动作就是我感觉这个问题它不是因为数学神秘这个问题我之前我也思考过这个东西我甚至还查了一些资料就是这个它其实是因为数学符号的混乱导致的
就是你会发现他好多我为什么就是说我为什么最后我学的学的我能我为什么一定我说我一定要退回到数理逻辑一定要退回到这个集合论据就是说他其实应该是一个比如像象棋一样他每一步规则你能一定是走到这来的但是呢所有的这种尤其这是好多数学书他的一个写作风格什么的他喜欢跳步咒
或者他喜欢跳概念他觉得说这是我们行业内大家可能比如写论文的人共识是吧对大家都默认的一个东西我没有必要讲但是对于我大一新生上来我哪知道你说的这是个什么东西他没有这样的一个概念他
他就会他重建这个概念他就没有办法重建这个概念所以他就会很麻烦但是但是呢人他还是有一个比较强的学习能力的你虽然看鬼话服但他看的多了他有他能掌握里边的一些规律所以就他慢慢也能接受但是这个过程很痛苦但是这样对对对对但是我是觉得就是人家人家可能就是一下子就就搞懂了你自己在那里搞搞个
一两个星期就是这个路就走得太艰辛了人家都博士毕业了你还在这里还在大一对就是这个就是我说的你就别吃这碗饭了换个最大的地方别在这里搞了对就涉及到一个问题就是说
肯定人和人之间他那个智力存在差异的就不是吃这碗饭啊这个问题不是在这个吃这碗饭我的意思就是说是我呃很多人其实都不需要吃这碗饭绝大我觉得百分之九的加好几个吃不上嘛想吃吃不上的呃其实也没有必要吃真的那你说所有人都研究数学去
不造芯片也不可能明天不种地了也不可能但其实还是没有必要那么多人去搞但是我觉得你说他这种神秘性的话倒不是因为他本身具有这个神秘性不是数学
本身带来你如果说假设虽然我不是什么数学专业的我都是业余自己看一看如果你告诉我说有一条数学定理它还原不到集合论的公理或者它有个概念是还原不回去的那我挺向于认为这不是数学
就你没有意思吗就说如果你说 OK 我搞了一个数学领域我很厉害但是我有一个概念我还原不回哪怕你自己定义了一组公理你说我还原不回去就我这个公理没有办法通过那个一阶逻辑给挣出来
那我觉得你凭什么说你是在搞数学研究你还不如说你自己是搞玄学研究的你明白我意思就是如果它是一个数学概念对它一定要能还原回去如果它还原不回去的话它一定不是一个数学概念就包括好像有一个网站就是有那种
它是对现有的数学定理进行一个证明就是全部基于严格的因为现在数学论文其实它很多没有办法形式化因为那个太复杂了它那个东西各种条件什么的它很难纯粹的就是按一节位词语言的要求去写成编程一样的东西
但是他有一些人在做这样就是比如说最起码我们从初阶的定理从微积分开始能整理多少是多少他会有这个工作但你说如果说哪个数学家 OK 我们不是最前你说哪个人搞了一个东西说是最后弄了半天说这玩意我还原不回去那我觉得他就他就不是数学所以说这种困难我觉得他是一种怎么说就他不是不是数学的本质性的一个东西就好像说是
比如我謝鼎 但我謝鼎不影響我是我這個人就他是因為這個比如數學家們研究的一個習慣造成說是這個數學書寫的很晦澀而程序員相對來說是一個因為程序員整天跟語言打交道他語言寫的晦澀了你跟機器你跳一段是什麼你跳一個過程機器就跟你馬上就開始崩潰所以說他沒有辦法他必須一個環節一個環節扣一個環節的寫出來
但是数学他们因为好长时间没有这样的一个机器作为一个外在的一个监督条件所以他们会形成这样一个一个学术风格但这不是他本征的一个情况那反过来说的话其实好像现在也有一些东西就是
就有一个编程名叫 CVQ 你知道吧东哥这个我不知道就是它是用来做软件的形式验证也可以用来做一些简单的数学定理证明辅助证明这个东西这个我不知道对它就是可以把数学证明给写成程序就有一个它有一个理论基础叫做科里霍华德同构
就是说他这个同构是所以你说数学和程序应该分开但是我不这么觉得就是因为因为就是 COQ 嘛但这个词读出来不太雅观就 COQ 你知道吗对他不太雅观咱就不多就叫 COQ 吧就是这当然还有别的他 COQ 只是一个语言而已他还有好多做这个语言的别的一些这个东西就是说
科里霍华德统构它基于一个这样子科里霍华德统构它是有这样的一个定理就是说对于任何一个对于任何一个证明你都能构造一个程序如果这个程序是可计算的那么这个证明就是对的当然我这个表述应该是有一些问题的因为有些它具体可计算什么的我看过时间比较长了我也记不清这个词是不是这么用的而反过来对于任何一个程序它也对应着一个证明
如果这个证明能证出来你这个程序也是可计算的就是它实际上来说我们程序员所写的每一个程序都对应着一个数学里边的一个证明过程而数学里边的每一个证明过程其实本质上它都应该可以写成程序如果说它写不成程序那么如果假设我们承认这个克里霍华德统构的话那么它其实就不对了
就是它是有这样的一个定理或者论断在这里所以说如果假装这个也是一个命题如果说我不接受那就无所谓但如果你接受这个命题你认可说 COQ 这样的一个工具的话它其实是可以的所以后面我其实有我虽然不是学术但我有一段时间我很想说是把那个就是分享一下我当时学微积分的一些东西所以我当时我就找找能不能把这个证明写得清楚一点
然后后边我就动过一度动过这个念头就 COQ 确实可以咱不说那些你说的什么随机矩阵比较难就是最起码初等数学什么平行线定理这些东西你是可以用它辅助证明的而且它现在这个东西因为其实它这个就是一个就是重举所有可能的模式但是它需要你提供一些模板
就是它基于因为你有的定理证明那个你比如带位词的东西它是没有办法没举的所以你需要一些模板来限定它的这个搜索范围然后你给它这个东西它是可以证明的就实际上我们写程序也是这样一个东西你如果说是我有个机器能生成代码现在它只是概率事情的生成它并不保证这个东西是对的但是我们相信说理想的空间当中一定存在一个完美的程序然后能但是我们写程序其实就从这个
很大的一个空间当中去搜索这么一个东西他也是一样他想去把写证明和写程序做成一件事所以我就在想为什么我就一直不认同说我说数学不神秘就是如果说所有的就咱就不说别的那如果微积分我都能把里边的定理当然确实也有这么写的就网上有他那个 COQ 的代码你要感兴趣可以翻一翻就是他确实能把那个东西就像写程序一行一行写出来
就只要你把公理和最初的符号给限定好就可以写出来所以说呃所以说我我我对这个东西我还是保留我的看法我觉得说他还是能还原的没有那么深对我我我我并不是说对呃我的意思是哎那个对对我来说就是太难了吗所以我就转好了吗但是我能理解你说的这个包括你这个头像就是蓝大运算吗对对吧就是这个我看你这个头像其实就是
从数学公式上去推这个什么推整个计算或者我可以加个补丁我是反过来的我是从计算角度去理解理解数学这个事甚至说是我希望的一个理解方式是我是从计算的角度去理解理解其他的事情的
你包括说是随机性这个东西随机性它其实你如果用地归论上它的一个模拟理论的话他会认为说什么是随机的你算不出来就叫随机就一个典型例子就 3.14 随机吗不随机我们都会背我们直接内存里面就能调出来但我问你说圆周率的第 100 万位是哪一个这时候就随机了因为你现在的算力你算不出来
对所以我是倾向于说就是所以说我是倾向于说我是从那个计算的角度去去反过来去理解这些事就是我因为就是其实编程大家都觉得说编程是一个怎么样写程序的一个事情但是我觉得说那难道说就包括邓哥你前两天也分享过就是我也观察就是那个不可变操作系统
比较资深程序员可能会不太看得起比如是新手什么在拿个 1 或者什么 pronto 然后在 Linux 上跑 Windows 的程序反正也一堆 bug 运行不了你这就是一个炫技的一个东西但是你如果说是
把这个装软件这个过程本身你其实也可以看出它一个程序比如我们那个 bash 小本它就可以固定下来然后比如说 nix 的话它可以用那个就是它那个语言直接把那个系统就是把副作用给管理起来然后描述成一个一个东西那其实我们装软件这它本身也是一个写程序的过程
那你说装软件是一个写程序的过程我们做哪件事情它不是一个写程序的过程只不过我们并不是所有的时候都在拿 C 语言去写这个东西而已就包括说我们写篇文章你可能说是感觉我这是灵感但其实真的是灵感吗我对这个东西理解就是写文章其实它也是一种概率性的诉索替换这就是为什么就是这个就概率模型它能模拟我们写一些东西就是因为其实我们我们写文章
我不知道邓哥你那会儿有没有反正我都有了叫我就是什么总分总先有个框架就好像对好像有那个什么 BNF 一个一个式子一样一个什么总分总总替换成一个什么分应该从那素材库里挑三个素材填进去然后最后总结一下怎么样那其实也是一个搜索替换的过程所以说
我个人的理解就是说你主要是你要在动脑子在思考做一件事情的时候它最后其实都是某种程度上的写程序只不过这个程序不是用 C 语言去写的所以我也就是为什么我后边我给自己找了一个意义就是说
我跟大家分享我也不局限于我要分享那个编程这个或者一定要写 C 语言这些东西所以我后边就觉得说其实你做很多事情只要你当然我并不能说是我们所有一切都是程序比如很多什么感情这种东西它可能不是一个程序但是怎么说就是说
它不是万能的但是它不是无能的就还是有很多事情我们可以用这个方式去解决它的当然没有必要说我们就什么都硬往里套但是确实我的感觉就是我们很多东西都是一个计算尤其是就是数学和物理这一类的东西所以我觉得说是很多时候我们在我们在学这个东西的时候它有一种
想象的这种神话在里面就包括这种就是数学上咱今天聊了很多了我可以再用一两分钟举一个物理上的例子吗可以可以可以就是物理上也有个概念叫钢体就钢体是不可不可弯折也不可变形的一个东西我当时我我我学的时候我倒没觉得这个很难但是我我过了好多年之后我想起这个事来我也是在考虑一个问题说为什么我说钢体这个东西就不对啊
那怎么判断一个东西是不是钢体就是钢体我们物理书啊基本上包括理论力学就是有那个我们机械会学理论力学理论力学上给你的定义就是钢体是什么这个一个不可弯折或者不可压缩的一个一个有几何形状的一个物体但是你就会发现钢体这个东西他没有说清楚钢体是啥你明白我说的没有说清楚就是
钢体你在书上你画的就是个几何体但它没有还原到数学的几何公理上去和几何公理上去钢体是个很神秘的东西你如果说我要给钢体建个模这个模型它的性质是啥它是说不清的后来我想了一段时间我后来想清楚这个事就是钢体它其实是仍然是一个几何统计但是它加了一个约束就是钢体上任意两点之间的距离是不可变的
就相对距离不可变这个来体现它的刚性但是我们书上喜欢当然也比较好理解了就是你说我说什么任意两点之间距离不可变这是可以完全写成一个就你知道就那个一节位词的语言是吧道的一个三角 A 是吧对于任意的 AB 属于结合是吧 AB 之间距离它可以完全写成这样一个公式的就如果你一旦接受了这个事你如果接受一节位词逻辑接受这样的一个语言符号你是可以瞬间把这个事想通的
但是你对于你没有经过这样的一个你不知道一阶位词逻辑是啥的一个人来说的话它是很难解释的所以可能书上他会这么写上不可压缩什么不可万者其实所有的你这一堆文学性的描述词背后就是这么一个一阶位但是不一定要用这样表示但是如果你有这样一个东西的话你是可以把它表现成这样的就没有必要去给它留出这种
神秘的空间在里边那你这样的话这理论理学的很多知识完全就可以还原到几何学上面去还原就是意思用几何学的语言和这个几何论的语言你就可以把它给表述出来它就没有任何
就是神秘性在里边就所以我说的神秘性就是这种因为这个术语的差异了或者这种前置之处的缺失了或者就是你说的这种就是这个比如数学家们写的有时候有点任意了或者他觉得说这个东西没必要解释那些东西在里边然后包括就计算机也是这样然后数学这样物理也这样甚至一些别的可能理工学科他也有一些这样的东西那我觉得说其实你如果通过这样的一个还原的思路去考虑的话
当然我们并不是所有东西都能这样处理但其实理工里面有很多东西可以这样处理如果你最后去这样弄的话你就会发现说是它其实没有那么多神秘性在里边就包括你说的这个数学的三次危机什么这个东西就是网上知乎上什么很多段子然后再说这个数学三次危机什么数学第三次危机没有度过
我就老感觉我好像活在另一个平行时空就每次我看到智慧这种文章我就老感觉我活在一个平行时空里面因为数学三次危机其实和软件危机它是一个我们后人间时期的一个总结
他并不是说真的说是有一个坎儿我们过不去了对对对他只是说那段时间这个大家都很迷茫好多人在讨论这个事所以我们称那段时间为第三次数学危机什么第二次数学危机但并不是说真的有个坎儿卡住说今天不行然后明天数学的成绩全作废了并不是这样的一个东西他只是说当时人们在讨论但其实从讨论结果来讲就是
现在我也不知道因为它已经被成了一种网络文化了一样的东西了就包括你说这个什么三次维杰包括什么物理学什么不存在之类的这种网络让它梗了我也不知道它到底是不是存在但是据我看到的他们取出来的这些证明数学不存在的例子比如什么虚数存不存在了什么这种
它就完全不构成一个危机它其实已经被后来的数学家给解释了对对对你是否接受它的解释就是我说的你如果把数学看成一个象棋那就没啥不可接受的你别说黎曼几何了你弄一个冻哥几何出来其实完全可以你光可以否定你可以甚至可以否定集合论里面的公理你说我 Z 系统我删掉两条公理加两条新公理都可以的这就完全没有这怎么说就它
它完全不是一个危机了它已经就是不是可以你可以随意构造公理系统然后你甚至可以随意构造你的证明语言然后专门证明论和模型论就是去研究如果我把这个语言里面的这个推理系统删两条规则或者加两条规则或者怎么样这种东西那就完全对对这就开创新人物了对不是开创新人物就是一种就好像我们原来的 C 写那种红红函数
但是后来呢人家升级了人家直接有什么工厂模板这种人家就搞成这样了就不需要我一个个写了或者后面直接模板里面 map reduce 你直接写一个那个那个那个函数的代理进去就可以了就不需要你去搞这个这个他你原来可能只是一个我写了半天我写了个 sum 函数我写了个连程函数然后人家直接一个一个 reduce 函数
传一个加法进去 Reduce 传一个乘法进去就把这俩构造出来甚至还可以传什么减法除法然后能构造无数个这样的东西出来就他的这个抽象层次变高了所以我就说我一直想上这个节目这就是我很想表达的一个点就是说好像大家都在神秘化这个东西但是我觉得并没有那么多可以神秘化的地方就是我们虽然不是天才
但是既然我能知道这个人很天才那么他做的事情我肯定做不到可能就你说的我可能人家一百年人家十年做的事我一百年能做到但是我哪有一百岁去活是吧对对对我的时无穷是到不了但是我的潜无穷我有这样一种潜力
那么我这一辈子我可以不做这样的事我的潜力我一共活几十岁我干这事干啥我吃多少撑的我还不如做点我力所能及的事情但是我有这样一个潜力是比较重要的这个就是当然可能又扯到这个就是你如果说如果说我们只是简单的一种说天才和普通人的比较之间的话那你会导出一个非常血淋淋的一个结论就是说那都有 AI 了那还要人干啥
对这就是一个很血淋淋的一个结论那你如果说在数学上来讲因为数学就是一个很有这种英雄存在的一个世界那你说希尔伯特他随便搞一搞可能别人的搞好多年都搞不清楚或者是这个什么莱布尼斯他随便搞一搞但是确实但是确实就是说我们仍然要考虑到一个问题就是我们的这个世界它不是一个简单的一个
就是比大小的一个关系它的无穷的方向而且这个实无穷不是别人给你造就而世界本身是实无穷的然后每一个人我们都有点浅无穷
只不过是我们要把这个浅无穷往哪个方向去实化就实力化的一个问题我可能有个浅无穷那么如果我花一千年可能我能赶上比如说是牛顿的十分之一或者百分之一但是我不去浪费这个时间了我我我把这个方向干自己的事情我搞搞随意语言搞搞 Python 我写写录啊我很开心
这就可以了但是没有必要去那样但是从潜能的角度上来说我们应当有这样一个潜能为什么要有这么一个潜能就是如果你彻底的用专业化把人给隔绝起来的话实际上来说最后就没有交流的潜点其实写 C 的和写 Java 的它的专业都是不一样
我写诗的人可以不懂扎瓦但是你写扎瓦的人说的东西我有能力去学我们仍然是有一个交流的可能性的但如果说你说两个领域的人如果互相就是说是完全封闭他们彼此一种浅无穷的话那写扎瓦的人
某一天发现说写 C 的人都开始胡说八道了那完全其实就对于 C 和 Java 都不是一个很好的事情所以我就觉得是这样就是我们学数学可能我们一辈子都学不到你说的什么随机取证这个事但是我们一定得就是我们哪怕我们借助工具我说那个 COQ 工具我是可以验证你的证明过程对不对的
我也不需要你懂你只要把你证明的东西你写成一个 COQ 的程序我拿回来一跑就好像咱们密钥的验证一样我拿回来一跑我保留这样一个很简单的潜无穷我最起码知道你没有在骗我你没有在胡说你拿的经费没有白花我觉得还是需要保持这样一种潜无穷在肯定还是有很多能人我们对能人还是要有这种
学习的心态在里面但是同时呢我们也我觉得好像之前大家都过度讨论了说是就这种天赋的这种不是天赋啊就是不一定是天赋有可能是人家是努力得来的或者人家就是确实机缘巧合但是我是觉得说没有必要因为这个就否定掉我们还有一种前无穷就是说我们哪怕我是可以做到我哪怕做不到我也是可以对他进行验证的我是觉得我想表达的是这一点
嗯可以可以我我我并不是说不认同你我还是就是说我也没有说要否定你我只是说感觉好像之前咱们聊聊这种比较聊的多一点所以我就觉得是是是对因为我我经常这样说呢我是因为被虐的比较惨吧就是我是以前那时候嗯
就是我学习还是蛮好的嘛然后就觉得自己这个数学一直很好一直很好然后呢你就会发现一下子碰到了就是真的是学不会了就觉得自己还蛮聪明的然后就真的是学不会了
对对就是你说如果给我时间足够长的话你说时间足够长能活一千年我突然想起了一部电影我不知道你有没有看过叫做这个男人来自地球我看过看过就是他的基因正好他就能不太老是吧对
他也就是很聪明嘛你你他一直不死是吧他一直不死他就可以读了二三十个博士我不是反正所有的都都是好是是是对按按你这个理论其实是对的我会慢慢学吧反正我也不死对吧是这样就只要你还有兴趣在你觉得是一个值得的事情你是可以
他是好像是什么都都学过那那那一屋子在做的好像他只有一个专业没学嘛他其他的都学了都学了一遍嘛是是是是这样是对而且都是达到最顶尖的有多少个博士学位嘛对按道理说是的你就慢慢学嘛反正他也不死对是这样是这样对后来你有没有看过他第二部啊
第二部我好像了解个大概听你说说我没看完过第二部第二部整个狗屎别看了第一部挺好第二部我就很期待第二部就是很普通非常普通了
他就没有那种就是你很引人脑洞的这种对对对第二步简直就就是第一步如果打八分的话第二步就打五分其中三分是给第一步的对对对对真的很差我是看了个开头没看完然后后来也不知道他有个东西在讲啥
第二步就不行了你讲起来就让我突然想起来这个男人来自地球对对对是这样的就是你的整个主体思想我也认同你看你慢慢学反正我也不是就慢慢整每一个都能整到最顶尖肯定是的脑子又在那里放着他什么都会
对有这个一个想法吧当然我看时间是不是很快到了当然可以聊很久我就是说不要给你弄太长你可能把中间我磕磕巴巴还剪一剪没事没事反正最后的话基本上就是推荐书嘛嗯
推荐的书的话我不是那天你说完我给你把那个链接都发过去就是推荐两本吧一本是小说性质的大家哪怕不知道今天我在这胡说了些啥然后有一个小说可以推荐就是后段时期的爱情
这个跟霍乱其实关系不大就好多人说是他讲述了主人公在霍乱时期仍然恋爱怎么其实不是这个事就是对对对我感觉比起那个百年就是加西亚马尔克斯写但是比起百年孤独的时候我觉得
我看起来更舒服一点不是本年孤独太不舒服了那名字记不住那个倒还好我就记得他里面活最长的乌尔苏拉女主他那个倒还好主要是他那个故事给人的那种感觉就是就有点像我跟你说的就是那种我对你那个小时候的感觉是
看完之后人人感觉有一种这种有种陌生的或者不太舒服的一种感觉但是这个其实他这个忽然世界爱情他也不算一个喜剧他也不算一个特别喜的一个喜剧因为他最后还是挺那啥的当然就不剧透了但是我感觉他的整个写作还是比较好玩的也不是说他这个我也不知道他要表达一个什么思想但是就感觉
就感觉他这个这个是写的还是比较就是舒服而且我没有看文字版我是去听的那个就是他有念的那个书因为文字性的小说啊我就觉得反正都是语言是吧我看和听其实差不多所以就可以听了然后就这样这个所以这本书的我是感觉我我最近几年看的因为我现在看小说
就是越来越少了我就感觉我我可能我搞这个东西我搞得我有点神经我看很多这些烂七八糟的这些这些这些这些书其实我现在对就好像你你咱们就说不恰当的比喻就好像你看一些这个不太好的电影你预值被提高了
然后你看一翻的你就感觉没什么意思然后你就觉得我不想看这个了就是这样的然后第二本书的话就是我不是聊了很多吗就是我我个人感觉就是如果说你想了解一下那个数学的基础或者是计算机的基础嗯
有必要去了解的一个学科就是数理逻辑当然逻辑的话我觉得经典逻辑也有必要了解就是亚里士多德或者是中世纪经典就是咱们其实高中学都学过但咱们学的不是很系统就什么雨或飞什么 models, pronouns 这些东西不是很系统所以应该学但是我至今为止没有找到一个比较简短同时又很好的一本书有那个
那个什么 Evan Kopey 写的那个就是逻辑学导论但那个太厚了那个 700 多样所以我就也不推荐了所以就推荐一个如果你已经对数理逻辑就是到了对数理逻辑感兴趣的一个层面我推荐的就是这个现在改名叫 Beginning Mathematical Logic 就是开始数理逻辑
然后他以前叫对以前叫 teacher of self logic 这个书是免费的就是他就直接他那个作者好像 Peter Smith 吧就是他是写那个牛津有一个 very short introduction 写就是非常短的介绍系列里面那个逻辑学的那个作者他一个退休的一个逻辑学教授让自己没事干写些书这个他后来对我做视频还挺有启发的就我现在做的那个新频道其实
我就不再讲一些很具体的东西了我就喜欢说是就是更保隐一点就是更泛泛而谈的一些讲法就是我如果说我要讲 C 如果我也写一本 C 是吧就包括东哥你可能想讲 Java 你会写一本 Java 但是我会想一个是已经有很多写 C 的书写很多写 Java 的书
第二个就是我的食物穷不够我没有那么多时间一百多本语言我如果都写一本书我这辈子都写不完所以我呢但他这本书的架构就很有意思他是 teach yourself logic 他最初教这个就是如何教你自己学它会澄清一些基本概念就是对逻辑的几个主要部分有一节位词逻辑然后有什么结合论证明论
这个地规论和模型论有这么四块内容然后包括什么这个简单的一些什么这个初等结合论的一些阅读度它分这么五六个章节它每一个章节去引用不同层次的几本教材比如说你入门应该读什么然后进阶应该读什么如果你有志于研究的话有哪些方向性的这个书可供你参考然后它就是相当于一个简单的导论一个概念性介绍然后外加一些书目的方式来讲
他其实他这里边的书你如果真的就按照说是我们写一本渣吧的书写一本森院书来写的话可能这个老教授他剩下的时间也不够写这些东西的但他确实可以写这么一个手册来指导你去选那本书因为我后面我也就是说那既然我们不能做到这样的话那么是不是可以做到一些就像有手册一样的一个东西我不像人家那么懂逻辑学那我比如说我对我
我对什么懂一点我对路亚语言懂一点或者对这个语言懂一点或者那个语言用的多一点我可以介绍一下这个教材所以我就后边做东西我就更倾向于从我这个方式来去呈现就是这样的两本书可以可以好到时候嗯
其他没有推荐的了就是两本吧推荐太多就没人看了对对对好非常非常感谢你实践这时候反正我发布的时候我会提前那么一两天好的好的谢谢东哥好再见