信息科学哲学--------第二次文艺复兴与信息化

作者： 刘未鹏
关于作者：http://www.21chinaweb.com/article.asp?id=67

C++ Template是图灵完备的（turing-complete，或者更确切的说，是图灵等价（turing-equivalent）），关于这一点是没什么悬念的，只是前几天有位朋友问到为什么说C++ Template是图灵完备的，为了找出当初的连接，于是又去搜了一下wikipedia和standford encyclopaedia，谁之这一搜之下又带出了一大堆内容，于是又花了好几个时辰将图灵机的相关理论复习了一遍，顺便以四十五度角仰视了一下Alan Turing的生平，神奇的是在追寻链接和搜索的过程中居然翻到了一篇关于constructive mathematics以及一篇关于Intuitionistic Logic的东东，那是后话，暂且不提。先来说说C++ Template和图灵机。
...

阅读全文

作者：王德奎.关于王德奎(y-tx@163.com ):http://www.21chinaweb.com/article.asp?id=47
刘辉：出生于1964年2月，绵阳职业技术学院基础科学系讲师.研究方向:高等数学理论教学 .
电子邮件 suininliuhui@163.com

摘要：该文不是哥德巴赫猜想完备、充分的证明，而是想把哥德巴赫猜想证明的方法交给群众去掌握、讨论。该证明揭示了哥德巴赫猜想是属于哥德尔计算机类型的既可证又不可证的数学问题，而不是可证或不可证类型的一般逻辑推理问题。
关键词：偶数、素数、报废率、哥德尔计算机

一、前言
库尔特·哥德尔（Godel，1906～1978）是20世纪最伟大的数学家之一，生于现捷克，卒于普林斯顿。他在前人康托尔、罗素、希尔...

阅读全文

(特约撰稿人：小林雅一发自纽约)

美国计算机科学家史蒂芬·沃尔弗拉姆(Stephen Wolfram)的新著《一种新科学》(《A New Kind of Science》，沃尔弗拉姆传媒公司出版)在世界科学领域引起了广泛的争论。沃尔弗拉姆在上世纪七十年代后半期就曾作为基本粒子物理学家而崭露头角，进入八十年代后，他开始转向计算机科学，并取得了一系列突出成绩，被人们称为天才。
　沃尔弗拉姆当年留下的最大成果都是有关以自动控制(Automata)命名的运算理论，现在也成了其最新成果--《一种新科学》的出发点。
　　耗时10年完成新作
　　自动控制本来是现代计算机之父--冯·诺伊曼(Von Neumann)及其追随者提出的想法，但是沃尔弗拉姆却将这种带有强烈的纯游戏色彩的原始想法从学术上加以分类整理，并使之最终上升到了科学方法论。自动控制的基础就在于“如果让计算机反复地计算极其简单的运算...

阅读全文