程序员的反证法

1. 我国编程语言仓颉首发，以后是否就不会用英文写代码了

我国编程语言仓颉首发，以后肯定就不会用英文写代码了，只要开发工具和编译器可以准确解析编译中文关键字，就可以研发出来的，这只不过是需要一个时间和过程而已，让我们拭目以待吧！

为了让中国用上自己的汉字编程，华为发布鸿蒙编程语言‘仓颉’，用汉字编程语言。那么以“仓颉”命名，主要因为中国方块字、象形字创造者是“仓颉”，有很多人因为这个名字对这门编程语言进行推测的，认为很有可能是纯汉字和纯中文的编程，假如真的是全汉字，就会解决对很多英语并不熟练的认识。又想入门编程的需求，也有人推测真的是汉字编程，那肯定使用华为方舟编译器来进行的中文字符的编译。

4，中文编程语言是封闭的，绝对不是华为世界级高科技公司的主要选择，与华为爱国与否根本没有必然联系，更与我们国家持续加大改革，开放力度和构建人类命运共同体趋势不合拍！

我以为以上的言论不足以为道，当然还有不同的观点。但很多人都人认为：我国编程语言仓颉首发，以后就不会用英文写代码了。最后我用一个网友的发表的评论作为结束语吧！编程只是用关键字遵循一定格式，组织逻辑，为什么不能用中文？只要开发工具和编译器可以准确解析编译中文关键字，各种符号和格式，最终解析出来的还是机器码！为什么不能用中文？

2. 如何才能修炼成一名不可替代的程序员，避免裁员危机

（1）专业能力程序员作为专业性较高的人才，对其专业能力要求很高，这个问题下很多程序员大佬也纷纷表示：“代码是程序员的立身之本啊，所以一定要锤炼好代码基本功，扎扎实实的能力练出来了，你就是公司不可替代的人儿~”在技术说话的互联网公司，要保持一个不可替代的地位，实力是最基础的一环，需要不断地学习新技术，才能跟上技术发展的脚步，完成从一名普通程序员到精英程序员的蜕变。
（2）性格特质在外人看来，程序员就是整天和bug打交道的人，这样的人需要耐得住寂寞，但同时也要脑筋足够灵活，才能更好地应对各种bug，并且不断开发出新的产品。同时还要有责任心，对自己的代码负责，对自己的产品负责。
（3）发展需求除此以外，因为要不断地发展自身能力以提升自己的核心竞争力，所以要做一名“不可替代”的程序员还要有一定的竞争意识，与自己竞争，督促自己进步等。以上仅仅是比较概括性的特质，具体到不同公司的不同程序员岗位，还会有不同的层级要求，需要进行一定的调整。
如今市场不景气，企业用人大大收缩，再加上一批小企业的倒下，造成就业压力越来越大，但我认为这是接下来的常态。前几年的经济“泡沫式”过渡发展，互联网也跑的太快，造成大量的用工需求。一些其他行业的从业者培训下就能改行做程序员，造成这个行业的人五花八门，能力参差不齐。寒冬的到来，必将对市场人力的重新洗牌。互联网企业将会对程序员的要求越来越高，并促使IT从业者更加专业化。

3. 程序员是怎样解决问题的

程序员的五部曲:

第一、理解问题

解决问题的首要前提是客观准确地理解问题，这样我们才能抓住问题的本质，对症下药。

客观

为什么强调客观呢？在生活中，这样的情境很常见。

我们可以很客观地去评价他人，甚至是给他人给出合理的意见，但是同样的一件事情，放到我们自己身上，我们可能就会觉得束手无策。

通常情况下，我们对于自己的评价是带走自我保护心理的。

自己遇到问题，我们会下意识地弱化问题，或者情绪化地来理解问题，造成问题的失真。

魔镜的故事就是一个最典型的例子。

准确

当我们对自身的问题评价做不到客观的时候，我们往往也不会准确理解问题。

还有，准确的定义是找到问题的关键所在。这个怎么做呢？

我们仿照时间管理的方式。

首先对自己所要解决问题的过程做一个较为详细的记录。

