数理逻辑史的哥德尔定理和过渡时期
\u6570\u5b66\u4e2d\u7684\u54e5\u5fb7\u5c14\u5b9a\u7406\u7a76\u7adf\u5bf9\u4e8e\u54ea\u4e9b\u6570\u5b66\u4f53\u7cfb\u662f\u6210\u7acb\u7684?\u5bf9\u4e8e\u4efb\u610f\u7684\u5305\u542b\u76ae\u4e9a\u8bfa\u516c\u7406\u7684\u6570\u5b66\u4f53\u7cfb\u6210\u7acb,\u4e5f\u5c31\u662f\u8bf4\u5bf9\u4e8e\u5305\u542b\u6240\u6709\u7b97\u672f\u7684\u4f53\u7cfb\u90fd\u6210\u7acb\u3002\u4f8b\u5b50\u7684\u8bdd,\u6bd4\u5982\u8bf4\u76ae\u4e9a\u8bfa\u7b97\u672f\u3001ZFC\u96c6\u5408\u8bba\u7b49\u7b49\u3002
\u91c7\u7eb3\u54e6
\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
希尔伯特方案反映了30年代前数学基础的争议,目的是用有穷方法研究包括逻辑和古典数学的形式系统的元逻辑性质,特别是一致性问题。在1928~1936年内主要通过哥德尔的工作,正面或反面地得到了几个最重要基础理论的解答。在方法论方面数学地精确地描述了直观的机械过程,推动了递归函数论的研究,为数理逻辑发展的第三阶段准备了条件。
绛旓細鍦1928锝1936骞村唴涓昏閫氳繃鍝ュ痉灏鐨勫伐浣滐紝姝i潰鎴栧弽闈㈠湴寰楀埌浜嗗嚑涓渶閲嶈鍩虹鐞嗚鐨勮В绛斻傚湪鏂规硶璁烘柟闈㈡暟瀛﹀湴绮剧‘鍦版弿杩颁簡鐩磋鐨勬満姊拌繃绋嬶紝鎺ㄥ姩浜嗛掑綊鍑芥暟璁虹殑鐮旂┒锛屼负鏁扮悊閫昏緫鍙戝睍鐨勭涓夐樁娈靛噯澶囦簡鏉′欢銆
绛旓細鍝ュ痉灏斿畾鐞嗗強鍏娣辫繙褰卞搷瑕佹繁鍏ョ悊瑙e摜寰峰皵瀹氱悊锛岄渶瑕佸叿澶囦竴瀹氱殑鏁扮悊閫昏緫鍜岄泦鍚堣鍩虹鐭ヨ瘑銆傝繖閲屼笉璇﹁堪缁嗚妭锛屽彧鍦ㄥ繀瑕佹椂鎻愪緵绠鍗曟杩般傛兂瑕佹繁鍏ヤ簡瑙o紝寤鸿鑷瀛︿範鐩稿叧璇剧▼浠ヨ幏寰楁洿娣卞眰娆$殑娲炲療銆傚摜寰峰皵瀹氱悊鐢变袱涓叧閿儴鍒嗙粍鎴愶紝鍏朵腑绗竴涓嶅畬澶囨у畾鐞嗗挨涓哄叧閿紝涓斿父甯稿紩鍙戣瑙c傝瀹氱悊鐨勪竴涓増鏈槓杩板涓嬶細濡傛灉涓涓...
绛旓細鍝ュ痉灏斿畾鐞鏄鏁扮悊閫昏緫涓殑涓涓畾鐞,1931骞村ゥ鍦板埄閫昏緫銆佹暟瀛﹀鍏嬪皵鐗.鍝ュ痉灏(Kurt Godel)鍙戠幇骞惰瘉鏄庣殑,杩欎釜瀹氱悊褰诲簳绮夌浜嗗笇灏斾集鐗圭殑褰㈠紡涓讳箟鐞嗘兂.涓虹悊瑙h繖涓瀹氱悊鍙婂叾鎰忎箟,闇瑕佺浉褰撶殑鏁扮悊閫昏緫鍜岄泦鍚堣鐭ヨ瘑.瑕佹妸杩欎簺棰勫鐭ヨ瘑閮藉湪杩欓噷鏁寸悊鍑烘潵,宸ヤ綔澶箒閲嶄簡,杩欎篃灏辨槸鎴戜竴鐩存病鏁㈠姩鎵嬪啓杩欑瘒涓滆タ鐨勫師鍥犱箣涓.杩欓噷浠嶇劧涔熶笉鎵撶畻璇...
绛旓細鍝ュ痉灏涓嶅畬鍏ㄦу畾鐞 鍝ュ痉灏旀槸寰峰浗钁楀悕鏁板瀹,涓嶅畬澶囨у畾鐞嗘槸浠栧湪1931骞存彁鍑烘潵鐨.杩欎竴鐞嗚浣挎暟瀛﹀熀纭鐮旂┒鍙戠敓浜嗗垝鏃朵唬鐨勫彉鍖,鏇存槸鐜颁唬閫昏緫鍙涓婂緢閲嶈鐨勪竴搴ч噷绋嬬.璇瀹氱悊涓濉旀柉鍩虹殑褰㈠紡璇█鐨勭湡鐞嗚,鍥剧伒鏈哄拰鍒ゅ畾闂,琚禐瑾変负鐜颁唬閫昏緫绉戝鍦ㄥ摬瀛︽柟闈㈢殑涓夊ぇ鎴愭灉. 鍝ュ痉灏旇瘉鏄庝簡浠讳綍涓涓舰寮忎綋绯,鍙鍖呮嫭浜嗙畝...
绛旓細鍝ュ痉灏斿畾鐞涓昏鍦ㄦ暟瀛﹂鍩熷唴鍙戞尌浣滅敤锛屽挨鍏舵槸鍦ㄦ暟璁轰腑锛屽畠鐨勫簲鐢ㄤ綋鐜板湪璇佹槑涓浜涘懡棰樻椂闇瑕佽秴鍑鸿嚜鐒舵暟鍏悊绯荤粺锛屾瘮濡傝瘉鏄庘滃摜寰峰反璧寽鎯斥濄傜劧鑰岋紝涓樺鐨勫畾鐞嗘彮绀轰簡鍖呭惈鑷劧鏁扮郴鐨勪换浣曞舰寮忎綋绯讳腑锛屽喅瀹氬懡棰樺彲璇佹х殑鏈夋晥鏂规硶鍙兘涓嶅瓨鍦紝杩欏己璋冧簡鏁板瀹跺疄璺电粡楠岀殑閲嶈鎬с傚敖绠″姝わ紝閫昏緫鎺ㄧ悊浠嶇劧鏈変环鍊硷紝瀹冭兘楠岃瘉...
绛旓細鍝ュ痉灏涓嶅畬澶瀹氱悊鏄細浠讳綍涓涓舰寮忕郴缁燂紝鍙鍖呮嫭浜嗙畝鍗曠殑鍒濈瓑鏁拌鎻忚堪锛岃屼笖鏄嚜娲界殑锛屽繀瀹氬寘鍚煇浜涚郴缁熷唴鎵鍏佽鐨勬柟娉曟棦涓嶈兘璇佹槑鐪熶篃涓嶈兘璇佷吉鐨勫懡棰樸傚湪鏁扮悊閫昏緫涓紝鍝ュ痉灏斾笉瀹屽瀹氱悊鏄摜寰峰皵浜1930骞磋瘉鏄庡苟鍙戣〃鐨勪袱鏉″畾鐞嗐傜畝鍗曞湴璇达紝绗竴鏉″畾鐞嗘寚鍑猴細浠讳綍涓涓浉瀹圭殑鏁板褰㈠紡鍖栫悊璁轰腑锛屽彧瑕佸畠寮哄埌瓒充互...
绛旓細鍝ュ痉灏斿畾鐞鎻ず浜嗕竴涓繁鍒荤殑鍝插瑙傜偣锛氬湪澶勭悊鐜板疄闂鏃讹紝鎴戜滑涓嶅緱涓嶅湪鏈夐檺鐨閫昏緫浣撶郴锛堝舰寮忛昏緫锛変笌澶嶆潅鐨勮京璇佹濈淮涔嬮棿杩涜閫夋嫨銆傝繖涓畾鐞嗚〃鏄庯紝鏃犺鏄嚜鐒剁晫杩樻槸浜虹被璁ょ煡锛岄兘钑村惈鐫鏈夐檺鎬у拰鐭涚浘鎬х殑鍙岄噸鐗规с傚綋鎴戜滑璇曞浘鐢ㄥ舰寮忛昏緫鍘诲垎鏋愪笘鐣岋紝鍙兘浼氶櫡鍏ュ眬闄愶紝鍥犱负浜嬬墿鐨勬湰璐ㄦ槸鏃犻檺澶嶆潅鐨勶紝杩欏彲鑳藉鑷存垜浠殑...
绛旓細姝ゅ锛鍝ュ痉灏杩樹粠浜嬪摬瀛﹂棶棰樼殑鐮旂┒銆備粬鐑》鏂肩敤鏁扮悊閫昏緫鐨鏂规硶鏉ュ垎鏋愬摬瀛﹂棶棰橈紝璁や负鍋ュ叏鐨勫摬瀛︽濇兂鍜屾垚鍔熺殑绉戝鐮旂┒瀵嗗垏鐩稿叧銆備粬鍦1967骞磋嚧涓浗鏁板瀹剁帇娴╃殑淇′腑锛岃嚜绉颁负鈥滃瑙備富涔夆濓紝骞惰浠栫殑瀹㈣涓讳箟瑙傜偣瀵规柤浠栫殑閫昏緫鐮旂┒鏉ヨ鏄牴鏈殑銆1951骞磋幏鐖卞洜鏂潶鍕嬬珷銆傚摜寰峰皵涓鐢熷彂琛ㄨ钁椾笉澶氥備粬鍙戣〃鏂1931骞寸殑...
绛旓細鍦ㄨ瘉鏄庣浜屼釜涓嶅畬鍏ㄦ瀹氱悊鏃,鍝ュ痉灏鐨勫熀鏈璇佹槸,鐢变簬鈥滅郴缁烻涓鑷粹濆彲鍦⊿涓〃绀,璁颁负Con(S)锛屽悓鏃 A鍗宠〃绀衡淎鍦⊿涓笉鍙瘉鈥濓紝鍥犱箣绗竴涓嶅畬鍏ㄦу畾鐞嗗彲鍦 S涓〃绀轰负鈹淐on(S)鈫扐浠庝互涓婂叕寮忓彲瑙,濡侰on(S)鍙瘉, 閭d箞灏辨湁鈹淎锛涜繖鏄剧劧涓庣涓涓嶅畬鍏ㄦу畾鐞嗙浉鐭涚浘锛屼笉鑳芥垚绔嬨傚洜姝わ紝绗簩涓嶅畬鍏ㄦ...
绛旓細鍝ュ痉灏浜1929骞寸瀹屾垚骞朵簬1930骞村彂琛ㄤ簡鍗氬+璁烘枃鐨勪慨鏀圭銆閫昏緫璋撹瘝婕旂畻鍏悊鐨勫畬鍏ㄦс嬶紝鍏朵富瑕佸唴瀹规槸璇佹槑锛氫竴闃惰皳璇嶆紨绠楃殑鏈夋晥鍏紡鐨嗗彲璇併傚悓鏃朵篃璇佹槑浜嗙揣鑷存瀹氱悊鍜鍕掓枃娴峰 -鍙稿瘒浼﹀畾鐞嗭紙瑙佸徃瀵囦鸡瀹氱悊锛夈備粬鍦ㄨ瘉鏄庨噷浣跨敤浜咼.鍏嬪凹甯屾棤绌峰紩鐞嗗拰鍙ゅ吀鎺掍腑寰嬨