  
- 积分
- 13286
- 威望
- 13286
- 包包
- 34831
|
! Q: i5 ?" u" \' y5 J
3.5 外空黑洞阿列夫
( D! ?. H* D/ Q, s. J6 @% F* q, i( F9 p3 x/ E: u0 e
t& t* @& g9 o$ e$ N
+ s. N+ |' l6 ]8 G% H# t1 Z/ s. \; c$ i: q4 y- l$ G/ O
; {* S1 w7 O0 b8 Z( b
5 N" a- m$ M# Y/ Z: X
2 }; A, |! u" f7 W' i2 M+ w. P4 [, G- z# i9 j6 P
( w! I& h& y3 y$ g$ y0 d Y5 _; w, ]8 e+ C4 O( G6 |
兜了一大圈,下面我们再来捋一捋哥德尔“不完备性定理”关键点:/ m. y' m; V( A( b& D
, ~/ o. q/ C" r/ t% ?, X
% w& T. l" q9 G# Y* ?% f) { 首先,靠一条一条公理补充列举的方法,建立和添加出来的公理体系必然是可列的。再次提醒童鞋们,可列集的无穷大只能达到‘阿列夫0’
* j; r2 c8 Y6 I4 w
% H" ^' J7 u0 g8 J8 E; _9 ?- Z1 \4 u7 A3 Q9 g& C4 a
另一方面,包容万象的命题体系却包含有‘诡论命题',‘诡论命题'对应于无理数,而包含无理数的实数却有‘阿列夫1’之多,远远大于‘阿列夫0’所能阐述的范围。
. L' G) ~& ^. x+ N$ A r; H! S
, m6 |% F: k1 P4 Z$ {$ O7 G5 Z9 O( g% J, S C$ l4 Z. L
0 U; T9 e. e @/ {2 p u. i
2 O. L$ X" |% U+ d1 J6 X
( ~1 F F' O; f" N3 d. L1 @
, q+ ^' x2 h4 E 所以,当哥德尔找到一个【说谎者诡论】例子,证明‘阿列夫0’维度的形式逻辑公理系统无法判定时,希尔伯特立即意识到康托尔连续统理论,立即意识到连续统理论中多不可数的无理数,立即意识到和无理数一样,多得‘多不可数’的不可判定命题。$ v7 E |3 N3 S* k% r3 b, b
) i6 \ E3 B& R/ C+ e; a% w5 a" t! Y1 R$ |
9 A. k) Y) R# U3 b+ k' c: g
4 }! s! @# v* W; F" x' I2 _1 p3 e- t% g3 n
2 y! }8 D6 |) E
平明拂剑朝天去,薄暮垂鞭醉酒归
! L1 ^$ ~, z- B
$ B8 U8 l9 X% Z; l# _; `
5 m7 a) V! F5 _0 f+ C6 |' | 恨苍天0 U1 S' f! ?6 O# p
- f2 x8 D$ ]1 \6 \3 V4 B5 T! D
) [# ?2 h8 b: X& S( G1 |8 Z- X7 n
3 O9 z& `+ v* L0 e
9 g- v: r- ^+ u$ ~
2 I+ n* o4 l* M1 v( o q# d9 N
( \; p9 w/ I' W% R" Y' w% v0 f, w9 V$ _) ?! R
% e& A! q# g3 z+ |: n
6 ^0 P& N' H9 P& t+ M: ^5 a9 }" ~
. d) T5 a2 z B& [* R3 Q4 ]# B: a 2014年6月8日,英国《每日电讯报》报道,一台由俄罗斯人开发的超级计算机通过了标志性的图灵测试。这台卓越的超级计算机模拟人类的思维,让33%的考官认为他们是在与一个13岁的男孩儿对话,计算机通过自己的智慧成功蒙骗了人类。这一划时代事件,正逢计算机之父图灵先生去世60周年纪念,被认为是人工智能领域里程碑式的突破。# D9 e' R# B0 K" _
* X- n" _2 k! ^
& \$ ?9 `6 G% a1 X/ Q. x8 Y: |0 N( T 一台冰冷的机器,超越人类的智慧??4 U' @' @/ u) @( n9 h% Q5 T: ~
" R8 V* W5 Q" y! }2 A9 G4 I
' S" H8 h4 Y' L2 Y/ G/ o# ]. v
骇人听闻,如果这是真的,可能有一天,科幻电影将成真------机器人将替代人类成为世界的主人。
3 `0 Y" p6 x. u# f* w5 Y9 y
5 p1 b9 u% r6 v. D1 j' T" }
# Q2 R% Q. E# O: K! b. Z 这可能么?数不清的一串串大问号。+ E6 N5 A" c9 M( L
5 T3 l: n: S8 c7 N% ^% Q: p/ X, Y) V9 H6 L0 F' H
之所以学术派对当代计算机的智能严重怀疑,是因为如今所有的计算机在逻辑上是完全一样的,都叫做“图灵机”,而图灵机是基于形式逻辑的‘阿列夫0’维度空间的。
" H; `" e3 i2 M3 t- `/ e! z4 Y9 { Z9 l
' ^7 [1 S, j- j5 t
: x* f8 s' y% s- g1 k9 z ?: a1 @1 l) \! ~
1 i1 g9 D4 J: U* G# L) S" e- K( h+ V/ F% H) _2 f9 i( f
这里,不得不提,那个把数理逻辑推向世界之巅的人———阿兰·图灵,英国著名数学家、计算机科学之父、人工智能之父。
. r& C: r8 \8 }, s' F% {" Q
0 Z/ ~0 k4 q5 p1 @9 R% A, m1 p" v
% h9 F( R- A, L5 S" O- \6 i 1936年,图灵向伦敦权威的数学杂志投了一篇论文《论可计算数及其在判定问题上的应用》。在这篇论文中,图灵给“可计算性”下了一个严格的数学定义,提出著名的“图灵机”的设想。图灵机不是一种具体的机器,而是一种数理逻辑的思想模型,可制造一种十分简单但运算能力极强的计算装置,用来计算所有能想象得到的可计算函数。 基本思想是用机器来模拟人们用纸笔进行数学自动机械化运算的过程。设计解决某一问题所需要的固有套路,按这个步骤走下去,就可以解决某一特定的问题,这种观念是具有革命性意义的。
" t* W, i" i1 g& R" z
0 @5 D" D; f2 o3 i& _( }- K! W( ]1 r
$ v5 p6 @6 n$ v 图灵是伟大的,之所以主流媒体对图灵的宣传较少,因为他在世俗羞辱下最终选择咬食剧毒苹果自杀(基督教认为自杀不光彩),数年以来他都被视为罪恶的人。直到2013年12月24日英国司法部长克里斯才宣布:英国女王伊莉莎白二世赦免上世纪50年代因同性恋行为被定罪的阿兰·图灵。
( W- s r8 j% ]6 f# N) c
) N/ a @! T. m/ k! @2 e
2 ^' L8 {" ^- l1 r 当我们每天用电脑、平板、手机,或办公或娱乐或聊天或游荡的时候,应该感谢图灵先生,向这个伟大的灵魂致敬!
: ?; [8 _! @+ n# M
# b" Z" ^% T$ g# U7 J" b& X& ]* ]4 b6 E9 V. y( W$ N
1966年,美国计算机协会设立图灵奖,被喻为计算机界的诺贝尔奖。它是以图灵先生的名字命名的,是对图灵伟大贡献的肯定。有人说iphone的那个被咬了一口的烂苹果商标,就是为了纪念他。
: z' l6 v8 J8 `' Q6 r
- d( N/ Z0 D9 \2 c3 a6 D, N/ H; s) T) y8 f" j* a