坚持记录几天之后，我们需要将所有的记录结果进行汇总，分析，找出漏洞最大的地方。

那么这个洞也就是所谓的关键，我们也就可以找到解决问题的突破口。

举个例子，笔者前段时间开始用手机软件记录自己的时间花销，记录几天之后，就会发现，自己时间浪费最为严重的是娱乐。

知道了时间浪费的黑洞，那么接下来就该思考时间黑洞产生的原因了。

时间浪费的主要原因是两个

第一，目标流失

当我在网上查资料，或者用手机写作的时候，总会进入其他的浏览页面，等到自己发觉的时候，时间已经过去大半。

这个我称之为目标流失。也就是我们在网页浏览的时候已经忘记了自己最初的目的，比如说你本来想找一本书籍的txt版本，但是后来你发现自己浏览了一下午的娱乐新闻。

第二，多任务处理

这个问题我是经常遇到。比如说，我在进行日更的时候，有新同学发微信，说查一下宿舍的分配情况。

我当时的反应是火急火燎地去其刷微信，信息查询完毕之后，和分配在同一宿舍的同学聊了一下午。

最要命的是，等到你刷完屏的时候，你有很大可能会忘掉你在更这件事。

或者说你还记得，但你的精力已经消耗的差不多了，你会告诉自己，等会再更，然后你有很大的概率会断更。

找到时间黑洞形成的原因，那么就可以寻求解决措施了。

第二、计划

为自己的病症设置一个完整的疗程，根据问题出现的原因，制定每一步要采取的手段。

第三、拆解

这一步是和计划联系在一起的，只不过它的要求更加细化。

它需要我们将计划的每一步都拆解成可以执行的步骤，感兴趣的读者可以参考笔者的另外一篇文章《如何让遥不可及的梦想变得触手可及？》

第四、卡壳

可以说，我们每个人都有改变的想法，也确实有很多人尝试去做了，为什么还有那么多的放弃者。

因为在执行计划的时候，出现的变数让我们卡壳了。卡壳再正常不活了，那为什么会放弃？

答案是自我负罪感。

当我们卡壳的时候，我们大多数人会产生一种负罪感，就是觉得自己定计划的时候，详尽完备，而且自己已经坚持了这么长时间，会陷入一种自我怀疑，也就是负罪感。

解决的办法是立即采取行动，而不是描述问题本身，这也是我们解决所有问题的一个心态。

我们不要紧盯着问题本身，你理解问题的过程就是在采取行动，相反，你逢人就说，我遇到什么问题，我有多痛苦，没有任何意义。

第五、练习

其实这个步骤是对前面几步的一个综合。

这五部曲是一个闭环，是需要反复进行的，因为问题会不断出现。

回头看过去的生活，我们的历程何尝不是这样？不断遇到新问题，不断解决问题，然后获得新的体验。

想看更多文章

欢迎关注大鱼号【小妖影视】

4. 程序员的数学-读书笔记

计数法分为 按位计数法 和 罗马计数法
按位计数法常用的有2进制、8进制、10进制、16进制等几种。

理论上多少进制在数学上都可以存在，玛雅人用20进制，巴比伦人用10进制和60进制的混合计数法。玛雅人20进制可能是和手脚趾加起来的数量有关。巴比伦人采用60进制也可能是因为记录数字的黏土版比较难记录文字记号，为了在大数的书写上少占位便采用了60进制。
从这一点来看，环境对文明和文化的形成真的是有决定性的影响。假如巴比伦人掌握了造纸术或者在竹子上书写文字的话，60进制这种违反人类天性的计数方法一定不会出现。话说，汉莫拉比法典就是写在黑色的玄武岩上的。能够记录的文字也就屈指可数吧。

作者提到了其实人也是可以采用2进制计数法的，可是同样大小的数字用2进制书写起来位数太多，一来书写不方便，二来计算时易发生马虎出现错误。而10进制的数天生就是顺应人类人性的，即使是幼儿也可以通过数手指头的方式来计数。
相反对于计算机的物理构造来讲，0代表开关断开，1代表开关连接，这种二极管的物理限制正好决定了计算机较为适用2进制。不过如果你想做出一个10进制的计算机也不是没有可能的。

