数理逻辑的发展
\u5982\u4f55\u5f00\u53d1\u81ea\u8eab\u7684\u6570\u7406\u903b\u8f91\u667a\u80fd\u5443....
\u5f00\u53d1??
\u4f60\u522b\u8fd9\u4e48\u4e27\u6c14,\u8fd9\u79cd\u4e1c\u897f\u4eba\u4eba\u90fd\u6709\u7684
\u53ea\u4e0d\u8fc7\u50cf\u667a\u5546\u4e00\u6837
\u5148\u5929\u5c31\u5206\u9ad8\u548c\u4f4e
\u544a\u8bc9\u4f60\u4e2a\u65b9\u6cd5,\u4e0d\u8fc7\u65f6\u95f4\u53ef\u80fd\u6bd4\u8f83\u957f,\u56e0\u4eba\u800c\u5f02\u561b
\u9996\u5148,\u77e5\u9053\u798f\u5c14\u6469\u65af\u5427?
\u591a\u770b\u90a3\u4e2a\u4e66,\u5728\u770b\u4e66\u7684\u8fc7\u7a0b\u4e2d,(\u8981\u7ec6\u7ec6\u7684\u770b)\u4e0d\u65ad\u601d\u8003\u4f5c\u6848\u624b\u6cd5,\u7136\u540e\u987a\u7740\u798f\u5c14\u6469\u65af\u7684\u601d\u8def\u53bb\u89e3\u51b3\u6848\u4ef6(\u8fd9\u662f\u6bd4\u8f83\u96be\u7684\u65b9\u6cd5\u4e86,\u56e0\u4e3a\u4f60\u8981\u638c\u63e1\u8bb8\u591a\u77e5\u8bc6)
\u540d\u4fa6\u63a2\u67ef\u5357(\u6211\u4e0d\u60f3\u8bf4\u8fd9\u4e2a\u7684= =)\u548c\u4e0a\u9762\u7684\u4e00\u6837,\u8fd9\u4e0d\u8fc7\u8fd9\u4e2a\u5f88\u7b80\u5355,\u4f46\u4f60\u5927\u6982\u8981\u770b\u5f88\u591a\u904d\u4e86~~
\u4e54\u6cbb\u897f\u59c6\u519c\u7684\u4e5f\u5f88\u4e0d\u9519,\u90a3\u4e2a\u53ef\u4ee5\u6162\u6162\u5f97,\u8fb9\u770b\u8fb9\u63a8\u7406~~\u6211\u5c31\u662f\u4ece\u8fd9\u4e2a\u5f00\u59cb\u770b\u7684
\u4e39\u5e03\u6717(\u8bf4\u5b9e\u8bdd\u6211\u4e0d\u592a\u559c\u6b22\u4ed6)\u770b\u4ed6\u7684\u4e66\u5f88\u523a\u6fc0,\u5f53\u7136\u60ca\u5fc3\u52a8\u9b44,\u5982\u679c\u662f\u5355\u7eaf\u4e3a\u4e86\u653b\u63a8\u7406\u80fd\u529b\u7684\u8bdd,\u4e0d\u5efa\u8bae\u770b\u8fd9\u4e2a
\u8fd9\u662f\u4e66\u7684\u65b9\u9762.....
\u8fd8\u6709\u5c31\u662f\u505a\u6570\u72ec\u6e38\u620f(\u5927\u529b\u63a8\u8350\u8fd9\u4e2a,\u57fa\u7840\u65b9\u9762\u4f1a\u6709\u5927\u5927\u7684\u63d0\u9ad8)
\u4e0b[\u56fd\u9645\u8c61\u68cb],\u7edd\u4e0d\u662f\u4e2d\u56fd\u8c61\u68cb\u6216\u56f4\u68cb!!\u56fd\u9645\u8c61\u68cb\u4e0b\u597d\u4e86\u5c31\u662f\u63a8\u7406\u9ad8\u624b
\u5176\u5b9e\u8fd8\u6709\u5f88\u591a\u65b9\u6cd5,\u539f\u8c05\u6211\u5f97\u53bb\u5403\u996d\u4e86TOT
\u4e0d\u8fc7\u4f60\u53ef\u4ee5\u5355\u72ecPM\u6211~~
\u6211\u6709\u8bb8\u591a\u5f88\u6709\u6548\u7684\u65b9\u6cd5(\u5efa\u8bae\u4f60\u8fd8\u662f\u5148\u628a\u8fd9\u4e9b\u505a\u597d)~~
\u795d\u4f60\u597d\u8fd0!!~`
\u8fd8\u6709,\u6ca1\u6709\u4e00\u4e2a\u4eba\u662f\u7b28\u7684~~!!\u76f8\u4fe1\u81ea\u5df1~~!!\u52a0\u6cb9\u2196(^\u03c9^)\u2197
\u6700\u524d\u9762\u7684\u90a3\u4e2a\u4eba\u542c\u89c1\u540e\u9762\u4e24\u4e2a\u4eba\u90fd\u8bf4\u4e86\u201c\u4e0d\u77e5\u9053\u201d\uff0c\u4ed6\u5047\u8bbe\u81ea\u5df1\u6234\u7684\u662f\u9ed1\u5e3d\u5b50\uff0c\u4e8e\u662f\u4e2d\u95f4\u90a3\u4e2a\u4eba\u5c31\u770b\u89c1\u4ed6\u6234\u7684\u9ed1\u5e3d\u5b50\u3002\u90a3\u4e48\u4e2d\u95f4\u90a3\u4e2a\u4eba\u4f1a\u4f5c\u5982\u4e0b\u63a8\u7406\uff1a\u201c\u5047\u8bbe\u6211\u6234\u4e86\u9ed1\u5e3d\u5b50\uff0c\u90a3\u4e48\u6700\u540e\u90a3\u4e2a\u4eba\u5c31\u4f1a\u770b\u89c1\u524d\u9762\u4e24\u9876\u9ed1\u5e3d\u5b50\uff0c\u4f46\u603b\u5171\u53ea\u6709\u4e24\u9876\u9ed1\u5e3d\u5b50\uff0c\u4ed6\u5c31\u5e94\u8be5\u660e\u767d\u4ed6\u81ea\u5df1\u6234\u7684\u662f\u9ed1\u5e3d\u5b50\uff0c\u73b0\u5728\u4ed6\u8bf4\u4e0d\u77e5\u9053\uff0c\u5c31\u8bf4\u660e\u6211\u6234\u4e86\u9ed1\u5e3d\u5b50\u8fd9\u4e2a\u5047\u5b9a\u662f\u9519\u7684\uff0c\u6240\u4ee5\u6211\u6234\u4e86\u9ed1\u5e3d\u5b50\u3002\u201d\u95ee\u9898\u662f\u4e2d\u95f4\u90a3\u4eba\u4e5f\u8bf4\u4e0d\u77e5\u9053\uff0c\u6240\u4ee5\u6700\u524d\u9762\u90a3\u4e2a\u4eba\u77e5\u9053\u81ea\u5df1\u6234\u9ed1\u5e3d\u5b50\u7684\u5047\u5b9a\u662f\u9519\u7684\uff0c\u6240\u4ee5\u4ed6\u63a8\u65ad\u51fa\u81ea\u5df1\u6234\u4e86\u767d\u5e3d\u5b50
数理逻辑这门学科建立以后，发展比较迅速，促进它发展的因素也是多方面的。比如，非欧几何的建立，促使人们去研究非欧几何和欧氏几何的无矛盾性。
集合论的产生是近代数学发展的重大事件，但是在集合论的研究过程中，出现了一次称作数学史上的第三次大危机。这次危机是由于发现了集合论的悖论引起。什么是悖论呢？悖论就是逻辑矛盾。集合论本来是论证很严格的一个分支，被公认为是数学的基础。
1903年，英国唯心主义哲学家、逻辑学家、数学家罗素却对集合论提出了以他名字命名的“罗素悖论”，这个悖论的提出几乎动摇了整个数学基础。
罗素悖论中有许多例子，其中一个很通俗也很有名的例子就是“理发师悖论”：某乡村有一位理发师，有一天他宣布：只给不自己刮胡子的人刮胡子。那么就产生了一个问题：理发师究竟给不给自己刮胡子？如果他给自己刮胡子，他就是自己刮胡子的人，按照他的原则，他又不该给自己刮胡子；如果他不给自己刮胡子，那么他就是不自己刮胡子的人，按照他的原则，他又应该给自己刮胡子。这就产生了矛盾。
悖论的提出，促使许多数学家去研究集合论的无矛盾性问题，从而产生了数理逻辑的一个重要分支——公理集合论。
非欧几何的产生和集合论的悖论的发现，说明数学本身还存在许多问题，为了研究数学系统的无矛盾性问题，需要以数学理论体系的概念、命题、证明等作为研究对象，研究数学系统的逻辑结构和证明的规律，这样又产生了数理逻辑的另一个分支——证明论。
数理逻辑新近还发展了许多新的分支，如递归论、模型论等。递归论主要研究可计算性的理论，它和计算机的发展和应用有密切的关系。模型论主要是研究形式系统和数学模型之间的关系。
数理逻辑近年来发展特别迅速，主要原因是这门学科对于数学其它分支如集合论、数论、代数、拓扑学等的发展有重大的影响，特别是对新近形成的计算机科学的发展起了推动作用。反过来，其他学科的发展也推动了数理逻辑的发展。
正因为它是一门新近兴起而又发展很快的学科，所以它本身也存在许多问题有待于深入研究。现在许多数学家正针对数理逻辑本身的问题进行研究。
总之，这门学科的重要性已经十分明显，它已经引起了很多人的关心和重视。
绛旓細銆愮瓟妗堛戯細绛旀锛欳 瑙ｆ瀽锛2宀佸崐-3宀侊紝浠ョ墿閲忕墿銆傗5鈥濅互鍐呯殑鐐规暟锛屾噦寰楃墿浣撶殑閰嶅銆佸垎绫汇佸綊绫汇佸強鐗╀綋鐩镐簰涔嬮棿鐨閫昏緫鍏崇郴锛屽苟鑳介氳繃鎺掑垪銆佹帓搴忔壘鍒般佹荤粨鍑轰簨鐗╃殑鍐呭湪瑙勫緥銆
绛旓細銆愮瓟妗堛戯細鏁板鍩虹 瑙ｆ瀽锛氱幇浠ｆ暟鐞嗛昏緫浠庡唴瀹瑰埌鏂规硶锛屼富瑕佹槸鍦20涓栫邯鍏充簬鏁板鍩虹鐨勪簤璁轰腑鍙戝睍璧锋潵鐨勩傜幇浠鏁扮悊閫昏緫鐨鍥涘ぇ鍒嗘敮鏄細鍏悊鍖栭泦鍚堣銆佽瘉鏄庤銆佹ā鍨嬭銆侀掑綊璁恒
绛旓細鐮旂┒琛ㄦ槑锛屽皬瀛︽暟瀛﹀ソ鐨勫瀛愶紝鍙互杞绘澗搴斿涓鐨勫ぇ閮ㄥ垎鏁板杩囩▼銆傚洜涓哄瀛愭濈淮娲昏穬锛岄昏緫鎬濈淮寮恒傚ぇ閮ㄥ垎瀛╁瓙鍦ㄧ涓娆″涔犳濈淮鏁板鏃跺厖婊′簡鍏磋叮鍜屼俊蹇冿紝浣嗛殢鐫璇剧▼鐨勬繁鍏ワ紝闅惧害瓒婃潵瓒婂ぇ銆傝繖鏃讹紝鏄瀛╁瓙鎰忓織鍔涚殑鑰冮獙銆1.寮鍙戝皬瀹濆疂鏁扮悊閫昏緫鐨勫彂灞瑕佷粠灏忓紑濮嬶紝鏁扮悊閫昏緫瀵瑰瀛愮殑鎴愰暱涔熷緢鏈夊府鍔┿傚鏋滀綘鐨勫瀛愭湁...
绛旓細鐜颁唬閫昏緫瀛︽槸鐩稿浜庣敱浜氶噷澹寰峰缓绔嬶紝缁忚繃涓笘绾簣浠ュ畬鍠勶紝鍖呮嫭杩戜唬褰掔撼閫昏緫鍦ㄥ唴鐨勪紶缁熼昏緫瀛﹁岃█鐨勩傜幇浠ｉ昏緫瀛﹀箍娉涢噰鐢ㄦ暟瀛︽柟娉曪紝鍏剁爺绌剁殑骞垮害鍜屾繁搴﹂兘澶уぇ瓒呰繃浜嗕紶缁熼昏緫瀛︺傜幇浠ｉ昏緫瀛︾殑浜х敓鍜屽彂灞曟爣蹇楃潃閫昏緫瀛﹁繘鍏ヤ簡鏂鐨勫彂灞闃舵銆傜幇浠ｉ昏緫涓昏鎸鏁扮悊閫昏緫鍜屽湪鏁扮悊閫昏緫鍩虹涓婂彂灞曡捣鏉ョ殑閫昏緫銆傛暟鐞嗛昏緫鏄爺绌...
绛旓細閫昏緫瀛﹀凡鏈変簩鍗冨骞寸殑鍘嗗彶锛屽叾鍙戞簮鍦版湁涓変釜锛屽嵆鍙や唬涓浗銆佸彜鍗板害鍜屽彜甯岃厞銆傛槬绉嬫垬鍥芥椂鏈熷氨浜х敓浜嗙О涔嬩负鈥滃悕瀛︹濄佲滆京瀛︹濈殑閫昏緫瀛﹁銆傘婅崁瀛惵锋鍚嶃嬪挨鍏舵槸銆婂ⅷ缁忋嬮泦鍏跺ぇ鎴愶紝绯荤粺鍦扮爺绌朵簡鍚嶃佽緸銆佽銆佽京绛夌浉褰撲簬璇嶉」銆佸懡棰樸佹帹鐞嗕笌璁鸿瘉涔嬬被鐨勫璞★紝閫昏緫鎬濇兂鍗佸垎涓板瘜锛屼絾鐢变簬涓庝竴瀹氱殑鏀挎不銆侀亾寰风悊璁...
绛旓細绗竴涓珮宄板嚭鐜颁簬鍏厓鍓4涓栫邯鑷冲叕鍏冨墠3涓栫邯锛岃繖涓椂鏈熺殑杈夌厡鎴愬氨鏄簹閲屽＋澶氬痉閫昏緫涓庢柉澶氫簹閫昏緫锛涚浜屼釜楂樺嘲鍑虹幇浜12涓栫邯鑷14涓栫邯锛屽嵆涓笘绾閫昏緫鐨榧庣洓鏈燂紝姝ゆ椂鏈熷彇寰椾簡璁稿閲嶈鎴愭灉锛涚涓変釜楂樺嘲鏄粠19涓栫邯鏅氭湡寮濮嬬殑鏁扮悊閫昏緫鏃舵湡銆傝繖浜涗汉鐨勫伐浣滃瀹氬拰濉戦犱簡瑗挎柟閫昏緫鍙戝睍鍒颁粖澶╃殑褰㈣薄銆備唬琛ㄤ汉鐗╋細浜氶噷澹寰凤紝...
绛旓細鎴堢壒鍔陈峰紬闆锋牸(Gottlob Frege 1848-1925骞)锛屽痉鍥借憲鍚嶆暟瀛﹀锛岃舵嬁澶у鏁板鏁欐巿銆備粬涓鐢熻嚧鍔涗簬瀵规暟瀛﹀拰鏁扮悊閫昏緫鐨勫紑鍒涘拰鐮旂┒.鍝ュ痉灏(Kurt Godel 1906-1978)锛屽ゥ鍦板埄鏁板瀹躲侀昏緫瀛﹀锛屽鏁板銆鏁扮悊閫昏緫鐨勫彂灞鍋氬嚭杩囦笉鍙（鐏殑璐＄尞銆傚笇灏斾集鐗(David Hilbert 1862-1943)锛屽痉鍥芥暟瀛﹀銆侀昏緫瀛﹀锛屽湪鏁板鐨勮澶...
绛旓細鍔涘銆佺墿鐞嗗鍚屾暟瀛鐨勫彂灞濮嬬粓鏄簰鐩稿奖鍝嶄簰鐩镐績杩涚殑,鐗瑰埆鏄浉瀵硅涓庨噺瀛愬姏瀛︽帹鍔ㄤ簡寰垎鍑犱綍涓庢硾鍑藉垎鏋愮殑鎴愰暱.姝ゅ鍦19涓栫邯杩樺彧鐢ㄥ埌涓娆℃柟绋嬬殑鍖栧鍜屽嚑涔庝笌鏁板鏃犵紭鐨勭敓鐗╁,閮藉凡瑕佺敤鍒版渶鍓嶆部鐨勪竴浜涙暟瀛︾煡璇. 鍗佷節涓栫邯鍚庢湡,鍑虹幇浜嗛泦鍚堣,杩樿繘鍏ヤ簡涓涓壒鍒ゆх殑鏃朵唬,鐢辨鎺ㄥ姩浜鏁扮悊閫昏緫鐨褰㈡垚涓庡彂灞,涔熶骇鐢熶簡鎶婃暟瀛︾湅...
绛旓細鎵璋撴暟瀛︽柟娉曞氨鏄寚鏁板閲囩敤鐨勪竴鑸柟娉曪紝鍖呮嫭浣跨敤绗﹀彿鍜屽叕寮忥紝宸叉湁鐨勬暟瀛︽垚鏋滃拰鏂规硶锛岀壒鍒槸浣跨敤褰㈠紡鐨勫叕鐞嗘柟娉曘傜敤鏁板鐨勬柟娉曠爺绌閫昏緫鐨绯荤粺鎬濇兂涓鑸拷婧埌鑾卞竷灏艰尐锛屼粬璁や负缁忓吀鐨勪紶缁熼昏緫蹇呴』鏀归犲拰鍙戝睍锛屾槸涔嬫洿涓虹簿纭拰渚夸簬婕旂畻銆傚悗浜哄熀鏈槸娌跨潃鑾卞竷灏艰尐鐨勬濇兂杩涜宸ヤ綔鐨勩傜畝鑰岃█涔嬶紝鏁扮悊閫昏緫灏辨槸绮剧‘鍖栥佹暟瀛...
绛旓細褰㈠紡閫昏緫銆佽京璇侀昏緫鍜鏁扮悊閫昏緫,閮芥槸浠庢蹇甸昏緫涓唤鍙戝嚭鏉ョ殑銆傚叾閬撶悊鏄,杈╄瘉閫昏緫銆佸舰寮忛昏緫鍜屾暟鐞嗛昏緫,閮芥槸浠庢蹇垫柟寮忕殑鎶借薄杩愪綔涓敓鎴愮殑銆 姒傚康閫昏緫 鏄蹇垫娊璞¤繍浣滅殑 鎬讳綋鏋舵瀯 , 褰㈠紡閫昏緫銆佽京璇侀昏緫鍜屾暟鐞嗛昏緫 鏄蹇垫娊璞¤繍浣滅殑 涓撻」鏋舵瀯 銆 涓銆佸舰寮忛昏緫 鈥斺 褰㈠紡閫昏緫鍦ㄨタ鏂瑰摬瀛﹀彶涓婂凡鏈変袱鍗冨骞寸殑鍘嗗彶浼犳壙鍜屽畬...