8 w/ }1 r; r) P) w" C# l7 M; u% [! O! U: `7 o8 {5 [0 ?
/ y0 W* a7 N; ~9 ?3 h, H4 _
7 g* t, d" y2 ~( r/ M$ O: X 今天,超级计算机、小型计算机、服务器、PC机、平板、智能手机等等“图灵机”已经遍布我们身边,影响了我们日常生活的方方面面。但是,尽管“图灵机”攻城掠地战绩显赫,却并不能掩盖“图灵机”的严重局限性。
( A2 b. S* N& k; s" m. @
1 l+ M c- V4 I1 g" I8 Y
3 L* w( L8 \% r0 k' w 现在大家都知道,哥德尔不完备性定理证明了“图灵机”的这种逻辑局限性。但是,一个世纪以前,‘阿列夫0’维度的局限性却鲜有人知。除了独孤求败的康托尔、一剑封喉的哥德尔,第三个意识到这种局限性的人应该就是希尔伯特了。4 o( y. w. O* T. _# T+ C
0 }" ?" P& d7 t+ g
3 _% \* M% [& t! G6 Z* v/ j
因为,对于无穷大的诡异,希尔伯特很早就注意到了。天苍苍、野茫茫,风吹草低见牛羊
& `. a+ e3 ?/ R. o* C6 Y; |
: s! {8 ]6 C% M5 r2 j6 W$ c- K$ `" D* U/ n! g; V
曾经,一个23岁年轻人,就是以一篇关于不变量理论的论文跻身数学界。他的证明方法在当时相当具有争议性。
" h N7 |4 u& A8 i: x' c+ Z
: `$ t* k1 v3 L6 c( {) n; w% N! e+ R" r
) _$ G5 l2 J- I0 S; D8 d5 ^6 s* U! ^, @% ^- i" K7 Q
/ \1 h6 T: p: e( I0 |+ L! L% y4 v! V$ U' c' ]" |
0 y+ |: I) M* H7 p- o 在这篇论文中,他使用了‘非构造性’的证明,也就是说他只能证明某个数学对象的存在性,却无法将它具体指出。比如说,一个报告厅有100个座位,有99位听众进去了,我可以断定一定有一个空座位,这就是一种非构造性证明。但我没办法将具体的空座位指出来。写这个论文的年轻人就是日后统领江湖的希尔伯特大侠。# M2 j4 d+ A$ y
( I' Z) _# Q0 ~% t$ b
/ X J4 n# R% }. V- v1 I 利用这一独特的非构造性的证明,大侠构建了一个关于无穷大的独特的“希尔伯特旅馆”:7 z" _( q4 r' z0 A* x: i7 B; t
3 ^+ L1 v, J7 ~- f' o) l( w" K) Y
, z( Y) G* Y S: ~, b1 l& @7 T- w 【一天夜里,已经很晚了,一对年老的夫妻走进一家旅馆,他们想要一个房间。前台侍者回答说:"对不起,我们旅馆已经客满了,一间空房也没有剩下。"看着这对老人疲惫的神情,侍者又说:"但是,让我来想想办法……" 这个好心的侍者开始动手为这对老人解决房间问题:他叫醒旅馆里已经睡下的房客,请他们换一换地方:1号房的客人换到2号房间,2号房的客人换到3号房间……以此类推,直至每一位房客都从自己的房间搬到下一个房间。这时奇迹出现了:1号房间竟然空了出来。侍者高兴地将这对老年夫妇安排了进去。没有增加房间,没有减少客人,两位老人来到时所有的房间都住满了客人--但是仅仅通过让每一位客人挪到下一个房间,结果第一个房间就空了出来,这是为什么呢?
; i }+ m+ i" p" W* ^2 x2 v' m; c, p
. ^$ t \9 T3 {$ j( t% \
8 X: m/ H3 E0 |, L 原来,两位老人进的是数学上著名的希尔伯特旅馆———它被认为是一个有着无穷多房间的旅馆。
" T: G2 a6 r K7 D* M9 Z- T5 `, |* L6 _; I5 T# `
) }. `1 f5 Z; T! x 这个故事是伟大的数学家大卫·希尔伯特所讲述,他借此引出了数学上神奇诡异的"可列无穷大"的概念。】" V' F+ q9 D# t, j, Z* D* V9 m
' |- g! o! z& r; T
. T8 P: m/ s& ?; O9 }$ \$ E6 r3 x: A- d, Q: h6 w
e( F2 N' \) ^9 r; S7 H$ Z1 _4 {- i/ O p
) X% [' p1 Z! `. q* h

