未来，程序将成为世界规则

现在都说写程序的赚钱越来越难了，好多人想转行。这话也许不错，但是是否离开这个行业，我的感受正好相反。

我感觉未来全世界的各种行为规范，都会越来越往程序化的方向发展。尤其在这个信息爆炸的时代，各种真假信息难辨，唯一能对抗的就是精确的程序化语言。而这种规范化的程序，仍然需要大量的人力脑力去开发实施。

现在，我们的技术栈越来越多，写的东西倒是越来越简单了。原因很简单，程序未来会走进每个人的生活和工作，不会写程序基本就是现代文盲。技术的向下兼容，会导致写了很多年程序的人，反而会觉得高深的技术越来越少，写的东西逻辑越来越简单。

尽管如此，逻辑思维仍然非常重要，相应的，数学水平非常重要。十年多年前我见过的 20 多岁的程序员，尽管做事很快，表面上很厉害，但因为逻辑不够好，相对复杂一些的东西就时不时会出现崩溃。因为过于依赖调试器来处理，实际上只是把问题越藏越深，后期调试的成本反而越来越高，最终导致无法处理难以捕获的 BUG 。由于缺乏从体系方向思考解决问题的能力，这样的人是绝对不能做高精尖的东西的，否则一定会造成毁灭性的灾难。有意思的事，尽管过了十多年，最终我发现他的逻辑水平没有实质性的变化，由此可见基础学科尤其是数学的重要性。

所以呢，学生时代就好好学习数学，工作了就好好珍惜这个非常有意义的职业吧。因为在未来，程序将成为世界规则。

lymith

2022-10-31 20:02:58 +08:00

@secondwtq 关于你回复的这个逻辑关系说得很好。不过问题在于，我的语言被你精简化了，偏离了我所表达的观点。所以单纯的逻辑思维能力肯定不是唯一的，我们还需要理解能力，表达能力等。

我表达的观点是，
未来，程序会成为世界规则 -》需要大量的写程序的岗位来制定规范 -》日常工作生活都离不开程序 -》会写程序很重要 (很重要，因此成为某种必须。当然你也可以反驳并非必须，正如任何人有权利不学识字一样。)

wonderfulcxm

2022-10-31 20:12:08 +08:00

那么如果马云取得了世界的统治权，程序根据大数据、神经网络、脑机接口什么乱七八糟的技术判断马云不适合再当统治者，马云会甘心退位让贤吗？
世界的规则不可能由一个算命工具决定的，即便它的准确性是 99.9999%，《魔鬼经济学》里有句话说得很好，理想的世界是由道德主导的，而现实世界是由经济学支配的，而经济学是研究人动机的学问。

lymith

2022-10-31 20:21:29 +08:00

@cmdOptionKana 感谢阅读并点评。
你说的第一点，这的确是一个观点。如果说理由，其实是说，假定社会还能继续进步的话，那么只有程序化语言能解决这个问题，这里仍然是一个观点，因为我无法想出除了程序还有其他更好的分辨真伪，好坏，高低的方法。

第二点，其实是可以由第一点推导出来的。当然我在上面的话做了一些引申，程序的作用是能更加精准的判断，而非模糊。精确的规则逐步推导到所有生活和工作中，自然而然写程序就成为了必须技能。

第三点，很高兴共识。

最后的问题，**未来** 程序成为世界规则，所以需要更好的理解规则和适应规则，需要会写程序，所以逻辑很重要，在缺乏逻辑学教育的情况下数学就非常重要。

lymith

2022-10-31 20:24:24 +08:00

@wonderfulcxm 怎么说呢，你说的情况，我认为一个词能够表达: 过犹不及。但是现在远远没有达到"过"的时候，我认为现在仍然是非常缺乏明确规则的时代，我指的是全世界。或者说，虽然有的地方规则已经明确了，但是由于没有程序化，以至于验证是否遵守了规则的成本非常高。那么继续发展就是往程序化方向发展，这是我的观点。

cmdOptionKana

2022-10-31 20:26:07 +08:00

@lymith 如果你的逻辑是这样的话，就是很典型的车轱辘话循环自证了，如果你对逻辑有兴趣，应该不满意这种推理方式才对。

理智一点，如果一个逻辑 90%都靠循环自证来支撑，那我们自己首先就要怀疑这个逻辑有问题，可能哪里不对，而不应该表现出深信不疑的态度。

lymith

2022-10-31 20:38:05 +08:00

@cmdOptionKana 我不清楚你说的循环自证具体指哪里。如果说有一个绝对观点作为前提就属于循环自证的话，那么这种想法是错误的；你可以说我的绝对观点不一定是最简洁的表达形式，但是不能说这属于循环自证。如果不是绝对观点的问题，那么就请你指出来哪里循环了。

lymith

2022-10-31 20:41:09 +08:00

@cmdOptionKana 关于你提出的第一点，寻找认为未来程序成为世界规则的理由，我说我说的是一个观点，如果非要说一个理由的话，那么那个理由就是另外一个观点。但是不同在于，当第二个观点提出来以后，第一个观点就已经不仅仅是观点了，而是由第二个观点推导出来的推论。

cmdOptionKana

2022-10-31 20:52:44 +08:00

@lymith

> 我说的是一个观点，如果非要说一个理由的话，那么那个理由就是另外一个观点。但是不同在于，当第二个观点提出来以后，第一个观点就已经不仅仅是观点了，而是由第二个观点推导出来的推论。

这就是数学。

有些底层的观点是公理，有些看起来稍稍复杂的观点是猜想。任何猜想，都必须用公理去构建逻辑，一步步把猜想支撑起来。

而你提出的 “未来程序将成为世界规则”，是公理级别的底层观点吗？我认为不是，这个观点具有一定复杂度，没那么底层，因此它就需要更多逻辑来支撑。

这样说，你同意吗？

LindsayZhou

2022-10-31 21:50:39 +08:00

世界会怎么样我不知道，最近的我有一些“叛逆心”了。
因为离职在家，感觉到越来越严重的现实性的缺失。最近开始决定隔一两天就骑上我的公路车，去所在的城市的各个咖啡店或者精酿酒吧逛逛，为数不多的兴趣。

最近在看一部叫《水星领航员》的老动画，里面那种不计较效率，什么事情都慢悠悠来；尽量自己来动手做；青睐于手写信件而不是电子邮件，因为更有人的温暖。这些氛围很吸引人。这个季度不是也有一个叫《 DIY 》的动画吗。

在程序的世界里，我也更倾向于复古的风格了，我喜欢 sr.ht 那种样子。其组织成员之一写的 IRC 客户端 gamja ，我在一些回复里发过，也听到了一些人对其设计的夸奖，应该不止是我喜欢这种东西。