ÊýÀíÂß¼­

ÔÙ°æÇ°ÑÔ Ç°ÑÔ ÒýÑÔ 0 Ô¤±¸ÖªÊ¶ 0.1 ¼¯ÂÛ³õµÈ¸ÅÄî 0.2 Peano×ÔÈ»Êý¹«Àí 0.3 ¿ÉÊý¼¯ 1 ÃüÌâÑÝËã 1.1 ÃüÌâÁª½á´ÊÓëÕæÖµ±í 1.2 ÃüÌâÑÝËãµÄ½¨Á¢ 1.2.1 ÃüÌâÑÝË㹫ʽ¼¯ 1.2.2 ÃüÌâÑÝËãL 1.2.3 ÑÝÒﶨÀí 1.2.4 ·´Ö¤ÂÉÓë¹éÃýÂÉ 1.2.5 ÎöÈ¡£¬ºÏÈ¡ÓëµÈÖµ 1.3 ÃüÌâÑÝËãµÄÓïÒå 1.3.1 ÕæÖµº¯Êý 1.3.2 ¸³ÖµÓëÓïÒåÍÆÂÛ 1.4 ÃüÌâÑÝËãLµÄ¿É¿¿ÐÔÓëÍêÈ«ÐÔ 1.5 ÃüÌâÑÝËãµÄÆäËû¿ÎÌâ 1.5.1 µÈÖµ¹«Ê½Óë¶ÔżÂÉ 1.5.2 ÎöÈ¡·¶Ê½ÓëºÏÈ¡·¶Ê½ 1.5.3 ÔËËãµÄÍêÈ«×é 1.5.4 Ó¦ÓþÙÀý 2 ν´ÊÑÝËã 2.1 ν´ÊÑÝËãµÄ½¨Á¢ 2.1.1 ÏîÓëÔ­×Ó¹«Ê½ 2.1.2 ν´ÊÑÝË㹫ʽ¼¯ 2.1.3 ν´ÊÑÝËãK 2.1.4 ÆäËû¿ÎÌ⣺¶ÔżÂÉÓëÇ°Êø·¶Ê½ 2.2 ν´ÊÑÝËãµÄÓïÒå 2.2.1 ν´ÊÑÝËãKµÄ½âÊÍÓòÓëÏî½âÊÍ 2.2.2 ¹«Ê½µÄ¸³Öµº¯Êý 2.2.3 ±ÕʽµÄÓïÒåÌØÕ÷ 2.2.4 ÓïÒåÍÆÂÛÓëÓÐЧʽ 2.3 KµÄ¿É¿¿ÐÔ 2.4 KµÄÍêÈ«ÐÔ 3 ÐÎʽËãÊõÓëµÝ¹éº¯Êý 3.1 ´øµÈ´ÊµÄν´ÊÑÝËã 3.2 ÐÎʽËãÊõKN 3.3 ¿É±íʾº¯ÊýÓë¹Øϵ 3.3.1 ʲôÊǿɱíʾ 3.3.2 º¯ÊýµÄ¸´ºÏºÍ¦ÌËã×Ó±£³Ö¿É±íʾÐÔ 3.4 µÝ¹éº¯Êý 3.4.1 µÝ¹éº¯ÊýµÄ°ã¶¨Òå 3.4.2 µÝ¹é¹ØϵºÍµÝ¹é¼¯ 3.5 µÝ¹éº¯ÊýµÄ¿É±íʾÐÔ 3.6 ¶ÔKNµÄµÝ¹é·ÖÎö 3.6.1 ¶Á·¨ÒýÀí 3.6.2 GodelÊý 3.6.3 ¹ý³ÌÖµµÝ¹é 3.6.4 KNµÄЩµÝ¹éÐÔÖÊ 4 ²»Í걸ÐÔ¶¨Àí 4.1 Godel²»Í걸ÐÔ¶¨Àí 4.1.1 Godel¶¨Àí 4.1.2 Godel-Rosser¶¨Àí 4.1.3 ChurchÂÛÌâ 4.1.4 ¹ØÓÚ²»Í걸ÐÔ¶¨ÀíµÄЩÌÖÂÛ 4.1.5 GiSdel¶þ²»Í걸ÐÔ¶¨Àí 4.2 ÐÎʽËãÊõµÄ²»¿ÉÅж¨ÐÔ¶¨Àí 4.3 µÝ¹é¿Éö¾Ù¼¯ÓëËãÊõ¼¯ 4.3.1 ¿ÉÖ¤¹«Ê½¼¯µÄµÝ¹é¿Éö¾ÙÐÔ 4.3.2 µÝ¹é¿Éö¾Ù¼¯µÄËãÊõ¿É¶¨ÒåÐÔ 4.3.3 Õ湫ʽ¼¯µÄ·ÇËãÊõ¿É¶¨ÒåÐÔ 4.4 Tufing»úÓëTuringÂÛÌâ 4.5 ÈËÓë»úÆ÷ ²¿·ÖÁ·Ï°´ð°¸»òÌáʾ ·ûºÅ»ã¼¯ ²Î¿¼ÎÄÏ×