欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo 21th Birthday
小 |
小 (→逻辑) |
||
| （未显示1个用户的5个中间版本） | |||
| 第1行： | 第1行： | ||
| − | 灰狐21了 | + | 灰狐21了 |
==简介== | ==简介== | ||
| − | + | 2021，什么也没做成，只是活着，网站还能访问。 | |
| − | == | + | ==逻辑== |
| − | 在一个共和国，由于公民所接受的是理性与说服力而不是暴力的引导，推理的艺术就是最重要的。 | + | 在一个共和国，由于公民所接受的是理性与说服力而不是暴力的引导，推理的艺术就是最重要的。 ——托马斯-杰弗逊 |
| + | |||
| + | 当人们需要做出可靠判断时，理性（reason）无疑是最可信赖的工具。在任何寻求知识的领域，无论在科学研究中，在政治生活中，还是在个人生活管理方面，我们都需要运用逻辑以达致可靠的理论。《逻辑学导论》第13版 | ||
| + | |||
| + | 2022年起，逻辑、数学和哲学就是灰狐的精神家园。 | ||
| + | |||
| + | 逻辑是一门古老的科学，1879年弗雷格出版了《概念文字》，标志着现代数理逻辑的诞生。 | ||
| + | |||
| + | 数理逻辑主要研究的是数学证明形式的“对错”，数学语句的真假以及数学结构的本质。所谓“以数学的方式研究数学”，就是将数学语句、数学结构、数学证明等作为数学对象，然后用已有的数学理论研究它们的性质。 | ||
| + | |||
| + | 着迷希尔伯特、哥德尔与维特根斯坦。 | ||
| + | |||
| + | 哥德尔被称为亚里士多德以来最伟大的逻辑学家，哥德尔定理彻底否定了希尔伯特纲领。逻辑、数学和哲学，都因哥德尔的天赋而受益匪浅。 | ||
| + | |||
| + | 数理逻辑、数理语言学，类似这样以数学方法和思维去研究其它学科是个好思路。 | ||
| + | |||
| + | 更多关注计算理论（Theory of computation）： | ||
| + | * 采用什么计算模型（即形式语言、自动机） | ||
| + | * 解决哪些是可计算的、哪些是不可计算的（即可计算性理论及算法） | ||
| + | * 要用多少时间、要用多少存储（即计算复杂性理论） | ||
世事难料，论逻辑学的重要性。 | 世事难料，论逻辑学的重要性。 | ||
2021年12月31日 (五) 09:08的最后版本
灰狐21了
目录 |
[编辑] 简介
2021，什么也没做成，只是活着，网站还能访问。
[编辑] 逻辑
在一个共和国，由于公民所接受的是理性与说服力而不是暴力的引导，推理的艺术就是最重要的。 ——托马斯-杰弗逊
当人们需要做出可靠判断时，理性（reason）无疑是最可信赖的工具。在任何寻求知识的领域，无论在科学研究中，在政治生活中，还是在个人生活管理方面，我们都需要运用逻辑以达致可靠的理论。《逻辑学导论》第13版
2022年起，逻辑、数学和哲学就是灰狐的精神家园。
逻辑是一门古老的科学，1879年弗雷格出版了《概念文字》，标志着现代数理逻辑的诞生。
数理逻辑主要研究的是数学证明形式的“对错”，数学语句的真假以及数学结构的本质。所谓“以数学的方式研究数学”，就是将数学语句、数学结构、数学证明等作为数学对象，然后用已有的数学理论研究它们的性质。
着迷希尔伯特、哥德尔与维特根斯坦。
哥德尔被称为亚里士多德以来最伟大的逻辑学家，哥德尔定理彻底否定了希尔伯特纲领。逻辑、数学和哲学，都因哥德尔的天赋而受益匪浅。
数理逻辑、数理语言学，类似这样以数学方法和思维去研究其它学科是个好思路。
更多关注计算理论（Theory of computation）：
- 采用什么计算模型（即形式语言、自动机）
- 解决哪些是可计算的、哪些是不可计算的（即可计算性理论及算法）
- 要用多少时间、要用多少存储（即计算复杂性理论）
世事难料，论逻辑学的重要性。
[编辑] 2020
不平凡的 2020
当下，活着就是幸福的，感谢所有朋友们的支持与祝福。
[编辑] 回忆
- 灰狐10周年 2010.12
[编辑] 赞助
企业2022年 赞助灰狐 计划，推广企业自身，也同时帮助Huihoo。
个人赞助，支持灰狐，交个朋友。
微信打赏
支付宝打赏
[编辑] 图集
灰狐19岁
灰狐18岁
灰狐16岁
灰狐10周年
灰狐早年办公室
创业场-灰狐实验室
商业计划书
朋友早年送的礼物
