随着时光的流逝，人变得越来越傻：

人们宁可相信那些用‘钢铁’制作的机器，

也不愿相信自身的‘天造灵器’。

‘天之灵器’是任何机器无法比拟的。

我们看到，有的诺贝尔获奖者，

宁可被庞然大物的机器累死、宁可被癌症

（一位研究‘中微子’的科学家

得了诺贝尔奖，却因病不能去领奖了）。

如今人们宁可敬奉‘数学公式’为真理，

也不愿相信世上还有比形式化更好的事。

早在1930年9月7日哥德尔就宣布了

形式系统的‘不完备定理’。

用通俗诙谐的语言

解释这个定理，那就是——

在没有外在条件下，

‘我’无法证明‘我’。

用专业话表述就是，

形式数论（即算术逻辑）的

‘不完备性”表现在，

即使把‘初等数论’形式化后，

在这个形式化系统中的所谓合理命题，

在该系统中

既无法证明它是真、也无法证明它是假。

或者说，

哥德尔证明了任何一个形式系统，

只要包括简单初等数论的描述，

而且这个系统是自洽性的，

它必定包含某些系统内所允许的方法

既不能证明它为真、也不能证明它为假。

（对一般人来说，上述定理委实怪异，

但不要心烦哦，您只要知道由于这个定理的问世，

使得一向高傲的数学已经被哥德尔拉下了宝座，

从此数学等形式化系统不再是万能的了）

这一理论使数学大厦的基础发生了裂痕，

它也是现代逻辑史上一个划时代的里程碑。

但是我们看到近年来却有人宣布，

哥德尔不完全性定理被证明是无效的，

真是‘无知者无畏’啊。

事实将证明，不是‘哥德尔定理’无效，

而是无知者的言论终将是无效的吧……。

库尔特·弗雷德里希·哥德尔（1906-1978年），出生于奥匈帝国的数学家。其最杰出贡献是哥德尔不完备定理。

【学习资料】

世界上最大、能量最高的粒子加速器

（强子对撞机），简称‘LHC’。

‘LHC’是用人工方法产生高速带电粒子的装置，

是探索新粒子及其性能的机制设备，

具体地说，是将质子 ‘高速对撞’的物理设备。

大型强子对撞机（LHC），

可在微观尺度上模拟宇宙大爆炸后的迷你景观。

这架巨无霸坐落在日内瓦附近

（瑞士和法国的交界）

地下100米深、长17英里的隧道之内。

大型强子对撞机由全球85国家的研究机构组成，

其中超过8,000位物理学家的合作参与。

2008年9月10日，对撞机初次启动进行测试。

作为人类最精密最巨型的强子对撞机，耗费昂贵，

LHC的建造经费最初是（1995年）

26亿瑞朗（瑞士法朗），后来则需要更多。

预期建造费用不少于200亿美金。

建造大型对撞机美国有痛苦的经验：

1989 年美国开始建造，开始预估为30亿美元，

后来数次增加，达到80亿美元，即引起众多反对。

除了费用昂贵，

大型强子对撞机所衍生的后果

（副作用和危害）

更令人吃惊和警惕。

任何一个高能物理实验

都有自己的安全委员会，

目的是研究由加速器产生的高能粒子束流，

是否会对周围居民和自然界带来辐射危害。

例如，核废料再处理问题，

在法国曾出现过‘核废料处理厂’

在一个月内连续发生四次核泄漏事故

（具体时间待查）。

2010年8月2日，

日本青森县一家核废料再处理工厂

也发生了放射性泄露。

2008年9月19日欧洲大型强子对撞机

发生严重氦泄漏事故. 

其研究中心当天发表简报说，

大型强子对撞机第三段至第四段

在尝试进行达到５万亿电子伏特运行时

发生氦泄漏。

这是大型强子对撞机

本月１０日启动后发生的第二次事故。

若问，核泄漏的危害有哪些？

核泄漏一般的情况

对人员的影响表现在核辐射，

也叫做放射性物质污染。

放射性物质可以通过呼吸，吸入体内，

或通过皮肤伤口及消化道吸收，

进入体内，从而引起内辐射。

辐射也可以穿透一定距离

被机体吸收，

使人员受到伤害。

身体接受的辐射能量越多，

其放射病症越严重，

致癌、致畸的风险越大。

放射病症状有：

疲劳、头昏、失眠、

皮肤发红、溃疡、出血、脱发、

白血病、呕吐、腹泻等。

有时还会增加癌症、畸变、

遗传性病变发生率，

影响几代人的健康。

唉，看过这些资料，

试问，人类是变得更聪明了，

还是变得更悲摧了……。

谢谢阅读。