-
2020-07-01...哥德尔定理1924年，18岁的哥德尔入读维也纳大学，修读理论物理与基础数学。1926年在汉斯·哈恩的引荐下参加维也纳学派的讨论会，研讨会的主题是罗素的《数理哲学导论》，把哥德尔的兴趣从数论拉向了数理逻辑。罗素在《数学原理》阐述的全部数学都可以用一个形式逻辑系统表示，以及罗素的学生维特根斯坦在《逻辑哲学论》中强调的在语言... 215
-
2020-07-01...可计算数不可计算简单总结一下：每台专用机能够产生一个可计算序列，对应一个可计算数，专用机的计算过程可以编码成一个描述数，通用机执行这个描述就可以产生专用机同样的可计算序列。我们是否就此可以得出结论：通用机是否可以算出所有的可计算数？ 似乎可以回答“是”。前提是能够设计出所有专用机，用今天的话说就是编写出所有可能的软件，... 210
-
2020-06-30...摘要：从结绳记事开始，数和计算就成为人类认识世界、改造世界、创造新世界的有力工具。掰指头数数是最基本的智力活动之一，部分动物也会，这应该是自然数的起源。负数的概念最早出现在公元前三世纪我国的《九章算术》，西方国家直到1637年才由笛卡尔在《几何》中勉强承认负数的地位。0是在公元五世纪左右由印度人发明的（可能源于印度“绝... 210
-
-
本页Url:
-
2025-02-04-18:39 GMT . 添加到桌面浏览更方便.
-
