¡@¡@¥j¤µ¤¤¥~¦³¤£¤ÖµÛ¦Wªº®¯½×¡A¥¦Ì¾_¾Ù¤FÅÞ¿è©M¼Æ¾Çªº°ò¦¡A¿Eµo¤F¤H̨Dª¾©Mºë±Kªº«ä¦Ò¡A§l¤Þ¤F¥j©¹¤µ¨Ó³\¦h«ä·Q®a©M·R¦nªÌªºª`·N¤O¡C¸Ñ¨M®¯½×ÃøÃD»Ýn³Ð³y©Êªº«ä¦Ò¡A®¯½×ªº¸Ñ¨M¤S©¹©¹¥i¥Hµ¹¤H±a¨Ó¥þ·sªºÆ[©À¡C
¡@¡@¥»¤å±N®Ú¾Ú®¯½×§Î¦¨ªºì¦]¡A²Ê²¤¦a§â¥¦Âk¯Ç爲¤»ºØÃþ«¬¡A¤À¤W¡B¤¤¡B¤U¤TÓ³¡¥÷¡C³o¬O²Ä¤@³¡¥÷¡G
¥Ñ·§©À¦Û«ü¤Þµoªº®¯½×©M¤Þ¶iµL±a¨Óªº®¯½×
¡]¤@¡^¥Ñ¦Û«ü¤Þµoªº®¯½×
¡@¡@¥H¤U½Ñ¨Ò³£¦s¦bµÛ¤@Ó·§©À¦Û«ü©Î¦Û¬ÛÃöªº°ÝÃD¡G¦pªG±qªÖ©w©RÃD¤J¤â¡A´N·|±o¨ì¥¦ªº§_©w©RÃD¡F¦pªG±q§_©w©RÃD¤J¤â¡A´N·|±o¨ì¥¦ªºªÖ©w©RÃD¡C
¢°¡Ð¢° ÁÀ¨¥ªÌ®¯½×
¡@¡@¦è¤¸«e¤»¥@¬ö¡Aõ¾Ç®a§J§Q¯S¤H¦ã¥Ö¦Ì¥§¦a´µ¡]¢Ó¢ø¢ñ¢õ¢í¢ö¢ñ¢ì¢í¢û¡^¡G¡§©Ò¦³§J§Q¯S¤H³£»¡ÁÀ¡A¥L̤¤¶¡ªº¤@Ó¸Ö¤H³o麽»¡¡C¡¨³o´N¬O³oÓµÛ¦W®¯½×ªº¨Ó·½¡C
¡@¡@¡m¸t¸g¡nùØ´¿¸g´£¨ì¡G¡§¦³§J§Q¯S¤H¤¤ªº¤@Ó¥»¦a¤¤¥ýª¾»¡¡G¡¥§J§Q¯S¤H±`»¡ÁÀ¸Ü¡A¤D¬O´cÃ~¡A¤SÆa¤SÃi¡¦¡¨¡]¡m´£¦h®Ñ¡n²Ä¤@³¹¡^¡C¥i¨£³oÓ®¯½×«Ü¥X¦W¡A¦ý¬O«Où¹ï©ó¥¦ªºÅÞ¿è¸Ñµª¨Ã¨S¦³¿³½ì¡C
¡@¡@¤HÌ·|°Ý¡G¦ã¥Ö¦Ì¥§¦a´µ¦³¨S¦³»¡ÁÀ¡H³oÓ®¯½×³Ì²³æªº§Î¦¡¬O¡G
¢°¡Ð¢± ¡§§Ú¦b»¡ÁÀ¡¨
¡@¡@¦pªG¥L¦b»¡ÁÀ¡A¨º麽¡§§Ú¦b»¡ÁÀ¡¨´N¬O¤@ÓÁÀ¡A¦]¦¹¥L»¡ªº¬O¹ê¸Ü¡F¦ý¬O¦pªG³o¬O¹ê¸Ü¡A¥L¤S¦b»¡ÁÀ¡C¥Ù¬Þ¤£¥iÁקK¡C¥¦ªº¤@Ó½ª©¡G
¢°¡Ð¢² ¡§³o¥y¸Ü¬O¿ùªº¡¨
¡@¡@³oÃþ®¯½×ªº¤@ӼзǧΦ¡¬O¡G¦pªG¨Æ¥ó¢Ïµo¥Í¡A«h±À¾É¥X«D¢Ï¡A«D¢Ïµo¥Í«h±À¾É¥X¢Ï¡A³o¬O¤@Ó¦Û¬Û¥Ù¬ÞªºµLÅÞ¿è°j°é¡C©Ý¼³¾Ç¤¤ªº³æ±Åé¬O¤@ӧ鳪ºªí¹F¡C
¡@¡@õ¾Ç®aù¯À´¿¸g»{¯u¦a«ä¦Ò¹L³oÓ®¯½×¡A¨Ã¸Õ¹Ï§ä¨ì¸Ñ¨Mªº¿ìªk¡C¥L¦b¡m§Úªºõ¾Çªºµo®i¡n²Ä¤C³¹¡m¼Æ¾Çì²z¡nùØ»¡¹D¡G¡§¦Û¨Èùؤh¦h¼w¥H¨Ó¡AµL½×þ¤@ӾǬ£ªºÅÞ¿è¾Ç®a¡A±q¥LÌ©Ò¤½»{ªº«e´£¤¤¦ü¥G³£¥i¥H±À¥X¤@¨Ç¥Ù¬Þ¨Ó¡C³oªí©ú¦³¨ÇªF¦è¬O¦³¤ò¯fªº¡A¦ý¬O«ü¤£¥XªÈ¥¿ªº¤èªk¬O¤°麽¡C¦b¢°¢¸¢¯¢²¦~ªº¬K©u¡A¨ä¤¤¤@ºØ¥Ù¬Þªºµo²{§â§Ú¥¿¦b¨É¨üªº¨ººØÅÞ¿è»e¤ë¥´Â_¤F¡C¡¨
¡@¡@¥L»¡¡GÁÀ¨¥ªÌ®¯½×³Ì²³æ¦a¤Äµe¥X¤F¥Lµo²{ªº¨ºÓ¥Ù¬Þ¡G¡§¨ºÓ»¡ÁÀªº¤H»¡¡G¡¥¤£½×§Ú»¡¤°麽³£¬O°²ªº¡¦¡C¨Æ¹ê¤W¡A³o´N¬O¥L©Ò»¡ªº¤@¥y¸Ü¡A¦ý¬O³o¥y¸Ü¬O«ü¥L©Ò»¡ªº¸ÜªºÁ`Åé¡C¥u¬O§â³o¥y¸Ü¥]¬A¦b¨ºÓÁ`Å餧¤¤ªº®ÉÔ¤~産¥Í¤@Ó®¯½×¡C¡¨
¡]¦P¤W¡^
¡@¡@ù¯À¸Õ¹Ï¥Î©RÃD¤À¼hªº¿ìªk¨Ó¸Ñ¨M¡G¡§²Ä¤@¯Å©RÃD§ÚÌ¥i¥H»¡´N¬O¤£¯A¤Î©RÃDÁ`Å骺¨º¨Ç©RÃD¡F²Ä¤G¯Å©RÃD´N¬O¯A¤Î²Ä¤@¯Å©RÃDªºÁ`Å骺¨º¨Ç©RÃD¡F¨ä¾l¥é¦¹¡A¥H¦ÜµL½a¡C¡¨¦ý¬O³o¤@¤èªk¨Ã¨S¦³¨ú±o®Ä¡C¡§¢°¢¸¢¯¢²¦~©M¢°¢¸¢¯¢³¦~³o¤@¾ãӮɴÁ¡A§Ú®t¤£¦h§¹¥þ¬OP¤O©ó³o¤@¥ó¨Æ¡A¦ý¬O²@¤£¦¨¥\¡C¡¨¡]¦P¤W¡^
¡@¡@¡m¼Æ¾Çì²z¡n¹Á¸Õ¾ãӯº骺¼Æ¾Ç¬O¦b¯ÂÅ޿誺«e´£¤U±À¾É¥X¨Óªº¡A¨Ã¥B¨Ï¥ÎÅÞ¿è³N»y»¡©ú·§©À¡A¦^Áצ۵M»y¨¥ªºª[·N¡C¦ý¬O¥L¦b®Ñªº§Ç¨¥ùغٳo¬O¡G¡§µoªí¤@¥»¥]§t¨º麽³\¦h¥¼´¿¸Ñ¨Mªºª§½×ªº®Ñ¡C¡¨¥i¨£¡A±q¼Æ¾Ç°ò¦ªºÅÞ¿è¤W¹ý©³¦a¸Ñ¨M³oÓ®¯½×¨Ã¤£®e©ö¡C
¡@¡@±µ¤U¨Ó¥L«ü¥X¡A¦b¤@¤ÁÅ޿誺®¯½×ùس£¦³¤@ºØ¡§¤Ï¨ªº¦Û«ü¡¨¡A´N¬O»¡¡A¡§¥¦¥]§tÁ¿¨ºÓÁ`Å骺¬YºØªF¦è¡A¦Ó³oºØªF¦è¤S¬OÁ`Å餤ªº¤@¥÷¤l¡C¡¨³o¤@Æ[ÂI¤ñ¸û®e©ö²z¸Ñ¡A¦pªG³oÓ®¯½×¬O§J§Q¯S¥H爲ªº¤°麽¤H»¡ªº¡A®¯½×´N·|¦Û°Ê®ø°£¡C¦ý¬O¦b¶°¦X½×ùØ¡A°ÝÃD¨Ã¤£³o麽²³æ¡C
¢°¡Ð¢³ ²z¾v®v®¯½×
¡@¡@¦bÂĺûº¸§ø¡A²z¾v®v¬E¥X¤@¶ô©ÛµP¡G¡§§Ú¥uµ¹§øùØ©Ò¦³¨º¨Ç¤£µ¹¦Û¤v²z¾vªº
¤H²z¾v¡C¡¨¦³¤H°Ý¥L¡G¡§§Aµ¹¤£µ¹¦Û¤v²z¾v¡H¡¨²z¾v®v¹y®ÉµL¨¥¥H¹ï¡C
¡@¡@³o¬O¤@Ó¥Ù¬Þ±À²z¡G¦pªG²z¾v®v¤£µ¹¦Û¤v²z¾v¡A¥L´NÄÝ©ó©ÛµP¤Wªº¨º¤@Ãþ¤H¡C¦³¨¥¦b¥ý¡A¥LÀ³¸Óµ¹¦Û¤v²z¾v¡C
¡@¡@¤Ï¤§¡A¦pªG³oÓ²z¾v®vµ¹¥L¦Û¤v²z¾v¡A®Ú¾Ú©ÛµP©Ò¨¥¡A¥L¥uµ¹§ø¤¤¤£µ¹¦Û¤v²z¾vªº¤H²z¾v¡A¥L¤£¯àµ¹¦Û¤v²z¾v¡C
¡@¡@¦]¦¹¡AµL½×³oÓ²z¾v®v«ç麽¦^µª¡A³£¤£¯à±Æ°£¤º¦bªº¥Ù¬Þ¡C³oÓ®¯½×¬Où¯À¦b¤@¤E¡³¤G¦~´£¥X¨Óªº¡A©Ò¥H¤S¥s¡§Ã¹¯À®¯½×¡¨¡C³o¬O¶°¦X½×®¯½×ªº³q«Uªº¡B¦³¬G¨Æ±¡¸`ªºªíz¡CÅãµM¡A³oùؤ]¦s¦bµÛ¤@Ó¤£¥i±Æ°£ªº¡§¦Û«ü¡¨°ÝÃD¡C
¢°¡Ð¢´ ¶°¦X½×®¯½×
¡@¡@¡§¢à¬O©Ò¦³¤£¥]§t¦Û¨ªº¶°¦Xªº¶°¦X¡C¡¨
¡@¡@¤H̦P¼Ë·|°Ý¡G¡§¢à¥]§t¤£¥]§t¢à¦Û¨¡H¡¨¦pªG¤£¥]§t¡A¥Ñ¢àªº©w¸q¡A¢àÀ³ÄÝ©ó¢à¡C¦pªG¢à¥]§t¦Û¨ªº¸Ü¡A¢à¤S¤£ÄÝ©ó¢à¡C
¡@¡@Ä~ù¯Àªº¶°¦X½×®¯½×µo²{¤F¼Æ¾Ç°ò¦¦³°ÝÃD¥H«á¡A¢°¢¸¢²¢°¦~ºq¼wº¸¡]Kurt Godel ¡A¢°¢¸¢¯¢µ¡Ð¢°¢¸¢¶¢·¡A±¶§J¤H¡^´£¥X¤F¤@Ó¡§¤£§¹¥þ©w²z¡¨¡A¥´¯}¤F¤Q¤E¥@¬ö¥½¼Æ¾Ç®a¡§©Ò¦³ªº¼Æ¾ÇÅé¨t³£¥i¥H¥ÑÅÞ¿è±À¾É¥X¨Ó¡¨ªº²z·Q¡C³oÓ©w²z«ü¥X¡G¥ô¦ó¤½³]¨t²Î³£¤£¬O§¹³Æªº¡A¨ä¤¤¥²µM¦s¦bµÛ¬J¤£¯à³QªÖ©w¤]¤£¯à³Q§_©wªº
©RÃD¡C¨Ò¦p¡A¼Ú¤ó´X¦ó¤¤ªº¡§¥¦æ½u¤½²z¡¨¡A¹ï¥¦ªº§_©w産¥Í¤F´XºØ«D¼Ú´X¦ó¡Fù¯À®¯½×¤]ªí©ú¶°¦X½×¤½²zÅé¨t¤£§¹³Æ¡C
¢°¡Ð¢µ ®Ñ¥Ø®¯½×
¡@¡@¤@ӹϮÑÀ]½sÄ¡¤F¤@¥»®Ñ¦Wµü¨å¡A¥¦¦C¥X³oӹϮÑÀ]ùØ©Ò¦³¤£¦C¥X¦Û¤v®Ñ¦Wªº®Ñ¡C¨º麽¥¦¦C¤£¦C¥X¦Û¤vªº®Ñ¦W¡H
¡@¡@³oÓ®¯½×»P²z¾v®v®¯½×°ò¥»¤@P¡C
¢°¡Ð¢¶ Ĭ®æ©Ô©³®¯½×
¡@¡@¦³¡§¦è¤è¤Õ¤l¡¨¤§ºÙªº¶®¨å¤HĬ®æ©Ô©³¡]¢á¢÷¢ë¢ú¢é¢ü¢í¢û¡A¦è¤¸«e¢³¢¶¢¯¡Ð«e¢²¢¸¢¸¡^¬O¥j§Æþªº¤jõ¾Ç®a¡A´¿¸g»P´¶¬¥¯Sô©Ô´µ¡Bô¦N´µµ¥µÛ¦W¸ÞÅG®a¬Û¹ï¡C¥L«Ø¥ß¡§©w¸q¡¨¥H¹ï¥I¸ÞÅG¬£²V²cªº×Ãã¡A±q¦Ó°É¸¨¤F¦Ê®aªºÂø»¡¡C¦ý¬O¥Lªº¹D¼wÆ[©À¤£爲§Æþ¤H©Ò®e¡A³º¦b¤C¤Q·³ªº®ÉÔ³Q·í§@¸ÞÅGÂø»¡ªº¥Nªí¡C¦b´¶¬¥¯Sô©Ô´µ³QÅX³v¡B®Ñ³QµI¤Q¤G¦~¥H«á¡AĬ®æ©Ô©³¤]³Q³B¥H¦º¦D¡A¦ý¬O¥Lªº¾Ç»¡±o¨ì¤F¬f©Ô¹Ï©M¨ÈùØ´µ¦h¼wªºÄ~©Ó¡C
¡@¡@Ĭ®æ©Ô©³¦³¤@¥y¦W¨¥¡G¡§§Ú¥uª¾¹D¤@¥ó¨Æ¡A¨º´N¬O¤°麽³£¤£ª¾¹D¡C¡¨
¡@¡@³o¬O¤@Ó®¯½×¡A§Ú̵Lªk±q³o¥y¸Ü¤¤±À½×¥XĬ®æ©Ô©³¬O§_¹ï³o¥ó¨Æ¥»¨¤]¤£ª¾¹D¡C¥j¥N¤¤°ê¤]¦³¤@ÓÃþ¦üªº¨Ò¤l¡G
¢°¡Ð¢¶ ¡§¨¥ºÉ®¯¡¨
¡@¡@³o¬O¡m²ø¤l¡P»ôª«½×¡nùزø¤l»¡ªº¡C«á´Á¾¥®a¤Ï»é¹D¡G¦pªG¡§¨¥ºÉ®¯¡¨¡A²ø¤lªº³oÓ¨¥Ãø¹D´N¤£®¯¶Ü¡H§Ú̱`»¡¡G
¢°¡Ð¢¶ ¡§¥@¬É¤W¨S¦³µ´¹ïªº¯u²z¡¨
¡@¡@§Ṳ́£ª¾¹D³o¥y¸Ü¥»¨¬O¤£¬O¡§µ´¹ïªº¯u²z¡¨¡C
¢°¡Ð¢· ¡§¯îÂÕªº¯u¹ê¡¨
¡@¡@¦³¦r¨åµ¹®¯½×¤U©w¸q¡A»¡¥¦¬O¡§¯îÂÕªº¯u¹ê¡¨¡A¦Ó³oºØ¥Ù¬Þ×¹¢¥»¨¤]¬O¤@ºØ¡§À£ÁYªº®¯½×¡¨¡C®¯½×¡]¢ø¢é¢ú¢é¢ì¢÷£A¡^¨Ó¦Û§Æþ»y¡§para¡Ïdokein¡¨¡A·N«ä¬O¡§¦h·Q¤@·Q¡¨¡C
¡@¡@³o¨Ç¨Ò¤l³£»¡©ú¡A¦bÅÞ¿è¤W¥¦Ì³£µLªkÂ\²æ·§©À¦Û«ü©Ò±a¨Óªº´c©Ê´`Àô¡C¦³¨S¦³¶i¤@¨Bªº¸Ñ¨M¿ìªk¡H¦b¤U±¤@¸`ªº³Ì«á¤@³¡¥÷ÁÙ±NÄ~Äò±´°Q¡C
¡]¤G¡^¤Þ¶iµL±a¨Óªº®¯½×
¡@¡@¡m¾¥¤l¡P¸g»¡¤U¡n¤¤¦³¤@¥y¸Ü¡G¡§«n¤è¦³½a¡A«h¥iºÉ¡FµL½a¡A«h¤£¥iºÉ¡C¡¨¦pªG¦b¦³¤¤¤Þ¶iµL¡A´N¥i¯à¤Þ°_®¯½×¡C
¢±¡Ð¢° ªü°òùØ´µ®¯½×
¡@¡@µy±ß¤_²¦¹Fô©Ô´µªº¥j§Æþ¼Æ¾Ç®aªÛ¿Õ¡]Zeno of Elea¡^¡A´¿¸g´£¥X¹L¤@¨ÇµÛ¦Wªº®¯½×¡A¹ï¥H«á¼Æ¾Ç¡Bª«²z·§©À産¥Í¤F«n¼vÅT¡Aªü°òùØ´µ®¯½×¬O¨ä¤¤ªº¤@Ó¡C
¡@¡@ªü°òùØ´µ¡]¢Ï¢ë¢ð¢ñ¢ô¢ô¢í¢û¡^¬O§Æþ¯«¸Ü¤¤µ½¶]ªº^¶¯¡CªÛ¿ÕÁ¿¡Gªü°òùØ´µ¦bÁɶ]¤¤¤£¥i¯à°l¤W°_¨Bµy·L»â¥ý©ó¥Lªº¯QÀt¡A¦]爲·í¥Ln¨ì¹F¯QÀt¥Xµoªº¨º¤@ÂI¡A¯QÀt¤S¦V«eª¦°Ê¤F¡Cªü°òùØ´µ©M¯QÀtªº¶ZÂ÷¥i¥HµL¦aÁY¤p¡A¦ý¥Ã»·°l¤£¤W¯QÀt¡C
¡@¡@¤èÀy¤§¥ý¥Í´¿¸g¥Îª«²z»y¨¥´yz¹L³oÓ°ÝÃD¡G¦bªü°òùØ´µ®¯½×¤¤¨Ï¥Î¤F¨âºØ¤£¦Pªº®É¶¡«×¶q¡C¤@¯ë«×¶q¤èªk¬O¡G°²³]ªü°òùØ´µ»P¯QÀt¦b¶}©l®Éªº¶ZÂ÷爲¢á¡A³t«×¤À§O爲¢ä¢°©M¢ä¢±¡C·í®É¶¡¢â¡×¢á¡þ¡]¢ä¢°¡Ð¢ä¢±¡^®É¡Aªü°òùØ´µ´N»°¤W¤F¯QÀt¡C
¡@¡@¦ý¬OªÛ¿Õªº´ú¶q¤èªk¤£¦P¡Gªü°òùØ´µ±N³v¦¸¨ì¹F¯QÀt¦b«e¤@¦¸ªº¥XµoÂI¡A³oӮɶ¡爲¢â'¡C¹ï©ó¥ô¦ó¢â'¡A¥i¯àµLÁYµu¡A¦ýªü°òùØ´µ¥Ã»·¦b¯QÀtªº«á±¡CÃöÁä¬O³oÓ¢â'µLªk«×¶q¢â¡×¢á¡þ¡]¢ä¢°¡Ð¢ä¢±¡^¥H«áªº®É¶¡¡C
¢±¡Ð¢± ¤G¤Àªk®¯½×
¡@¡@³o¤]¬OªÛ¿Õ´£¥Xªº¤@Ó®¯½×¡G·í¤@Óª«Åé¦æ¶i¤@¬q¶ZÂ÷¨ì¹F¢Ò¡A¥¦¥²¶·º¥ý¨ì¹F¶ZÂ÷¢Òªº¤G¤À¤§¤@¡AµM«á¬O¥|¤À¤§¤@¡B¤K¤À¤§¤@¡B¤Q¤»¤À¤§¤@¡B¥H¦Ü¥i¥HµL½a¦a¹º¤À¤U¥h¡C¦]¦¹¡A³oÓª«Åé¥Ã»·¤]¨ì¹F¤£¤F¢Ò¡C
¡@¡@³o¨Çµ²½×¦b¹ê½î¤¤¤£¦s¦b¡A¦ý¬O¦bÅÞ¿è¤WµL¥i¬Dç¡C
¡@¡@ªÛ¿Õ¬Æ¦Ü»{爲¡G¡§¤£¥i¯à¦³±q¤@¦a¨ì¥t¤@¦aªº¹B°Ê¡A¦]爲¦pªG¦³³o¼Ëªº¹B°Ê¡A´N·|¦³¡¥§¹µ½ªºµL¡¦¡A¦Ó³o¬O¤£¥i¯àªº¡C¡¨¦pªGªü°òùØ´µ¨Æ¹ê¤W¦b¢â®É°l¤W¤F¯QÀt¡A¨º麽¡A¡§³o¬O¤@ºØ¤£¦XÅ޿誺²{¶H¡A¦]¦Ó¨M¤£¬O¯u²z¡A¦Ó¶È¶È¬O¤@ºØ´ÛÄF¡¨¡C³o´N¬O»¡·P©x¬O¤£¥i¾aªº¡A¨S¦³ÅÞ¿è¥i¾a¡C
¡@¡@¥L»{爲¡G¡§½aºÉµL¬Oµ´¹ï¤£¥i¯àªº¡¨¡C®Ú¾Ú³oÓ¹B°Ê²z½×¡AªÛ¿ÕÁÙ´£¥X¤F¤@ÓÃþ¦üªº¹B°Ê¨ËÂÕ¡G
¢±¡Ð¢² ¡§¸¥Ú¤£°Ê¡¨
¡@¡@¦bªÛ¿Õ¬Ý¨Ó¡A¥Ñ©ó¸½b¦b¨ä¸¦æªº¨CÓÀþ¶¡³£¦³¤@ӼȺAªº¦ì¸m¡A¥¦¦b³oÓ¦ì¸m¤W©M¤£°Ê¨S¦³¤°麽°Ï§O¡C¨º麽¡AµLÓÀR¤î¦ì¸mªºÁ`©M´Nµ¥©ó¹B°Ê¤F¶Ü¡H©ÎªÌµL«´_ªºÀR¤î´N¬O¹B°Ê¡H¤¤°ê¥j¥N¤]¦³Ãþ¦üªº»¡ªk¡A¦p¡G
¢±¡Ð¢³ ¡§¸³¾¤§´º¡A¥¼¹Á°Ê¤]¡¨
¡@¡@³o¬O¤¤°ê¦W®a´f¬Iªº©RÃD¡A»P¡§¸¥Ú¤£°Ê¡¨¦P¤u²§¦±¡C³o´N¬O¤£¥i§Ü©Úªº±À²z©M¤£¥i¦^Áתº¹ê¨Æ¬Û½Ä¬ð¡C
¡@¡@¼w°êõ¾Ç®a¥§ªö¦b¡m§Æþ´d¼@®É¥Nªºõ¾Ç¡nùئ³¤@³¹¡m¥iºÃªº®¯½×¡n¡AºÙªÛ¿Õªº®¯½×爲¡§§_©w·P©xªº®¯½×¡¨¡C¾¨ºÞªü°òùØ´µ¦bÁɶ]¤¤°l¤W°_¨B»â¥ýªº¯QÀt§¹¥þ¦X¥G¨Æ¹ê¡A¦ý爲¤°麽¡§¤£¦XÅ޿表¡H¦]爲ªÛ¿Õ¹B¥Î¤F¡§µL¡¨³oÓ·§©À¡A³o¬O¤@ºØÅÞ¿è¤Wªº°²³]¡A¦Ó²{¹ê¥@¬ÉùجO¤£¥i¯à¦³µLªÌ¦s¦bªº¡A³o´N¥X²{¤F°²³]»P²{¹êªº¥Ù¬Þ¡C
¡@¡@¥§ªö»¡¹D¡G¦b³o¨âÓ®¯½×ùØ¡A¡§µL¡¨³Q§Q¥Î¨Ó§@爲¤Æ¸Ñ²{¹êªºµv»Ä¡C¦pªGµL¬O¨M¤£¥i¯à¦¨爲§¹µ½ªº¡AÀR¤î¨M¤£¥i¯àÅÜ爲¹B°Ê¡A¨º麽¡A¯u¬Û¬O½b§¹¥þ¨S¦³¸°Ê¡A¥¦§¹¥þ¨S¦³²¾¦ì¤¸¡A¨S¦³²æÂ÷ÀR¤îª¬ºA¡A®É¶¡¨Ã¨S¦³¬y³u¡C
¡@¡@´«¥y¸ÜÁ¿¡A¦b³oөҿתº¡B²×¨s¥u¬O«_µPªº²{¹ê¤¤¡A¬J¨S¦³®É¶¡¡BªÅ¶¡¡A¤]¨S¦³¹B°Ê¡C³Ì«á¡A³s½b¥»¨¤]¬O¤@Óµê¶H¡A¦]爲¥¦¨Ó¦Û¦h¼Ë©Ê¡A¨Ó¦Û¥Ñ·P©x³ê°_ªº«D¤@ªº¤Û¶H¡C¤U±¬O¥§ªöªº¤ÀªR¡G
¡@¡@°²©w½b¾Ö¦³¤@ºØ¦s¦b¡A¨º麽¡A¥¦´N¬O¤£°Êªº¡B«D®É¶¡ªº¡B«D³y¦Ó¦³ªº¡B©T©wªº¡B¥ÃùÚªº¡C³o¬O¤@Ó¯îÂÕªºÆ[©À¡I
¡@¡@°²©w¹B°Ê¬O¯u¥¿ªº¹ê¦b¡A¨º麽¡A´N¤£¦s¦bÀR¤î¡C¦]¦Ó¡A½b¨S¦³¦ì¸m¡B¨S¦³ªÅ¶¡¡C¤S¬O¤@Ó¯îÂÕªºÆ[ÂI¡I
¡@¡@°²©w®É¶¡¬O¹ê¦bªº¡A¨º麽¡A¥¦´N¤£¥i¯à³QµL¦a¤À³Î¡C½b¸¦æ©Ò»Ýnªº®É¶¡¥²©w¥Ñ¤@Ó¦³¼Æ¥ØªºÀþ¶¡²Õ¦¨¡A¨ä¤¤¨CÓÀþ¶¡³£¥²©w¬O¤@Óì¤l¡C¤´µM¬O¤@Ó¯îÂÕªºÆ[©À¡I
¡@¡@¥§ªö±o¥X³o¼Ëªºµ²½×¡G§Ú̪º¤@¤ÁÆ[©À¡A¥un¨ä¸gÅç©Ò»Pªº¡B¨V¦Û³oÓª½Æ[¥@¬Éªº¤º®e³Q·í§@¡§¥ÃùÚ¯u²z¡¨¡A´N·|³´¤J¥Ù¬Þ¡C¦pªG¦³µ´¹ï¹B°Ê¡A´N¤£·|¦³ªÅ¶¡¡F¦pªG¦³µ´¹ïªÅ¶¡¡A´N¤£·|¦³¹B°Ê¡F¦pªG¦³µ´¹ï¦s¦b¡A´N¤£·|¦³¦h¼Ë©Ê¡F¦pªG¦³µ´¹ïªº¦h¼Ë©Ê¡A´N¤£·|¦³²Î¤@©Ê¡C
¡@¡@¨Æ¹ê¤W¡A³o¨âÓ®¯½×¤¤´£¨ìªº³oÓ¡§°Ê»P¤£°Ê¡¨ªº¹ï¥ß²Î¤@¡A¤µ¤Ñ³£¤w¸g±o¨ì¤F§¹¬üªº¸Ñ¨M¡A³o´N¬O·¥²z½×ªº½Ï¥Í¡C¤û¹y¦b¹B°Ê¾Ç¬ã¨s®É¡Aªì³Ð·L¿n¤À¡A¦ý¥Ñ©ó¨S¦³¾d©Tªº²z½×°ò¦¡A¥X²{¤F¾ú¥v¤Wªº¡§²Ä¤G¦¸¼Æ¾Ç¦M¾÷¡¨¡C¤Q¤E¥@¬öªì¡Aªk°ê¬ì¾Ç®a¥H¬_¦è爲º«Ø¥ß¤F·¥²z½×¡A«á¨Ó¤S¸g¹L¼w°ê¼Æ¾Ç®aºûº¸´µ¯S©Ô´µ¶i¤@¨BªºÄY®æ¤Æ¡A¨Ï·¥²z½×¦¨爲·L¿n¤Àªº°í©w°ò¦¡A¹B°Ê°ÝÃD¤]±o¨ì¤F¦X²zªº¸ÑÄÀ¡C
¡@¡@¥i¥H·Q¨£¡A¦b·L¿n¤À©M·¥²z½×µo©ú©Î³Q±µ¨ü¥H«e¡A¤HÌ«ÜÃø¸ÑÄÀ³o¤@¹B°Ê¨ËÂÕ¡C·P©x¤£¦P¤_«äºû¡A·í§Æþ¤H¥Î·§©À¨Ó§P¨M²{¹êªº®ÉÔ¡A¦pªGÅÞ¿è»P²{¹êµo¥Í¥Ù¬Þ¡AªÛ¿Õ«ü³d·P©x爲¡§´ÛÄF¡¨¡C·í«äºû§ä¤£¨ì¦X²z¸ÑÄÀªº®ÉÔ¡Aª½Æ[ªº§Î¦¡¡B¶H¼x©Î¤ñ³ë³£µLÀÙ©ó¨Æ¡C¥§ªöªº¤ÀªRÁöµM¸Ô²Ó¡BºëÅP¡A¦ý¥LµLªk§â¥¦Ìºî¦X°_¨Ó¡C
¢±¡Ð¢´ ¡§¤@¤Ø¤§´¨¡A¤é¨ú¨ä¥b¡A¸U¥@¤£ºÜ¡¨
¡@¡@³o¬O¡m²ø¤l¡P¤Ñ¤U¡n¤¤´f¬Iªº¤@¥y¦W¨¥¡C¤G¤d¦h¦~«e¤¤°ê¥j¤H¦P¼Ë¹B¥Î¤FµLªº·§©À¡C
¡@¡@¾Ô°ê¦W®a§º°ê¤H´f¬I¡]¬ù¦è¤¸«e¢²¢¶¢¯¡Ð«e¢²¢°¢¯¡^´¿¥ô±ç°êªº®_¬Û¡A½×ÅG©_¤~¡A¬O²ø¤lªºªB¤Í¡A©M¤½®]Às¨Ã¦C爲¦W®aªº¥Nªí¤Hª«¡C¥LªºµÛ§@¦h¤w¤`§H¡A¥u¯à±q¨ä¥L½Ñ®aªº½×z¤¤¬Ý¨ì¥Lªº¨¥¦æ¤ù¬q¡C
¡@¡@´f¬Iªº¾Ç»¡±j½Õ¸Uª«ªº¦@¬Û¡A¦]¦Ó¨Æª«¤§¶¡ªº®t²§¥u¬O¤@ºØ¬Û¹ïªº·§©À¡A²{¦s»P´f¬I¦³Ãöªº©_©Ç©RÃD¡A¨Ò¦p¡A¡§¤s»P¿A¥¡¨¡B¡§§Z¦³¤ò¡¨¡B¡§Âû¤T¨¬¡¨¡B¡§¤ü¥i¥H爲¤û¡¨¡B¡§¤õ¤£¼ö¡¨¡B¡§¯x¤£¤è¡¨¡B¡§¥Õª¯¶Â¡¨¡B¡§©t¾s¥¼¹Á¦³¥À¡¨µ¥¡A³£¥i¥H»¡¬O®¯½×¡A¦ý¬O¤j³¡¥÷¨S¦³¯d¤U¨ãÅ骺ª§ÅG¹Lµ{¡C´f¬Iªº®¯½×¦b¦è¤è¤]«Ü¦³¼vÅT¡C
¡@¡@¤ò¿AªF±qÅGÃÒªkªº¨¤«×°ò¥»±µ¨ü´f¬IµL¥i¤ÀªºÆ[ÂI¡C¤@¤E¤»¥|¦~¤K¤ë¤Q¤K¤é¡A¥L¦Põ¾Ç¤u§@ªÌ½Í¸Ü®É»¡¡G¡§¦C¹çÁ¿¹L¡A¤Z¨Æ¥i¤À¡CÁ|ì¤l爲¨Ò¡A¤£¦ýì¤l¥i¤À¡A¹q¤l¤]¥i¤À¡C¡¨¤S»¡¡G¡§¹q¤l¥»¨¨ì²{¦bÁÙ¨S¦³¤Àµõ¡AÁ`¦³¤@¤Ñ¯à¤Àµõªº¡C
¡¥¤@¤Ø¤§´¨¡A¤é¨ú¨ä¥b¡A¸U¥@¤£ºÜ¡¦¡A³o¬OÓ¯u²z¡C¤£«H¡A´N¸Õ¸Õ¬Ý¡C¦pªG¦³ºÜ´N¨S¦³¬ì¾Ç¤F¡C¡¨
¡@¡@¦³¤Hª`·N¨ì¡A¤ò¿AªF¤Q¤À°¾·R³o¥y¸Ü¡A¦p¤¤Q¦~¥N¤¤´Á¹ï®a¿ú¤T±j¡A¤@¤E¤»¥|¦~¤K¤ë¦P©P°ö·½¡B©ó¥ú»·¡A¤@¤E¤C¤T¦~¡B¤@¤E¤C¥|¦~±µ¨£·¨®¶¹ç¡B§õ¬F¹D¡Aµ¥µ¥¡A³£´£¨ì³o¥y¸Ü¡C
¢±¡Ð¢µ ¡§¢°Âç¦Ì½u¬q¤ºªºÂI»P¤Ó¥¬v±¤WªºÂI¤@¼Ë¦h¡¨
¡@¡@¦h¤Öõ¾Ç®a¡B¼Æ¾Ç®a³£°ß®£³´¤J®¯½×¦Ó°hÁפTªÙ¡C¤G¤Q¤T·³Àò³Õ¤h¾Ç¦ìªº¼w°ê¼Æ¾Ç®a±d¦«º¸¡]¢°¢·¢³¢´¡Ð¢°¢¸¢°¢·¡^¤»¦~¥H«á¦VµL½a«Å¾Ô¡C¥L¦¨¥\¦aÃÒ©ú¤F¡G¤@±øª½½u¤WªºÂI¯à°÷©M¤@Ó¥±¤WªºÂI¤@¤@¹ïÀ³¡A¤]¯à©MªÅ¶¡¤¤ªºÂI¤@¤@¹ïÀ³¡C¥Ñ©óµL¡A¢°Âç¦Ìªøªº½u¬q¤ºªºÂI¡A»P¤Ó¥¬v±¤WªºÂI¡A¥H¤Î¾ãÓ¦a²y¤º³¡ªºÂI³£¡§¤@¼Ë¦h¡¨¡C
¡@¡@µM¦Ó¡A±d¦«º¸ªº¡§µL½a¶°¦X¡¨»P¶Ç²Îªº¼Æ¾ÇÆ[©Àµo¥Í½Ä¬ð¡A¾D¨ìðã½|¡Cª½¨ì¤@¤K¤E¤C¦~²Ä¤@¦¸°ê»Ú¼Æ¾Ç®a·|ij¡A¥Lªº¦¨ªG¤~±o¨ì©Ó»{¡A´X¥G¥þ³¡¼Æ¾Ç³£¥H¶°¦X½×爲°ò¦¡Cù¯ÀºÙÆg¥Lªº¤u§@¡§¥i¯à¬O³oӮɥN©Ò¯à¸ØÄ£ªº³Ì¥¨¤jªº¤u§@¡C¡¨
¡@¡@¦P®É¡A¶°¦X½×¤¤¤]¥X²{¤F¤@¨Ç¦Û¬Û¥Ù¬Þªº²{¶H¡A¤×¨ä¬Où¯Àªº²z¾v®v®¯½×¡A¥H·¥爲²©úªº§Î¦¡¾_¾Ù¤F¼Æ¾Çªº°ò¦¡A³o´N¬O¡§²Ä¤T¦¸¼Æ¾Ç¦M¾÷¡¨¡C¦¹«á¡A¼Æ¾Ç®a̶i¦æ¤F¤£¾Ó¦a±´°Q¡C
¡@¡@¨Ò¦p¡A¤@¤E¤E¤»¦~^°ê±d¾ô¤j¾Ç¥Xª©ªÀ¥Xª©¤F¦ë}¥dªº¡m¼Æ¾Çì²zªº«·s¦Ò¹î¡n¡A³o¥»®Ñ¥Hù¯Àªº¡m¼Æ¾Çì²z¡n¡]¢°¢¸¢¯¢²¡^爲ÂÅ¥»ªº¡A¸Õ¹Ï§¹µ½ÅÞ¿è©M¼Æ¾Ç°ò¦¡C¥¦¥DnÄÄz¤F¦ë}¥d©M®á¦··s³Ðªº¢×¢Ô¡]Independence-Friendly First-Order Logic¡^ÅÞ¿è¤Î¨ä¥i¯à産¥Íªº¼vÅT¡C¥¦¬D¾Ô¤F³\¦h¤½»{ªºÆ[©À¡A¦p¤½²z¶°¦X½×§@爲¼Æ¾Ç²z½×ªº¾A·í®Ø¬[¡A¹ï»¡ÁÀªÌ®¯½×¤]§@¤F¶i¤@¨Bªº±´°Q¡C¥¦¬O§_±N¤Þ°_¤@³õÅÞ¿è©M¼Æ¾Ç°ò¦ªº²©R¡H§ÚÌÁÙ±N«ø¥Ø¥H«Ý¡C
ì¤åºô§}¡G
http://www.xys.org/xys/magazine/GB/1999/articles/991208.txt
Äò½g¦]¬°¤j³£¬Oõ¾ÇªºªF¦è,©Ò¥H´N¤£©ñ¶i¨Ó¤F
¦³¿³½ìªººô¤Í¥i¥H¦Û¤v°Ñ¦Ò
http://www.xys.org/xys/magazine/GB/2000/articles/000311.txt