[¼Æ¾Ç]¸g¨å®¯½×º©¹C

[¼Æ¾Ç]¸g¨å®¯½×º©¹C

¥Ñ J+W ©ó ¬P´Á¤é ¥|¤ë 17, 2005 12:45 pm


¡@¡@¥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§¹¥þ¬O­P¤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¦]爲·í¥L­n¨ì¹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¨¥´y­z¹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¥u­n¨ä¸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¥¦¥D­nÄÄ­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

J+W
ª©¡@¥D
ª©¡@¥D
 
¤å³¹: 2161
µù¥U®É¶¡: 2003-12-30




¼Æ¾Ç¬G¨Æ