Huihoo 21th Birthday

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(逻辑)
 
(未显示1个用户的5个中间版本)
第1行: 第1行:
灰狐21了...
+
灰狐21了
  
 
==简介==
 
==简介==
2021,什么也没做成,只是还活着,网站还能访问。
+
2021,什么也没做成,只是活着,网站还能访问。
  
==逻辑学==
+
==逻辑==
在一个共和国,由于公民所接受的是理性与说服力而不是暴力的引导,推理的艺术就是最重要的。   ——托马斯-杰弗逊
+
在一个共和国,由于公民所接受的是理性与说服力而不是暴力的引导,推理的艺术就是最重要的。 ——托马斯-杰弗逊
 +
 
 +
当人们需要做出可靠判断时,理性(reason)无疑是最可信赖的工具。在任何寻求知识的领域,无论在科学研究中,在政治生活中,还是在个人生活管理方面,我们都需要运用逻辑以达致可靠的理论。《逻辑学导论》第13版
 +
 
 +
2022年起,逻辑、数学和哲学就是灰狐的精神家园。
 +
 
 +
逻辑是一门古老的科学,1879年弗雷格出版了《概念文字》,标志着现代数理逻辑的诞生。
 +
 
 +
数理逻辑主要研究的是数学证明形式的“对错”,数学语句的真假以及数学结构的本质。所谓“以数学的方式研究数学”,就是将数学语句、数学结构、数学证明等作为数学对象,然后用已有的数学理论研究它们的性质。
 +
 
 +
着迷希尔伯特、哥德尔与维特根斯坦。
 +
 
 +
哥德尔被称为亚里士多德以来最伟大的逻辑学家,哥德尔定理彻底否定了希尔伯特纲领。逻辑、数学和哲学,都因哥德尔的天赋而受益匪浅。
 +
 
 +
数理逻辑、数理语言学,类似这样以数学方法和思维去研究其它学科是个好思路。
 +
 
 +
更多关注计算理论(Theory of computation):
 +
* 采用什么计算模型(即形式语言、自动机)
 +
* 解决哪些是可计算的、哪些是不可计算的(即可计算性理论及算法)
 +
* 要用多少时间、要用多少存储(即计算复杂性理论)
  
 
世事难料,论逻辑学的重要性。
 
世事难料,论逻辑学的重要性。

2021年12月31日 (五) 09:08的最后版本

灰狐21了

目录

[编辑] 简介

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

[编辑] 逻辑

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

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

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

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

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

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

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

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

更多关注计算理论(Theory of computation):

  • 采用什么计算模型(即形式语言、自动机)
  • 解决哪些是可计算的、哪些是不可计算的(即可计算性理论及算法)
  • 要用多少时间、要用多少存储(即计算复杂性理论)

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

[编辑] 2020

不平凡的 2020

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

[编辑] 回忆

灰狐历年生日活动回顾

[编辑] 赞助

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

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

[编辑] 图集

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