请灰狐喝杯啤酒🍺 我们准备了下酒菜:Haskell, OCaml, Lisp and Others

Huihoo 21th Birthday

来自开放百科 - 灰狐
跳转到: 导航, 搜索

灰狐21了

目录

简介

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

逻辑

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

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

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

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

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

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

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

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

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

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

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

2020

不平凡的 2020

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

回忆

灰狐历年生日活动回顾

赞助

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

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

图集

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

变换
操作
导航
工具箱