数理逻辑史的有穷方法和元数学
\u6570\u5b66\u903b\u8f91\u548c\u6570\u7406\u903b\u8f91\u4e00\u6837\u5417\uff1f\uff1f\uff1f\u4e0d\u4e00\u6837
\u901a\u5e38\u6211\u4eec\u4ee5\u4e3a\u6570\u5b66\u903b\u8f91\u667a\u80fd\u5c31\u662f\u7b97\u672f\uff0c\u8fd9\u5f53\u7136\u662f\u4e8b\u5b9e\uff0c\u4f46\u662f\uff0c\u6570\u5b66\u903b\u8f91\u667a\u80fd\u5e76\u4e0d\u4ec5\u4ec5\u5c40\u9650\u4e8e\u7b97\u672f\uff0c
\u5b83\u540c\u6837\u53ef\u4ee5\u5e2e\u52a9\u6211\u4eec\u4e86\u89e3\u5982\u4f55\u770b\u5f85\u548c\u89e3\u51b3\u95ee\u9898\u3002 \u6570\u5b66\u903b\u8f91\u667a\u80fd\u5176\u5b9e\u662f\u7528\u6765\u5206\u6790\u95ee\u9898\u548c\u8003\u8651\u89e3\u51b3\u95ee\u9898\u7684\u53ef\u80fd\u6027\u7684\u3002
\u6570\u7406\u903b\u8f91\u53c8\u79f0\u7b26\u53f7\u903b\u8f91\u3001\u7406\u8bba\u903b\u8f91\u3002\u5b83\u65e2\u662f\u6570\u5b66\u7684\u4e00\u4e2a\u5206\u652f\uff0c\u4e5f\u662f\u903b\u8f91\u5b66\u7684\u4e00\u4e2a\u5206\u652f\u3002\u662f\u7528\u6570\u5b66\u65b9\u6cd5\u7814\u7a76\u903b\u8f91\u6216\u5f62\u5f0f\u903b\u8f91\u7684\u5b66\u79d1\u3002\u5176\u7814\u7a76\u5bf9\u8c61\u662f\u5bf9\u8bc1\u660e\u548c\u8ba1\u7b97\u8fd9\u4e24\u4e2a\u76f4\u89c2\u6982\u5ff5\u8fdb\u884c\u7b26\u53f7\u5316\u4ee5\u540e\u7684\u5f62\u5f0f\u7cfb\u7edf\u3002\u6570\u7406\u903b\u8f91\u662f\u6570\u5b66\u57fa\u7840\u7684\u4e00\u4e2a\u4e0d\u53ef\u7f3a\u5c11\u7684\u7ec4\u6210\u90e8\u5206\u3002\u867d\u7136\u540d\u79f0\u4e2d\u6709\u903b\u8f91\u4e24\u5b57\uff0c\u4f46\u5e76\u4e0d\u5c5e\u4e8e\u5355\u7eaf\u903b\u8f91\u5b66\u8303\u7574\u3002
\u6570\u7406\u903b\u8f91\u5305\u62ec\u547d\u9898\u6f14\u7b97\u3001\u8c13\u8bcd\u6f14\u7b97\u548c\u516c\u7406\u5316\u96c6\u5408\u8bba\u3002\u5176\u4e2d\u96c6\u5408\u8bba\u662f\u6570\u5b66\u5404\u5206\u652f\u7684\u57fa\u7840\u3002\u4f46\u6ca1\u6709\u547d\u9898\u6f14\u7b97\u548c\u8c13\u8bcd\u6f14\u7b97\u7684\u77e5\u8bc6\uff0c\u53c8\u65e0\u6cd5\u7814\u7a76\u548c\u53d1\u5c55\u96c6\u5408\u8bba\u3002\u4e0d\u8fc7\uff0c\u5982\u679c\u4e0d\u662f\u4e13\u653b\u6570\u5b66\u7684\uff0c\u53ea\u9700\u8981\u6734\u7d20\u96c6\u5408\u8bba\u7684\u76ae\u6bdb\u7684\u4eba\uff0c\u662f\u4e0d\u5fc5\u6df1\u5165\u5230\u6570\u7406\u903b\u8f91\u4e2d\u53bb\u7684\u3002\u5927\u591a\u6570\u7406\u5de5\u79d1\u5b66\u751f\u90fd\u4e0d\u7528\u5b66\u4e60\u547d\u9898\u6f14\u7b97\u548c\u8c13\u8bcd\u903b\u8f91\uff0c\u6216\u8005\u53ea\u662f\u70b9\u5230\u4e3a\u6b62\u800c\u5df2\u3002
一般来说，元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学是一种用来研究数学和数学哲学的数学。“数学的数学”是于19世纪初由通常的数学分离出来的，它最初研究的对象是在所谓的数学危机。将二者混为一谈会导致一些矛盾，典型例子有理查兹悖论。
绛旓細涓鑸潵璇达紝鍏冩暟瀛鏄竴绉嶅皢鏁板浣滀负浜虹被鎰忚瘑鍜屾枃鍖栧浣撶殑绉戝鎬濈淮鎴栫煡璇嗐傛洿杩涗竴姝ユ潵璇达紝鍏冩暟瀛︽槸涓绉嶇敤鏉ョ爺绌舵暟瀛﹀拰鏁板鍝插鐨勬暟瀛︺傗滄暟瀛︾殑鏁板鈥濇槸浜19涓栫邯鍒濈敱閫氬父鐨勬暟瀛﹀垎绂诲嚭鏉ョ殑锛屽畠鏈鍒濈爺绌剁殑瀵硅薄鏄湪鎵璋撶殑鏁板鍗辨満銆傚皢浜岃呮贩涓轰竴璋堜細瀵艰嚧涓浜涚煕鐩撅紝鍏稿瀷渚嬪瓙鏈夌悊鏌ュ吂鎮栬銆
绛旓細闆嗗悎璁哄拰鏁板鍒嗘瀽鍦ㄤ竴瀹氭剰涔変笂鏄滄棤绌风殑浜ゅ搷涔愨濓紝鍥犱箣蹇呴』鍦ㄦ眰妯″瀷娉曞锛岃娉曡璇佸畠浠殑涓鑷存с備负姝ゅ笇灏斾集鐗规彁鍑轰竴涓柟妗堬紝杩欐柟妗堟槸锛氬皢鍖呭惈瀹炴棤绌风殑鏁板鐞嗚缁勬垚涓涓畬鍏ㄥ舰寮忓寲鐨勫叕鐞嗙郴缁燂紝鐢紙涓嶅亣瀹氬疄鏃犵┓鐨勶級鏈夌┓鏂规硶鏉ョ爺绌舵鍏悊绯荤粺鍐呯殑璇佹槑锛屽鑳芥柇瀹氭绉嶈瘉鏄庝笉浼氬鑷閫昏緫鐭涚浘锛屽垯姝ょ郴缁熺殑涓鑷...
绛旓細涓庡笇灏斾集鐗逛笉鍚岋紝浠栨兂鍒嗕负涓や釜姝ラ杩涜锛屽厛鐢鏈夌┓鏂规硶璇佹槑鏁拌涓鑷达紝鐒跺悗鍐嶇敤鏁拌鏉ヨ璇佸垎鏋愮殑涓鑷存с傚湪鏁拌鏂归潰浠栧緢蹇緱鍒板喅瀹氭х粨鏋滐紝浜1931骞村彂琛ㄣ娿鏁板鍘熺悊銆夊強鏈夊叧绯荤粺涓殑褰㈠紡涓嶅彲鍒ゅ畾鍛介銆嬩竴鏂囷紝姝ゆ枃鍖呮嫭涓や釜钁楀悕瀹氱悊銆傛寜鐓х涓涓嶅畬鍏ㄦу畾鐞嗭紝涓涓寘鎷垵绛夋暟璁哄拰涓闃閫昏緫鐨褰㈠紡绯荤粺S锛屽鏋滀竴...
绛旓細鏁扮悊閫昏緫涓鐨勬湁绌锋柟娉鏄竴绉嶈兘琛岀殑鐞嗚銆傝兘琛屾柟娉曞彲浠ヨ鏄満姊扮殑杩囩▼锛屼篃灏辨槸鏍规嵁棰勫厛缁欏畾鐨勮鍒欑敤鏈夌┓姝ラ鍙互瀹屾垚鐨勩傗滈鍏堢粰瀹氱殑瑙勫垯鈥濆拰鏈烘杩囩▼閮芥槸鐩磋姒傚康锛屽浜庡畠浠繀椤绘湁绮剧‘鐨鏁板鎻忚堪銆傛牴鎹甁.鑹惧皵甯冩湕(1908锝1931)1931骞寸殑寤鸿锛屽摜寰峰皵浜1934骞存彁鍑轰竴鑸掑綊浣滀负鑳借鎬х殑瀹氫箟锛堣鑳借鎬у拰涓...
绛旓細甯屽皵浼壒鏂规鍙嶆槧浜30骞翠唬鍓鏁板鍩虹鐨勪簤璁紝鐩殑鏄敤鏈夌┓鏂规硶鐮旂┒鍖呮嫭閫昏緫鍜屽彜鍏告暟瀛︾殑褰㈠紡绯荤粺鐨勫厓閫昏緫鎬ц川锛岀壒鍒槸涓鑷存ч棶棰樸傚湪1928锝1936骞村唴涓昏閫氳繃鍝ュ痉灏旂殑宸ヤ綔锛屾闈㈡垨鍙嶉潰鍦板緱鍒颁簡鍑犱釜鏈閲嶈鍩虹鐞嗚鐨勮В绛斻傚湪鏂规硶璁烘柟闈㈡暟瀛﹀湴绮剧‘鍦版弿杩颁簡鐩磋鐨勬満姊拌繃绋嬶紝鎺ㄥ姩浜嗛掑綊鍑芥暟璁虹殑鐮旂┒锛屼负鏁扮悊閫昏緫鍙戝睍...
绛旓細30骞翠唬鍚庢湡鏁扮悊閫昏緫杩涘叆鍙戝睍鐨勭涓夐樁娈点傝瘉鏄庤灏界鏈兘杈惧埌棰勬湡鐩殑锛鍏冩暟瀛鍗磋幏寰椾赴瀵屾垚鏋溿傜敱浜庝娇鐢ㄦ剤鐩婂鍔犵殑鏁板宸ュ叿锛岀爺绌跺璞′篃澶у涓烘暟瀛︽濈淮鍜屾暟瀛﹀熀纭闂锛鏁板閫昏緫宸叉垚涓烘暟瀛﹀ぇ瀹跺涵鐨勬垚鍛樸傜洰鍓嶅叾涓績鍐呭澶ц嚧鍙互鍐嶅垎涓 5涓儴鍒嗭細璇佹槑璁恒侀泦鍚堣銆侀掑綊璁恒佹ā鍨嬭鍜屽悇绉嶉昏緫绯荤粺鐨勭爺绌躲傚墠 4涓...
绛旓細灏嗙涓绉嶆暟瀛︾悊璁哄舰寮忓寲,鏋勬垚涓涓舰寮忕郴缁,鎶婄洿瑙傛暟瀛︾悊璁轰腑鐨勫熀鏈蹇佃浆鎹负褰㈠紡绯荤粺涓殑鍒濆绗﹀彿,鍛介杞崲涓虹鍙峰叕寮,鎺ㄦ紨瑙勫垯杞崲涓虹鍙峰叕寮忎箣闂寸殑鍙樺舰鍏崇郴,璇佹槑杞崲涓虹鍙峰叕寮鐨勬湁绌搴忓垪;3. 鏄弿杩板拰鐮旂┒绗簩绉嶆暟瀛︾悊璁虹殑,绉颁负鍏冩暟瀛銆佽瘉鏄庤鎴栧厓鐞嗚銆傚厓鏁板鏄互褰㈠紡绯荤粺涓虹爺绌跺璞＄殑涓闂ㄦ柊鏁板,瀹冨寘鎷褰㈠紡...
绛旓細鍏悊鍖鏂规硶,閫昏緫婕旂畻,璇佹槑璁,绗笁闃舵:鐮旂┒閫昏緫绯荤粺鐨勫畬鍏ㄦ,鍗忚皟鎬,璁＄畻鏈虹悊璁虹瓑1931骞村摜寰峰皵鍙戣〃涓嶅畬澶囨у畾鐞嗚嚦浠.鏈樁娈鏁扮悊閫昏緫鐨涓昏鍐呭澶ц嚧鍙互鍒嗕负浜斾釜鏂归潰:閫昏緫婕旂畻,璇佹槑璁,鍏悊闆嗗悎璁,閫掑綊璁,妯″瀷璁,鏁板鑳屾櫙:闆嗗悎璁(1870s),闆嗗悎璁烘槸鍏充簬鏃犵┓闆嗗悎鍜岃秴绌鏁鐨勬暟瀛鐞嗚.鏁板閲岄亣鍒扮殑鏃犵┓鏈:鏃犵┓杩囩▼,鏃犵┓灏...
绛旓細褰撹瘉鏄庝竴涓暟瀛﹀懡棰樻纭椂锛屽繀椤荤粰鍑哄畠鐨勬瀯閫鏂规硶锛屽惁鍒欏氨鏄鏃犳剰涔夌殑锛岀洿瑙変富涔夎涓哄彜鍏搁昏緫鏄粠鏈夌┓闆嗗悎鍙婂叾瀛愰泦鎶借薄鍑烘潵鐨勶紝鎶婂畠搴旂敤浜庢棤绌锋暟瀛灏卞繀鐒跺紩璧风煕鐩俱備粬浠弽瀵瑰湪鏃犵┓闆嗗悎涓娇鐢ㄦ帓涓緥銆備粬浠笉鎵胯瀹炴棤绌蜂綋锛岃涓烘棤绌锋槸娼滃湪鐨勶紝鍙笉杩囨槸鏃犻檺澧為暱鐨勫彲鑳芥с傚彲鏋勯犳у鏁扮悊閫昏緫鍙璁＄畻鎶鏈殑鍙戝睍鏈...
绛旓細鍙ゅ吀褰㈠紡閫昏緫鍖呮嫭鍑犵甯歌鐨勬紨缁庢帹鐞嗗拰鏈绠鍗曠殑閲忚瘝鐞嗚锛屼篃浣跨敤涓浜涚壒鏈夌鍙枫傚畠娌℃湁鎺㈣鍏崇郴閫昏緫鍜屽叕鐞嗙郴缁熺殑閫昏緫鎬ц川銆傝嚜17涓栫邯鍚庢湡G.W.鑾卞竷灏艰尐璧锋槸鏁扮悊閫昏緫鐨钀岃娊鍜屽彂灞曟椂鏈燂紝鏄舰寮忛昏緫鐨勭幇浠ｉ樁娈点傛暟鐞嗛昏緫浣跨敤澶ч噺鐨勭壒鍒惰〃鎰忕鍙凤紝鍦ㄤ笉鍚岄儴鍒嗗簲鐢ㄤ笉鍚岀▼搴鐨勬暟瀛︽柟娉銆
