ÑëÊÓÍø|ÖйúÍøÂçµçÊǪ́|ÍøÕ¾µØͼ |
¿Í·þÉèΪÊ×Ò³ |
ÖйúÍøÂçµçÊǪ́ > ÐÂÎĄ̊ > ÖйúͼÎÄ >
΢·Ã̸ | ΢ֱ²¥ | ΢¹ã³¡ | ÃûÈËǽ | ÅÅÐаñ
• ³È×Ó´òÀ¯¸ÃÈçºÎʶ±ð • ½ÒÃؼßÊ®ÑÐÖÆÈ«¹ý³Ì
¡¡¡¡Áõ¼ÎÒ䣨±¾ÃûÁõ·£©ÔÚÃÀ¹úÖ¥¼Ó¸ç²Î¼ÓÊýÀíÂ߼ѧÊõ»áÒéÆÚ¼äµÄÁôÓ°¡££¨Áõ¼ÎÒäÌṩ£©
¡¡¡¡Áõ¼ÎÒ䣨±¾ÃûÁõ·£©£¬ÖÐÄÏ´óѧÊýѧ¿ÆѧÓë¼ÆËã¼¼ÊõѧԺ2008¼¶±¾¿ÆÉú¡£
¡¡¡¡¼Ì½ñÄêÉÏ°ëÄêËû¹¥¿ËÒ»¸öÊ®¶àÄêÐü¶øδ¾ö¹ú¼ÊÊýѧÄÑÌâºó£¬²»¾ÃÇ°ÔÚÃÀ¹úÖ¥¼Ó¸ç´óѧ½áÊøµÄÊýÀíÂ߼ѧÊõ»áÒéÉÏ£¬Ëû×÷ΪÑÇÖÞ¸ßУΨһһλ´ú±íÔÚ»áÉÏ×öÁË40·ÖÖÓ±¨¸æ£¬±¨¸æÁËËûÔÚÊýÀíÂß¼·½ÃæµÄÑо¿³É¹û£¬ÓᆰËÄ×ù¡£
¡¡¡¡Õâ¸ö¹úÇ쳤¼Ù£¬ËûÔÚѧУ׼±¸±ÏÒµÂÛÎÄ£¬»¹ÓÐÉêÇëµ½ÃÀ¹ú²®¿ËÀûµÈ¼¸ËùÖªÃû¸ßУµÄÁôѧÉîÔìµÄ²ÄÁÏ¡£
¡¡¡¡½ñÄê5Ô£¬Óɱ±¾©´óѧµÈÁªºÏ¾Ù°ìµÄÂ߼ѧÊõ»áÒéÉÏ£¬»¹ÊÇ´óÈýµÄÁõ¼ÎÒ䱨¸æÁËËû¶ÔÄ¿Ç°·´ÍÆÊýѧÖеÄÀÄ·Æ루Ramsly£©¶þȾɫ¶¨ÀíµÄÖ¤Ã÷ÂÛÇ¿¶ÈµÄÑо¿¡£ÕâÊÇÓÉÓ¢¹úÊýÀíÂ߼ѧ¼ÒSeetapunÓÚÉϸöÊÀ¼Í90Äê´úÌá³öµÄÒ»¸ö²ÂÏ룬ʮ¶àÄêÀ´£¬Ðí¶àÖøÃûÑо¿ÕßһֱŬÁ¦¶¼Ã»Óнâ¾ö¡£Áõ¼ÎÒäµÄ±¨¸æ¸øÕâÒ»Ðü¶øδ¾öµÄ¹«¿ªÎÊÌâÒ»¸ö·ñ¶¨Ê½µÄ»Ø´ð£¬³¹µ×½â¾öÁËSeetapunµÄ²ÂÏë¡£
¡¡¡¡6Ô£¬ÊýÀíÂß¼¹ú¼ÊȨÍþÔÓÖ¾¡¶·ûºÅÂß¼ÆÚ¿¯¡·£¨Journal of Symbolic Logic£©µÄÖ÷±à¡¢Â߼ѧר¼Ò¡¢Ö¥¼Ó¸ç´óѧÊýѧϵDenis Hirschfeldt½ÌÊÚ¸øÁõ¼ÎÒä·¢À´ÁËÂÛÎÄÆÀÉóÒâ¼û£¬ÐÅÖÐ˵£¬¡°ÎÒÊǹýÈ¥ÖÚ¶àÑо¿¸ÃÎÊÌâ¶øÎÞ¹ûÕßÖ®Ò»£¬¿´µ½ÕâÒ»ÎÊÌâµÄ×îÖÕ½â¾ö¸Ðµ½·Ç³£¸ßÐË£¬ÌرðÈçÄã¸ø³öµÄÈç´ËƯÁÁµÄÖ¤Ã÷£¬Çë½ÓÊÜÎÒ¶ÔÄãÁîÈËÔÞ̾µÄ¡¢¾ªÆæµÄ³É¹ûµÄ×£ºØ£¡¡±
¡¡¡¡·¢ÏÖÁõ¼ÎÒ䣬»¹ÓÐÒ»¶Î¼Ñ»°¡£½ñÄê7Ô³õ£¬ÖøÃûÊýѧ¼Ò¡¢ÖÐÄÏ´óѧ²©Ê¿Éúµ¼Ê¦ºîÕñͦ½ÌÊÚÌýÄϾ©´óѧһ¸ö½ÌÊÚ˵µÀ£º¡°ÄãÃÇÖÐÄÏ´óѧ³öÁ˸öºÃѧÉú£¡¡±Ö®ºó½éÉÜÁËÕâ¸öѧÉúÔÚÊýÀíÂß¼ÁìÓòµÄÑо¿³É¹û¡£
¡¡¡¡ºî½ÌÊÚÌýºóÁ¢¼´Ñ°ÕÒ£¬È»¶ø²é±éÁËÊýѧѧԺѧÉúµµ°¸£¬Ò²²éÎÞ´ËÈË¡£ºî½ÌÊÚ¸ù¾ÝÁõ¼ÎÒäµÄµç×ÓÓÊÏäµØÖ··¢³öÁËÒ»·âÓʼþ£¬ºÜ¿ìÊÕµ½»ØÐÅ¡£ÔÀ´£¬Áõ¼ÎÒäÊÇ2008¼¶Ó¦ÓÃÊýѧרҵѧÉúÁõ·£¬¡°Áõ¼ÎÒ䡱ÊÇËûÏò¹úÍâÔÓ־Ͷ¸åʱÓõÄÃû×Ö¡£ºî½ÌÊÚ·µÐ£ºó£¬Á¢¼´ÒªÇóÓëÁõ¼ÎÒä¼ûÃ棬²¢ÊÕÁõ¼ÎÒä×öËûµÄѧÉú¡£
¡¡¡¡ºî½ÌÊÚ¼¸´ÎÔ¼¼ûÁõ¼ÎÒ䣬¹²Í¬Ì½ÌÖѧÊõ£¬²¢½«ËûÒý¼ö¸øÁËÖйú¿ÆѧԺÀî°îºÓ¡¢¶¡ÏÄÆè¡¢ÁÖȺÈýλԺʿ¡£ºî½ÌÊÚ˵£¬Ò»¸ö±¾¿ÆÉúÄÜд³öÈç´Ë¸ßˮƽµÄÂÛÎÄ£¬ÕâÑùµÄÈ˲Ų»¿É¶àµÃ¡£
¡¡¡¡ÖÐÄÏ´óѧУ³¤»Æ²®ÔÆÁ˽â´Ëʺó£¬ÅúʾÁõ¼ÎÒä˶²©Á¬¶Á¡£
¡¡¡¡Áõ¼ÎÒäÔÚ×ܽáѧϰÊýѧÐĵÃʱ˵£º×ö×Ô¼ºÏ²»¶µÄÊ£¬±£³ÖÒ»¿ÅºÃÆæÐÄ£¬¶ÔËùѧµÄ֪ʶ¡¢Ëù×öµÄÊÂÓÐÌìÈ»µÄÐËȤ¡£