Huihoo 21th Birthday

灰狐21了

简介

2021，什么也没做成，只是活着，网站还能访问。

在一个共和国，由于公民所接受的是理性与说服力而不是暴力的引导，推理的艺术就是最重要的。 ——托马斯-杰弗逊

当人们需要做出可靠判断时，理性（reason）无疑是最可信赖的工具。在任何寻求知识的领域，无论在科学研究中，在政治生活中，还是在个人生活管理方面，我们都需要运用逻辑以达致可靠的理论。《逻辑学导论》第13版

2022年起，逻辑、数学和哲学就是灰狐的精神家园。

逻辑是一门古老的科学，1879年弗雷格出版了《概念文字》，标志着现代数理逻辑的诞生。

数理逻辑主要研究的是数学证明形式的“对错”，数学语句的真假以及数学结构的本质。所谓“以数学的方式研究数学”，就是将数学语句、数学结构、数学证明等作为数学对象，然后用已有的数学理论研究它们的性质。

着迷希尔伯特、哥德尔与维特根斯坦。

哥德尔被称为亚里士多德以来最伟大的逻辑学家，哥德尔定理彻底否定了希尔伯特纲领。逻辑、数学和哲学，都因哥德尔的天赋而受益匪浅。

数理逻辑、数理语言学，类似这样以数学方法和思维去研究其它学科是个好思路。

更多关注计算理论（Theory of computation）：

世事难料，论逻辑学的重要性。

不平凡的 2020

当下，活着就是幸福的，感谢所有朋友们的支持与祝福。

企业2022年赞助灰狐计划，推广企业自身，也同时帮助Huihoo。

个人赞助，支持灰狐，交个朋友。