# Q8 G, W3 C- {1 {6 W5 g5 [) }9 d, h
- U2 o- C9 `0 |
0 N' G% A* p! r2 w/ K+ b 很显然,希尔伯特旅馆的可列无穷大即是‘阿列夫0’
: |8 X/ i1 D) I. I; T
1 B, \+ g& u2 U3 K1 X
; m* M4 O! N1 O! g2 f0 H
" A8 }, k% m! `' E6 f
; o& I! X" h' s
) v8 s8 |; u/ |) j
% o8 r/ Y; M% ^3 z5 C% y 亲手创建‘可列’无穷大军团的希尔伯特,突然看到哥德尔论文中的把说谎者诡论和‘不可列’的无理数,从而联系到一起时,可以想见他是多么的震惊,惶恐不安!6 ^& ]1 B% g3 Y. T) R3 Z9 m
3 x: M) k4 X& k: k6 A
# ?! v& a' X" ? }* h! y$ K 希尔伯特当然不是害怕一个小崽提出的一个小小诡论,他恐惧,是见到了那妖物背后的‘不可列’。
! d0 i, |: N+ ~7 Z( j+ A) i+ Z" K( V0 A. X! I
" Z3 w9 [8 C$ Y7 O) z7 C 所以,希尔伯特一招之后就放下武器背道投敌了。可以想见,这个曾经叱咤风云的老人,当时是多么地惶恐无奈,老泪纵横。伙计们,不是老夫不努力,只怪敌人太强大太强大。
7 ?* J6 y4 T7 d* W! Q6 \$ e, J' `. { D; }' [3 ^4 L. r$ ^+ _
/ g+ s) T5 j/ d2 l
所以,以希尔伯特的伟大,仅仅遇到一个不可判定命题,就彻底放弃了反抗,因为这一个例外后面跟着‘多不可数’。假如我们把人类普通语言逻辑看作一个空间,那么诡论则是来自外空的异形。而且这类我们地球人眼中的必有歧义的诡论,甚至是‘多不可数’的,它们的军团远远大于‘可列的’阿列夫0 ,如巨大的黑洞超越了人类的正常思维、远远超越了人类习以为常的形式语言逻辑。
+ T% ^5 h z8 Z5 R }$ M+ K! q; T* j4 d+ }7 E' p$ s* R, Z
& O- e! d) ?! Z; l, q: f. n. l2 a& u$ e, s7 T$ `. f# Z
; I5 }! j6 \+ R9 _9 w
1 |# s# D7 R* ~7 H
" S# f7 A6 |& W7 d K# O, i 也就是说,形式数理逻辑公理体系之所以不完备,本质上是因为其维度最多是‘可列的’,而宇宙逻辑的维度是‘不可列’的。宇宙逻辑的空间维度远远大于‘可列的’语义系统,所以人类惯常的语义系统无从解答广阔空间的哈如繁星的‘不可列’问题。
( M- Z" d1 y7 c) M- @' V& A( A b+ Z# U7 e, N$ C X9 y$ O$ n
6 P2 k) {5 H/ U0 I
. k1 j, t; l" M$ ] i/ R+ A: E m0 G6 F4 }
/ a) z0 f( i/ ~; l8 Z' s' |
9 I& J/ m: Q$ k$ F6 m9 ? 阿列夫0比阿列夫1小,阿列夫0对于阿列夫1不足,所以阿列夫0维度对于阿列夫1维度空间不完备。
1 U3 m L% E9 M* J" _, y9 \- n& Q; L! S' ?7 X& u
# K1 U' ^# u& k2 ~. _ 这,就是“不完备性定理”的真谛。8 t4 T' [, N! c2 g1 _! W! l: ^0 Q
" \+ n9 X! Q, j4 I
1 _/ `0 b" U) { } 不完备定理的‘不完备’本质是维度的不完备!!!8 e8 t, T' T3 d
) d; Z/ S: V: x) |) T h2 R
$ ^1 Y, p2 I) q2 s- L# A0 z' b( `1 b* F6 y: _
0 _! s# S6 {8 E/ u: I- m T# G) S( z4 y5 D) l, B9 b* Z) S
7 W: v; d. D3 M( d/ G. M! J3 F 大道至简!* j0 L( W; _. O S) b$ D
$ v5 A3 b& |! x3 S9 n3 [! r5 U" K2 g8 x* X- t
3 @, y1 `, Y5 s8 x1 k6 w' ^4 R5 L( N
! h) _9 `" ]! J7 I( e7 ^5 a& V* `9 n/ R! ~+ _2 t
% G4 M: F4 ]& R H- M P N
/ J- J' z% w! Q8 X) O
; `5 Z) ]! o7 h
0 `* [2 W$ @- W6 }- B0 A x* z% [
; L9 S! R1 B9 R$ ~' x6 {
/ E+ W9 ^* @3 |& X8 O- s! j9 F! y& D0 c" M# U1 I1 b
2 q; L6 Y! a5 j# ~/ r" r; O4 } 终于攻下一个阿列夫山头,烹羊宰牛且为乐,会须一饮三百杯。
$ O, `: `! `# z9 ~9 q
7 H+ M4 t$ F2 Q6 I5 F6 m3 {, s% x! o
不过战斗还将继续,如果人类的思维永远局限于阿列夫0维,那么我们可能真的要完蛋了。幸而,借助先进的思维工具,人类的思维模式能突破‘阿列夫0’,进而远达‘阿列夫1'、'阿列夫2' ............
2 X4 u" T; a4 v/ T! R% s8 r' `" u+ w* N, t
: a( F; e& c) @& v `' d0 q6 x1 s" I1 g- B
0 u( Q9 w, W5 Q5 b
( b, {* `% v5 g$ \; j% u2 ]1 `
. E. a# o# f) O$ Z/ W2 v& A% w1 W& m; n/ g e: d4 r, K
& ~/ I& i9 R6 [/ @5 W, ?+ E& i6 W! }
3 V& Q4 e" e, l5 S8 ]
* I; Z9 L& x8 }6 S) L" V1 O 可能很多朋友以前没听过康托尔连续统理论,对关于无穷大的阶,对阿列夫0、阿列夫1、阿列夫2不熟悉。也难免,对于不熟悉的很容易把人绕晕,何况是连大师都看不清的无穷大。- v+ |; z; u4 N. i+ i a
6 a' j( s1 s" t6 X
7 f# a8 q9 @- h( f' x0 g2 \3 Y
康托尔连续统理论至今也没有被完全彻底的证明,比如我们不知道‘阿列夫0’和'阿列夫1'之间是不是有‘阿列夫0.5’、是不是有‘阿列夫0.1415926......’,所以康托尔连续统理论更多地被提为康托尔连续统假设。 f# G: ?! w8 J5 O' _$ E
3 m3 P+ s) M# N0 B# Y7 B0 c
' Q6 o* _) O6 W: o
尽管还有这样那样的不足,康托尔连续统理论还不完善。但是,它的意义却是非同寻常的。并且,康托尔连续统理论中核心部分应该是可信的、是确定无疑的,比如通过可列和不可列的严格证明,明确了‘阿列夫0’和'阿列夫1'的本质差别。
, K7 E: E y0 j2 v% @
/ m5 u) F* H9 V' P: s
& @' I- s; h, x X' D4 p) ^$ K6 l- |& R0 f8 K; O% J
. ?9 L- B! U6 _* W3 a- r
: k( w1 C( a9 S2 b
7 o3 }3 ]4 D, ~# z
' W" ~( B: s, o2 ]3 G
. X. E, h- ?3 o1 u+ E4 g, b) X
* U( r: \$ ^1 L
! B* [! J& }, k) G4 @, w0 N 后面章节,通过不确定性原理的故事,将为大家隆重介绍‘阿列夫2’是何方神圣。并且,通过认识‘阿列夫2’,我们将能明白量子力学不确定性原理的本源。更重要的是,通过“不确定性原理”的探讨,能对“不完备性定理”有更加深入透彻的认识。
1 M" y$ G# n/ Z3 ^3 B5 V3 i* |$ c/ j( U* T' n5 G" W
/ X) x7 R$ @9 {9 F" O* E1 O

, c6 `) r v4 }6 f3 D1 v6 e" k9 S1 i4 s, u- p- d7 d8 K" k& ]
6 w2 A$ T* y! n7 k! s+ z* I
6 S* {8 e0 x: g \' O) ?. c
8 ^" i' ~& P' g( b+ k' \ |
|