这一章比较有趣的是罗马计数法，我以前也没有接触过超过20的罗马数字，也不知道罗马数字各个数位上的数字相加之和为数字本身所代表的量。例如：

反观阿拉伯数字

由此引发作者在两个程序领域上的思考：

关键词：真值表、文氏图、逻辑表达式、卡诺图、三值逻辑、完整性、排他性

- 能够判断对错的陈述句叫做命题（proposition）

逻辑非 --不是A

逆命题

逆否命题

德摩根定律

卡诺图 （二灯游戏、三灯游戏引出）

未定义逻辑（undefined）

三值逻辑的德摩根定律

本章探讨的是通过余数来解决存在规律、周期性的问题。通过规律和周期性的重复，将大问题简化成容易解决的小问题。

首先作者通过解决星期几问题，引入了余数的思考概念。

上面的问题在 大问题通过余数规律简化为小问题 这个方法上表现的还不明显，于是引入了第三个问题：1234567^7654321的个位数是多少。

以上三个问题是小学奥赛便涉及到的问题，然而其思想在解决真实面对的复杂问题或具象的实际问题时却很好用。

将一个数字除以2，他的余数应该为0或者1二者之一。我们也可以叫 奇偶问题 。
书中有几个案例：

这样分析过来就很好解决七桥问题，确定每个点所连接的桥的点数，与上述结论做对比。
A点为3，B点为，C点为3，D点为3.
由此可以得出七桥问题不可能实现。这个问题的解决也是通过奇偶性来解决的。

作者举了高斯求和的故事来讲如何用数学归纳法来解决无穷数列的求和问题。
两个小例子便是从0开始到N的和，以及1开始的奇数和。

数学归纳法 是证明[ 有关整数的断言对于0以上的所有整数（0,1,2...）是否成立 ]所用的方法。
证明方法归结为两歩：

根据上述方法，假若某个假设成立，那么P(0)成立，因为P(0)成立，所以P(0+1)即P(1)也成立。反复如此，对于无穷数列遵守这个规律的证明，就像多米诺骨牌，推到第一个，后面的都会按照第一个的规则倒下去。

然而要避免整个证明出错，就要重视第二个步骤，也就是归纳。归纳在证明时一定要考虑 是否在所有定义条件下均成立 ，尤其要注意的是在P(0)的条件下是否实现。

课后对话很有意思：

计数是人类每天生活都要运用的方法。
计数的关键就在于 注意“遗漏”和“重复”
例如：

综上，在计数时要发现事物的规则。
要 认清计数对象的本质
要 认清计数对象的本质
要 认清计数对象的本质
重要的事情说三遍。

将计数对象进行 归纳总结 ，使其作为普通规则来掌握。这样一般不容易出错。

接下来，作者在 加法法则 里写到：

乘法法则 的概念比较有意思。

接下来，本章提到了置换、排列、组合3个概念。以下是几个小例子。

最后提到的 重复组合 里的思考问题比较有趣。

解答的思想是：

这是一种典型的将复杂问题简单化，并规律化的解答方法。

最后还是要强调下：
要 认清计数对象的本质

递归与归纳的区别

归纳（inctive） 是从个别性前提推出一般性结论。

本质上都是 将复杂问题简化 ，但方向不同。
个人理解是

递归是发现第n项和前一两项之间的关系，实证确定后，往回不断递推的一种个别性结论。
即这个结论不是在n为任何自然数时都成立的。需要注意n为0和1的两项。

通过递归解决问题的线路是： 找到递归结构——建立递推公式——找到解析式（只带n的式子） ，如果不能以解析式的方式描述递归结构，也可以用递推公式的方法描述。如下图所示的汉诺塔的递推公式：（它也可以描述成解析式的方式）

归纳所谓的个别性前提是指

斐波那契数列就是运用了递归的思想。通过研究和思考复杂问题，抓住事务本质，得到f(n)=f(n-1)+f(n-2)

所以当我们想要用递归的方法解决问题时，注意思考第n元素与前后元素的关系。由一个点推开，成一条贯穿始终的线。

利用帕斯卡三角形来研究Cnk=Cn-1(k-1) + Cn-1k的思考方式另辟蹊径。将两个加数假设成组合问题里含一个元素和不含那个元素的两个情况。从而证明了式子。利用的便是组合的数学分析法。（这句话组合的意思不是数学意义上的）。

所以以上将复杂问题简化的方法是递归解法之一，是为了在复杂问题中找到隐含的递归结构。其思路是：

通过思考一张1mm的纸，折多少次能够有地月距离那么厚，作者引出指数的概念。

这一章的内容比较简单，对于 指数爆炸 大家应该都不陌生。而 对数 估计也很熟悉。之前接触到的汉诺塔问题的解析式和斐波那契数列都属于指数的范畴。

然而在解决 测试所有设定选项的程序时，检查次数也是一个指数问题 。所以我们应该如何轻松的解决这类问题呢？

利用二分法查找

利用二分法，先询问最中间的人，如果在左边，就继续在左边的范围内重复此项方法，直到找到罪犯。这便被称为 2分法 。他和汉诺塔的解析式如出一辙，可以利用指数原理经过很少的步骤便可找到目标。

二分法本身也是 递归结构 ，经过n次询问，可以在2^n-1人中确定目标。每判断一次就可以查找近一半的对象。
二分法需要注意的是，所有元素一定要 按顺序排列 ，这点至关重要。

指数思想也被用于加密的实现中。因为每多加密一位，暴力破解就需要指数次的运算能力的提升。原则上有限时间里根本不可能破解。指数以其数字的巨大增长能力在加密领域有基本性的作用。

对于指数问题的解决方法，主要有4种，但均不太容易应付规模大的数字。

作为指数函数的逆函数，文章涉及了对数。同时也简单介绍了古代科学家用过的计算尺。

无穷可以分为 可数无穷 和 不可数无穷 。
所谓 可数无穷 是指 可以按照一定的规律或者表达方式来表达 。
即集合中所有元素都与正整数一一对应。如果每一个元素都可以与1.2.3....等数字对应，也就是说可以按规律表达出来就是可数无穷。
例如：

所以有不可数的集合吗？
此时运用到了 对角论证法 和 反证法（也叫归谬法）
假设我们要证明 所有整数数列的集合是不可数的 ，那么反证就是 假设所有整数数列的集合是可数的 ，此处是运用的反证法。
现在我们按下图的方式来列出所有整数数列，编号为k的整数列在表的k行。

如果按照图中第k行的第k个元素ak单独组出一组数列{a1,a2,a3......}的话，他也是应该包含在所有整数数列里的，然而并没有，他是游离在所有整数数列之外的。此处得出矛盾，说明命题错误，命题 所有整数数列的集合是不可数的 为真。此方法被称为 对角论证法
除此之外
-所有实数的集合是不可数的
-所有函数的集合也是不可数的

随后书中讨论到了不可解的问题
对于不可解的问题的定义是

事实上，不能写成程序的函数是存在的。
有些函数不能用文字表达，而且要写成程序的函数必须 严谨定义确切和文字表达 两个概念。

停机问题
不可解问题的一例。定义是

有限时间并不指时间长短，而是指无论耗时多长，只要能有终止的一刻就好。
事实上，程序本身并不能判断某一程序是否可以在有限时间内结束运行
所以停机问题也是 不可解问题 之一。

这一章是对之前8章的回顾和总结。

前几章作者分别对 0的意义、逻辑、余数、数学归纳、排列组合、递归、指数爆炸、不可解问题 进行了简单的介绍和探讨。其实所有的章节最后都是在引领读者产生如何解决问题的思考。

1.认清模式，进行抽象化

2.由不擅长催生出的智慧

3.幻想法则

本书比较适合作为第一本接触算法的书籍。目前开始在上 Khan的Algorithms ，9月份跟上 coursera的Algorithms Part I 的开课。

前方的路注定不好走，但是要慢慢尝试和坚持。