[Æ´Òô]£ºshuli luoji
[ÍâÎÄ]£ºmathematical logic
ÓֳƷûºÅÂß¼¡¢ÀíÂÛÂß¼»òÂ߼˹µÙ£¬ÊýѧµÄÒ»¸ö·ÖÖ§£¬ÓÃÊýѧ·½·¨Ñо¿µÄÂß¼»òÐÎʽÂß¼¡£ÓÉD.Ï£¶û²®ÌØÓëW.°¢¿ËÂüºÏÖøµÄ20ÊÀ¼ÍµÚÒ»±¾ÖøÃûµÄÊýÀíÂß¼¶Á±¾³ÆÊýÀíÂ߼ΪÀíÂÛÂß¼¡£ËùνÊýѧ·½·¨¾ÍÊÇÖ¸Êýѧ²ÉÓõÄÒ»°ã·½·¨£¬°üÀ¨Ê¹Ó÷ûºÅºÍ¹«Ê½£¬Ê¹ÓÃÒÑÓеÄÊýѧ³É¹ûºÍ·½·¨£¬ÌرðÊÇʹÓÃÐÎʽµÄ¹«Àí·½·¨£¨¼ûÅ·¼¸ÀïµÃ¼¸ºÎѧ£©£»ÐÎʽµÄ¹«Àí·½·¨Ò²³ÆΪÂ߼˹µÙ·½·¨¡£ÓÉÓÚÊýÀíÂß¼µÄѧ¿ÆÐÔÖÊ£¬Ëü×ÔÈ»µØ³ÉΪһÃÅÊýѧ£¬¼´Âß¼µ×Êýѧ¡£ÓÃÊýѧ·½·¨Ñо¿Âß¼µÄϵͳµÄ˼ÏëÒ»°ãËÝÔ´µ½G.W.À³²¼Äá´Ä£¬ÃÈÑ¿ÓÚ¹ÅÏ£À°µÄÑÇÀïÊ¿¶àµÂ¡£À³²¼Äá´ÄµÄÊýÀíÂ߼˼ÏëÊÇÑо¿ÁËÔÚÆäÇ°µÄ¾µäÂß¼µÄ´«Í³£¨°üÀ¨ÑÇÀïÊ¿¶àµÂºÍÖÐÊÀ¼ÍµÄ´«Í³Âß¼£©¶øÐγɵġ£À³²¼Äá´ÄÈÏΪ¾µäµÄ´«Í³Âß¼±ØÐë¸ÄÔìºÍ·¢Õ¹£¬Ê¹Ö®¸üΪ¾«È·ºÍ±ãÓÚÑÝËã¡£ÊýÀíÂß¼ÊǾһЩÊýÀíÂß¼µÄÏÈÇýÕßÑØ×ÅÀ³²¼Äá´ÄµÄ˼Ïë½øÐÐÁËʵÖÊÐԵŤ×÷£¬¶øÖð²½ÍêÉƺͷ¢Õ¹ÆðÀ´µÄ¡£ÔÚ20ÊÀ¼ÍÀÊýÀíÂß¼µÄÄÚÈÝ£¬´ÓÏÁÒåµ½½Ï¹ãÒå¡¢×î¹ãÒå´óÖÂÐγÉÈý¸ö²ã´Î¡£
£¨1£©×îÏÁÒåµÄÊýÀíÂß¼¡¡Í¨³£³ÆΪÏÁν´ÊÂß¼»ò¾µäν´ÊÂß¼¡£ÕâÊǶԴÓÑÇÀïÊ¿¶àµÂÈý¶ÎÂÛʽÀíÂÛÑݱä²úÉúµÄ´«Í³Âß¼µÄÑϸñ»¯ºÍ±ØÒªµÄÍƹ㡣ÕâÒ»²¿·ÖÔÚÊýÀíÂß¼ÖÐÊÇ×î»ù´¡µÄ²¿·Ö£¬Ò²ÊÇ´«Í³ÑÝÒïÂß¼µÄ»ù±¾ÄÚÈݵľ«ÃÜ»¯¡¢¾«È·»¯ºÍÍêÉÆ»¯¡£ËüÊÇÑÝÒïÂß¼µÄ»ù´¡£¬Ò²ÊÇÊýѧÔÚÖ¤Ã÷¶¨ÀíʱËùÓõÄ×î»ù±¾µÄÂß¼ÍÆÀí¹æÂÉ¡£
£¨2£©½Ï¹ãÒåµÄÊýÀíÂß¼¡¡20ÊÀ¼Í£¬ÓÉÓÚÊýѧµì»ùÎÊÌâµÄÑо¿¶øÐγÉÁËËĸöÊýÀíÂß¼·ÖÖ§£¬¼´Ä£ÐÍÂÛ¡¢¹«Àí¼¯ºÏÂÛ¡¢µÝ¹éÂÛºÍÖ¤Ã÷ÂÛ£¬¼ò³ÆËÄÂÛ¡£ÕâËÄÂÛ¹¹³ÉÏÖ´úÊýÀíÂß¼µÄÖ÷ÒªÄÚÈÝ£¬ÕâÑùµÄÊýÀíÂß¼¾ÍÊÇÊýѧµ×Âß¼£¬¼´ÊýѧÂß¼¡£
£¨3£©×î¹ãÒåµÄÊýÀíÂß¼¡¡³ýÁËÉÏÊöÄÇЩÄÚÈÝ»¹°üÀ¨¹éÄÉÂß¼¡¢°üº¬¿ÉÄÜ¡¢±ØÈ»µÈģ̬´ÊµÄģ̬Âß¼¡¢ÄÚº¬Âß¼¡¢¶àÖµÂß¼¡¢°üº¬Ê±¼äÒòËصÄʱ̬Âß¼µÈµÈ¡£ËüÈÔÈ»ÊÇÓÃÊýѧ·½·¨Ñо¿µÄÂß¼¡£
´Ó½ÏÏÁÒåµ½×î¹ãÒåµÄÊýÀíÂß¼µÄ»®·Ö£¬Ö÷ÒªÊǶԡ°Âß¼¡±Ò»´Ê£¬ÌرðÊǶԡ°ÐÎʽÂß¼¡±Ò»´ÊµÄÀí½âµÄÓÉÏÁµ½¹ãµÄÑÜ»¯¡£µ±È»£¬ÓÉÏÁµ½¹ãµÄÕâÖÖ·Ö²ãÊDz»ÑϸñµÄ¡£
ÏÁν´ÊÂß¼
¼´¾µäν´ÊÂß¼£¬Ò༴һ½×ν´ÊÂß¼£¨¼ò³ÆÒ»½×Âß¼£©¡£ËüÊÇÑо¿ÑÝÒïÍÆÀíµÄÂß¼£¬ÊÇÊýÀíÂß¼µÄ»ù´¡²¿·Ö¡£
ÏÁν´ÊÂß¼ÊÇÐÎʽÂß¼¡£ÕâÖÖÂß¼Ñо¿µÄÊÇÃüÌâ¼äµÄ¡°ÐÎʽ¡±µÄÍÆÀí¹æÂÉ¡£±ÈÈçÓÐÒÔÏÂÈý¸ö±í´ïʽ£º
ÈκÎx£¬Èç¹ûxÊÇS ÔòxÊÇp
£¨xÊÇS Ô̺xÊÇp£©¡£¡¡ (1)
α²»ÊÇp£¨»ò·ÇαÊÇp£©¡£¡¡¡¡ (2)
α²»ÊÇS£¨»ò·ÇαÊÇS£©¡£¡¡¡¡ (3)
ÈκÎÈý¸öÃüÌ⣬ֻҪÆäÖÐÁ½¸öÓÐ(1)¡¢(2)ÐÎʽ£¬ÄÇô£¬ÓÐ(3)ÐÎʽµÄÃüÌâÒ»¶¨ÄÜ´ÓÇ°Á½¸öÍƳö¡£ ÕâÖÖÍƵ¼¹ØϵÓëÃüÌâµÄÄÚÈÝÎ޹أ¬½ö¾ö¶¨ÓÚÕâÖÖ±í´ïʽ֮¼äµÄÐÎʽ¹Øϵ¡£ÓÉ(1)¡¢(2)¿ÉÒÔÍƳö(3)£¬°Ñ(1)¡¢(2)¡¢(3)д×÷£º
ʽÖС°S(x)¡±±íʾ¡°xÊÇS¡±£»¡°p(x)¡±±íʾ¡°xÊÇp¡±£»¡°„N¡±±íʾ¡°ÈκΡ±£»¡°‰\¡±±íʾ¡°·Ç¡±£»ÓÉÖ®¡°‰\p(α)¡±±íʾ¡°·Çp(α)¡±(¼´¡°·ÇαÊÇp¡±Ò༴¡°α²»ÊÇp¡±µÈµÈ)¡£ÕâÑù£¬(1©Å)¡¢(2©Å)¡¢(3©Å)¾Í±íʾÏàÓ¦µÄ (1)¡¢(2)¡¢(3)¡£ÓÉ(1)¡¢(2)ÍƳö(3)¾Í±í×÷ÓÉ (1©Å)¡¢(2©Å)ÍƳö(3©Å)¡£°Ñ(1©Å)¡¢(2©Å)Óë(3©Å)µÄÕâÖÖ¹Øϵд×÷£º
¡£¡¡¡¡¡¡ (4)
ʽÖеġ°†É¡±±íʾÍƳö¡££¨4£©¿ÉÒÔ¶Á×÷£º´Ó„Nx[S(x)¡úp(x)]£¬‰\p(α)¿É(ÑÝÒïµØ)ÍƳö‰\S(α)¡£(4)±íʾ£ºÔÚÒ»¶¨µÄÌÖÂÛ·¶Î§£¨ÂÛÓò£©À²»ÂÛ¡°S¡±¡¢¡°p¡±±íʾʲôÊôÐÔ£¬¡°α¡±±íʾʲô¸öÌ壬Èç¹û„Nx[S(x)¡úp(x)]ºÍ‰\p(α)¶¼ÊÇÕæµÄ£¬Ôò‰\S(α)Ò²Ò»¶¨ÊÇÕæµÄ¡£
ÔÚ(4)ÖÐʹÓÃÁË„N¡¢‰\¡¢¡úÈý¸ö·ûºÅ¡£ËüÃÇ¿ÉÒÔ˳ÐòµØ¶Á×÷¡°ÈκΡ±£¨»ò¡°·²¡±£©£¬¡°·Ç¡±£¬¡°Ô̺¡±£¨»ò¡°Èç¹û¡Ôò¡¡±£©£¬ÕâÈý¸ö·ûºÅ˳ÐòµØ³ÆΪ¡°È«³ÆÁ¿´Ê¡±£¬¡°·ñ¶¨´Ê¡±£¬¡°Ô̺´Ê¡±¡£»¹ÒªÊ¹Ó㽡¢åæ¡¢¡Ä¡¢¡Å¡¢„OÎå¸ö·ûºÅ£¬ËüÃÇ¿É˳ÐòµØ¶Á×÷¡°µÈÓÚ¡±¡¢¡°ÓС±¡¢¡°²¢ÇÒ¡±£¨»ò¡°ÇÒ¡±¡¢¡°Ó롱£©¡¢¡°»ò¡±¡¢¡°µ±ÇÒ½öµ±¡±£»ËüÃÇ˳ÐòµØ³ÆΪ¡°µÈ´Ê¡±(»ò¡°µÈºÅ¡±)¡¢¡°´æÔÚÁ¿´Ê¡±¡¢¡°ºÏÈ¡´Ê¡±¡¢¡°ÎöÈ¡´Ê¡±¡¢¡°µÈÖµ´Ê¡±(»ò¡°µÈ¼Û´Ê¡±)¡£Õâ°Ë¸ö·ûºÅͳ³ÆΪÂß¼³£Ïî¡£·ñ¶¨´Ê¡¢Ô̺´Ê¡¢ºÏÈ¡´Ê¡¢ÎöÈ¡´ÊºÍµÈ¼Û´Ê¶¼ÊÇÃüÌ⣨»òÓï¾ä£©Á¬½Ó´Ê¡£ÓÐÁ˵Ⱥţ¬Æ©Èç¿ÉÒÔ±íʾ
ÄÇÑùµÄÍÆÀí¹Øϵ¡£»¹¿ÉÒÔ°Ñ"α¡Ùb)"¿´×÷ÊÇ¡°‰\(α=b))¡±µÄ¼òд£¬ÓÉÖ®ÓÐ
¡£
(4)ÖеÄSÓëp³ÆΪ¡°Ò»ÔªÎ½´Ê¡±£¬»¹¿ÉÒÔÓжþԪν´Ê£¬ÈýԪν´Ê£¬ÒÔ¼° nԪν´ÊµÈµÈ¡£Éè QÊÇÒ»¸ö¶þԪν´Ê£¬ÔòQ(x£¬y)±íʾxÓëyÖ®¼äÓÐQ¹Øϵ¡£±ÈÈ磬Q(x£¬y)¿ÉÒÔ±íʾ¡°x<y¡±£¬»òÕß±íʾ¡°xÓëyÊÇÂÏÉúÐֵܡ±µÈµÈ¾ù¿É¡£ÉèRÊÇÒ»¸öÈýԪν´Ê£¬ÔòR(x£¬y£¬z)±íʾx£¬y£¬zÖ®¼äÓнèR±íʾµÄÈýÏî¹Øϵ¡£±ÈÈçR(x£¬y£¬z)¿ÉÒÔ±íʾ¡°xÊÇyºÍzÁ½¸öÕýÕûÊýµÄ×îС¹«±¶Êý¡±£¬»òÕß¡°xÓëyÊÇzµÄ¸¸Ç׺ÍĸÇס±µÈµÈ¡£¶ÔÓÚÈÎÒâµÄÕýÕûÊýn¡Ý2£¬nԪν´Ê±íʾn¸ö¸öÌåÖ®¼äµÄ¹Øϵ¡£Ò»½×Âß¼ÒªÓÃÁíÒ»Àà·ûºÅ³ÆΪ¡°º¯Êý´Ê¡±£¨»ò³Æ¡°º¯Êý·ûºÅ¡±¡¢¡°º¯Êý·û¡±£©£¬½èÒÔ±íʾÊýѧÖеĺ¯Êý¡£º¯Êý¿ÉÒÔÊÇÒ»Ôª¡¢¶þÔª¡¢ÈýÔªµÄµÈµÈ¡£Óëν´ÊÏàËÆ£¬ÈκÎÕýÕûÊýn£¬¿ÉÒÔÓÐnÔªµÄº¯Êý´Ê¡£ÈçgÊǶþÔªµÄº¯Êý´Ê£¬Ôòg(x£¬y)¿ÉÒÔ±íʾ¡°xÓëyÖÐÄêÁä½Ï³¤ÕßµÄĸÇס±»ò¡°ÕûÊýxÓëyµÄ×îС¹«±¶Êý¡±µÈµÈ¡£ÉÏÃæÓÃÁË¡°α¡±±íʾ¸öÌ壬³Æ¡°α¡±Îª¡°¸öÌå´Ê¡±£¨»ò¡°¸öÌå·ûºÅ¡±¡¢¡°¸öÌå·û¡±£©£¬¿ÉÒÔÓøü¶àµÄ¸öÌå´Ê£¬¿ÉÒÔÓþßÓÐÖ±¹ÛÒâÒå·ûºÅ¡£±ÈÈç¿ÉÒÔÓá°0¡±±íʾ0£¬Óá°1¡±±íʾ1Ö®Àà¡£¡°0¡±ºÍ¡°1¡±¶¼ÊǸöÌå´Ê¡£Î½´Ê¡¢º¯Êý´Ê¡¢¸öÌå´Êͳ³ÆΪ·ÇÂß¼·ûºÅ¡£´ËÍ⣬»¹ÓÃÁË¡°x¡±¡¢¡°y¡±¡¢¡°z¡±ÕâЩ·ûºÅ£¨³ÆËüÃÇΪ±äÔª·ûºÅ£¬¼ò³Æ±äÔª·û£©ÒÔ¼°Ò»Ð©¸¨Öú·ûºÅ£¬ÈçÀ¨ºÅºÍ¶ºµã¡£·ÇÂß¼·ûºÅÖ®ÍâµÄ·ûºÅÈ«¶¼ÊÇÂß¼·ûºÅ¡£
ÓÐÁËÕâЩ·ûºÅ£¬¿ÉÒÔÓú¬ÓÐÕâЩ·ûºÅµÄ¹«Ê½£¨¼Ç³Éφ£¬φ1£¬φ2£¬¡£¬φn£¬¡£©À´±í´ïÃüÌâµÄ½ÏΪ¸´ÔÓµÄÂß¼ÐÎʽºÍÃüÌâ¼äµÄÂß¼¹Øϵ¡£Æ©ÈçÁî
ÔòÒÔϵÄÍÆÀí¹ØϵÊDZØÈ»³ÉÁ¢µÄ£º
¡£¡¡¡¡¡¡¡¡ (5)
ÈçÉÏÃæ(4)£¬(5)ÄÇÑùÇ°ÌáÓë½áÂÛÖ®¼äµÄÍÆÀí¹Øϵ£¬ÔÚÒ»½×Âß¼ÖпÉÒÔÒ»°ãµØд×÷
¡£ (6)
ÒÔ´óдµÄÏ£À°×Öĸ φ£¨»ò±ðµÄ´óдϣÀ°×Öĸ£©±íʾÍÆÀíµÄ£¨ÐÎʽ£©Ç°ÌᡣǰÌáÊÇÈô¸É¸ö¹«Ê½£¬Èô
Ôò(6)¾Í±íʾ
¼´±íʾ´Óφ1£¬φ2£¬¡£¬φn¿ÉÒÔÐÎʽµØÍƳöφ¡£Ò»½×Âß¼Ò²¾Í¿ÉÒÔ˵¾ÍÊÇÑо¿Èç(6)ÄÇÑùµÄφÓëφÖ®¼äµÄ†É¹ØϵµÄ¡£Èç¹û°Ñφ¹Ì¶¨ÏÂÀ´£¬¿´¿´ÄÄЩφ¶ÔÓÚ(6)ÊdzÉÁ¢µÄ£¬ÕâÀïµÄφÖаüº¬µÄ·ÇÂß¼·ûºÅÏÞÓÚÔÚφÖгöÏֵġ£ÕâÑù£¬φ³ÆΪһ¸ö£¨ÐÎʽµÄ£©¹«Àíϵͳ£¬ÆäÖеķÇÂß¼·ûºÅ±íʾ¹«ÀíϵͳµÄÔʼ¸ÅÄφÊǹ«ÀíϵͳφµÄÒ»¸ö£¨ÐÎʽµÄ£©¶¨Àí¡£ÕâÀïÐèÒªÌرð˵Ã÷µÄÊÇ£º(6)ÖжÔÓÚ φÓëφÖ®¼äÊÇ·ñ´æÔÚ×ņÉÕâÒ»¹ØϵÊÇÍêÈ«ÓÉ φÓëφµÄÓï·¨(syntax)Ëù¾ö¶¨µÄ¡£Õâ¾ÍÊÇ˵£¬½ö½öµØÓÉÓÚφÓëφ¾ßÓÐÔõÑùµÄ·ûºÅÅÅÁеÄÐÎʽ½á¹¹ËùÈ·¶¨£¬¶øÓëφ£¬φµÄ½âÊÍÎ޹ء£φÖеĹ«Ê½ºÍφ³ÆΪ¡°Óï¾ä¡±£¬¶ÔÓÚ¸ø¶¨µÄφÓëφ£¬ÒªÈ·¶¨(6)Õâ¹Øϵ³ÉÁ¢£¬ÐèÒª¸ø³ö(6)³ÉÁ¢µÄ¹æÔò¡£±ÈÈç¿ÉÒÔÓÐÒÔϵĹæÔò£º
¡¡¡¡¡¡¡¡(7)
¡¡¡¡¡¡¡¡(8)
µÈµÈ¡£Ïñ(6)ÄÇÑùµÄ¹ØϵµÄÐÎʽϵͳ£¨·ûºÅ¡¢¹«Ê½ºÍ¹æÔòϵͳ£©³ÆΪÂß¼ÑÝËã¡£ÊýÀíÂß¼ÊÇͨ¹ýÂß¼ÑÝËãÀ´Ñо¿ÃüÌâ¼äµÄÇ°ÌáÓë½áÂÛÖ®¼äµÄÂß¼¹ØϵµÄ¡£Ñо¿µÄÖ±½Ó¶ÔÏóÊÇÂß¼ÑÝËã¡£ÒòÖ®£¬Î½´ÊÂß¼ÍùÍù¾Í³ÆΪν´ÊÑÝË㡣ͨ¹ýÂß¼ÑÝËãÀ´Ñо¿Âß¼¾ÍÊÇÇ°ÃæËù˵µÄÐÎʽµÄ¹«Àí·½·¨»òÂ߼˹µÙ·½·¨¡£
ͨ¹ýÂß¼ÑÝËãÀ´×öÑо¿ÊÇ·ñÕæµÄÑо¿ÁËÑÝÒïÂß¼£¿ÑÝÒïÂß¼µÄ¹æÂÉÊÇ·ñ¿ÉÒÔÕâÑùÍêÈ«Í×µ±µØ±»¿Ì»£¿K.¸çµÂ¶ûÓÚ1930ÄêÖ¤Ã÷ÁË£ºÒ»½×Âß¼ÑÝËãÊÇÍêÈ«µØ¿Ì»ÁËÑÝÒïÂß¼¡£Õâ¾ÍÊÇÖøÃûµÄÍ걸ÐÔ¶¨Àí¡£
ÉèÓÐÒ»¸öÌÖÂÛÎÊÌâµÄ·¶Î§£¬³ÆΪÂÛÓò¡£Æ©ÈçÌÖÂÛµÄÊǹØÓÚÈ˵ÄÎÊÌ⣬¼´ÒÔÈËÀàΪÂÛÓò£»ÌÖÂÛ×ÔÈ»Êýʱ¼´ÒÔ×ÔÈ»Êý¼¯ÎªÂÛÓòµÈµÈ¡£¸ø¶¨Ò»¸öÓï¾ä¼¯φ£¬¾Í¾ö¶¨ÁËÒ»¸ö£¨Ò»½×£©ÓïÑÔL¡£ÕâÓïÑÔÊǽö½öÓÉφÖеķÇÂß¼·ûºÅ(ν´Ê¡¢º¯Êý´ÊºÍ¸öÌå´Ê)ºÍÂß¼·ûºÅ¹¹³ÉÓï¾ä£¬ φÒ²ÊÇÕâÑùÒ»¸öÓï¾ä¡£¶¨ÒåφÓëËüµÄÓïÑÔLÖеÄÓï¾äφÖ®¼äµÄÁíÍâÒ»¸ö¹Øϵ£¬¼Ç×÷
¡£¡¡ ¡¡¡¡¡¡¡¡¡¡(9)
φ µÄÓïÑÔLµÄ·ÇÂß¼·ûºÅ¿ÉÒÔÔÚÈÎÒ»²»¿ÕÂÛÓòÖÐ×÷¸÷ÖÖÐí¿ÉµÄ½âÊÍ£¬Ê¹Ã¿Ò»¸öLÖеÄÓï¾ä¶¼±»½âÊÍΪÕæ»ò¼ÙµÄÃüÌâ¡£(9)ÊÇ˵:¶Ôφ ÖеÄËùÓÐÓï¾äÔÚÈÎÒâ²»¿ÕÂÛÓòÖÐ×÷ÈÎÒâÐí¿ÉµÄ½âÊÍʱ¶¼ÎªÕ棬ÔòφÒ²ËæÖ®±ØÈ»½âÊÍΪÕæ¡£(9)ÖеĆÕÓë(6)ÖеĆɲ»Í¬¡£¿ÉÒÔ¶Á(6)Ϊ¡°ÓÉÐÎʽǰÌáφÐÎʽµØÍƵ¼³öÐÎʽ½áÂÛφ¡±£¬†É ¹ØϵÊÇÓë½âÊͺÍÕæ¼ÙÎ޹صģ»(9)¿ÉÒÔ¶ÁÈç¡°Ç°Ìáφ Óкó³Ðφ¡±£¬†Õ¹ØϵÊÇÓë½âÊͺÍÕæ¼ÙÓйصġ£¸çµÂ¶ûÍ걸ÐÔ¶¨Àí¿Ï¶¨£º
¡£
¸çµÂ¶ûÍ걸ÐÔ¶¨ÀíµÄÏÖ´úÐÎʽÊÇ φ †Õφµ±ÇÒ½öµ±φ †Éφ£¬ÕâÊÇÓÉL.ºà½ðÓÚ1949ÄêÕûÀíÖØÐÂÖ¤Ã÷µÄ¡£¸çµÂ¶û¶¨Àí˵Ã÷ÁËÓÃÂ߼˹µÙ·½·¨À´´¦ÀíÐÎʽÂß¼ÊÇÍ×µ±µÄ£¬¾ßÓÐÍ걸ÐÔ¡£¼´†ÉÈ·¶¨ÑϸñµØ±í´ïÁˆա£ÕⶨÀíÊÇÐÎʽÂß¼·¢Õ¹Ê·ÖеÄÀï³Ì±®£»ÎªÄ£ÐÍÂ۵Ľ¨Á¢×¼±¸ÁËÌõ¼þ£¬¶¨Àí±¾Éí¾ÍÊÇÄ£ÐÍÂÛµÄÒ»ÏîÖØ´ó³É¹û¡£
ÐÎʽÂß¼µÄ¹æÂÉÊÇÒ»ÇÐÀíÐÔ˼άËù±ØÐ빲ͬ×ñÊصĿ͹۵Ä˼άÂß¼µÄ¹æÂÉ£¬²»ÊÇÓïÑԵĹæÂÉ£¬¼È²»ÊÇ×ÔÈ»ÓïÑԵĹæÂÉ£¬Ò²²»ÊÇÐÎʽÓïÑԵĹæÂÉ¡£²»Í¬µÄÊýÀíÂ߼ѧÕßÍùÍù²ÉÓò»Í¬µÄ·ûºÅϵͳ¡¢²»Í¬µÄÐÎʽÓïÑÔ£¬²»Í¬¹ú¼®µÄѧÕß»¹Ê¹Óò»Í¬µÄ×ÔÈ»ÓïÑÔ£¬µ«Ëù±í´ïµÄÂß¼¹æÂÉÈ´Êǹ²Í¬µÄ¡£ÓÃÓïÑÔÀ´±í´ï˼άµÄ¹æÂÉʱ£¬Â߼ѧÕß×ÜÊDZÜÃâ²»ÒªÓÉÓÚÓïÑÔº¬»ì¶ø±í´ï²»È·ÇУ¬Ê§È¥¿ÆѧÐÔ¡£ÊýÀíÂß¼²ÉÓÃÐÎʽÓïÑÔ£¬ÎÞ·ÇÊÇΪÁËÈ·ÇÐÐÔ£¬²»ÊÇÒª±í´ïÓ봫ͳÂß¼²»Í¬µÄÂß¼¹æÂÉ¡£´«Í³Âß¼µÄ²»×ãÊÇÐèÒª¸øÒÔ²¹³äµÄ£¬Ò»½×Âß¼¶Ô´«Í³Âß¼×÷Á˲¹³ä¡£
ÔÚÂß¼ÑÝËãÖУ¬Ò»ÖÖÓï¾ä³ÆΪºãÕæÓï¾ä£¨»òÆÕ±éÓÐЧÓï¾ä£©µÄ£¬ÒýÆðÂ߼ѧÕßÌØÊâÖØÊÓ¡£ÕâÑùµÄÓï¾äφ¾ÍÊǶÔÈκÎÓï¾ä¼¯φ£¬φ†ÉφÊǺã³ÉÁ¢µÄ¡£ÕâÒ»µãµÈ¼ÛÓÚ˵£ºµ±φ¿Õʱ£¬φ†Éφ³ÉÁ¢£¬´Ëʱ¼Ç×÷†Éφ£¬½èÒÔ±íʾ£¬φµÄ³ÉÁ¢²»ÐèҪǰÌá¡£Â߼ѧÕßÍùÍù³ÆºãÕæÓï¾äΪ(ÐÎʽ)Âß¼¹æÂÉ¡£ºãÕæÓï¾äµÄÖØÒªÐÔÔÚÓÚ£¬(6)³ÉÁ¢µÄ³ä·Ö±ØÒªÌõ¼þÊÇ£¬ÔÚφÖбØÈ»´æÔÚ×ÅÓÐÇî¸öÓï¾äφ1£¬φ2£¬¡£¬φnʹµÃ
¡¡¡¡¡¡¡¡ ¡¡¡¡ (10)
¡¡¡¡¡¡¡¡ (11)
³ÉÁ¢¡£(10)ºÍ(11)°üÀ¨
†ÉφÕâÒ»Çé¿ö£¬¼´n=0¡£²»ÂÛ(11)ÖеÄnÊDz»ÊÇ0£¬†ÉÓÒ·½µÄÓï¾ä×ÜÊǺãÕæµÄ¡£ºãÕæÓï¾äµÄÀý×ÓÈçφ¡úφ£¬Ö®Àà¡£(6)Óë(11)µÄÉÏÊö¹Øϵ¼È˵Ã÷Áˆɺ͡úÖ®¼äµÄ¹ØϵÓÖ˵Ã÷ÁËËüÃǵÄÇø±ð¡£
Êýѧµ×Âß¼
Ö÷ÒªÖ¸½ÏΪ¹ãÒåµÄÊýÀíÂß¼£¬Ò²¾ÍÊÇÊýѧ»ù´¡Ñо¿ÐγɵÄÄ£ÐÍÂÛ¡¢¹«Àí¼¯ºÏÂÛ¡¢Ö¤Ã÷Âۺ͵ݹéÂÛËĸöÊýÀíÂß¼·ÖÖ§¡£
Ä£ÐÍÂÛÑо¿ÐÎʽÓïÑԺͶÔËüµÄ½âÊÍÖ®¼äµÄ¹ØϵµÄÀíÂÛ¡£¶ÔÓÚÒ»¸öÈçÉÏÊöµÄÂß¼ÑÝËãÖеÄÓï¾ä¼¯φ ¾ö¶¨ÁËÒ»¸öÓïÑÔL£¬¸ø³öÒ»¸ö½âÊÍM£¬¾ÍÊÇLµÄÄ£ÐÍ¡£Õâ¾ÍÊÇ˵£¬Ä£ÐÍÂÛ¾ÍÊÇÑо¿MÓëL¼ä¹ØϵµÄÀíÂÛ¡£µ±½¨Á¢φʱ£¬ÓÃÁËÒ»¸öÓïÑÔL£¬¿ÉÒÔÓÐÐí¶à²»Í¬µÄ½âÊÍ£¬ÓÐÐí¶à²»Í¬µÄÄ£ÐÍ¡£µ«ÊÇΪÁËÑо¿Ò»¶¨µÄÊýѧ½á¹¹¶ø½¨Á¢Ò»¸öÓïÑÔLºÍÓï¾ä¼¯φ ʱÊÇÓÐÔ¤¶¨µÄ½âÊÍMµÄ£¬¼´Ä¿µÄÊÇΪÁËÑо¿Êýѧ½á¹¹M¡£¿ÉÒÔ´ÓÁ½·½Ã濼ÂÇÎÊÌ⣺һ·½Ã棬´ÓÒÑÓеÄÊýѧ½á¹¹³ö·¢£¬Ñо¿ÕâÖֽṹ£¬Ñо¿ÖлáÐèÒª°ÑÊýѧ½á¹¹µ±×÷ÓïÑÔµÄÔ¤¶¨Ä£ÐͽøÈëÄ£ÐÍÂÛµÄÑо¿¡£ÕâÖÖÑо¿ÊdzöÓÚ¶ÔÊýѧ½á¹¹µÄ´úÊýÐÔÖʵÄÀí½â¡£ÁíÒ»·½Ã棬´ÓÐÎʽÓïÑÔL³ö·¢£¨²»ÂÛL¼°ÆäÌض¨µÄÓï¾ä¼¯φ ÊÇÔõÑùµÃµ½µÄ£©Ñо¿LÓëËüµÄÄ£ÐÍÖ®¼äµÄ¹Øϵ£»µ±È»£¬Ñо¿ÖпÉÒÔʹÓø÷ÖÖÊýѧ¹¤¾ß¡£ÕâÖÖÑо¿ÊdzöÓÚÊýѧ»ù´¡Ñо¿µÄÐèÒªºÍÄ¿µÄ¡£Ç°Ò»·½ÃæµÄ¿¼ÂÇÊÇ·º´úÊýÐÔÖʵģ¬ºóÒ»·½ÃæµÄ¿¼ÂÇÊÇÄ£ÐÍÂÛÐÔÖʵġ£Ä£ÐÍÂÛÓë·º´úÊýµÄ·¶Î§£¨ÍâÑÓ£©ÊǺÜÄÑ»®·ÖÇå³þµÄ£¬¶øÇãÏòºÍÄ¿µÄÔò¿ÉÒÔÊDz»Í¬µÄ¡£1898Äê³ö°æÁ˵ÚÒ»±¾ÓÉA.N.»³Ìغ£ËùÖøµÄ·º´úÊýרÖø¡£A.Ëþ¶û˹»ù1931Äê·¢±í¡¶ÐÎʽÓïÑÔÖÐÕæµ×¸ÅÄî¡·Ò»ÎÄ£¬Ä£ÐÍÂ۵ķ¢Õ¹²ÅÓÐÁË»ù´¡¡£¸çµÂ¶û1930Äê·¢±íµÄÍ걸ÐÔ¶¨ÀíÊÇÄ£ÐÍÂÛÐÔÖʵĽá¹û¡£ÔÚ´Ë֮ǰ»¹ÓÐÆäËûÏ൱ÖØÒªµÄÄ£ÐÍÂÛÐÔÖʵĽá¹û¡£µ«ÊÇ×÷ΪÊýѧÂß¼µÄÒ»¸ö·½ÏòµÄÄ£ÐÍÂÛ£¬ÈÔÍÆÓÉËþ¶û˹»ùµÄ¹¤×÷ÕØʼ£¬¶øÓÉA.³±öËïµÈѧÕߵűÏ×µÃÓÚ20ÊÀ¼Í50Äê´úÐγɡ£
¹«Àí¼¯ºÏÂÛÈç¹ûÔÚÑо¿Ä£ÐÍÂÛʱ¹ØÐĵÄÔ¤¶¨Ä£ÐÍÊǼ¯ºÏÂÛ£¬ÄǾͽøÈëÁ˹«Àí¼¯ºÏÂ۵ķ¶Î§¡£²»Äܰѹ«Àí¼¯ºÏÂÛ¿´×÷Ä£ÐÍÂÛµÄÒ»¸ö·ÖÖ§¡£¸÷ÃÅÊýѧÖеĸÅÄî¡¢¶¨Òå¡¢¶¨ÀíºÍÖ¤Ã÷¶¼¿ÉÒÔÓü¯ºÏÂÛÓïÑÔÀ´±í´ï¡£Õâ¾ÍÊÇ˵£¬¸÷ÃÅÊýѧ¶¼¿ÉÒÔ£¨ÔÚÒ»¶¨ÒâÒåÏ£©»¹Ôµ½¼¯ºÏÂÛ¡£ËùÒÔ£¬µì¶¨Êýѧ»ù´¡¾Í³ÉΪµì¶¨¼¯ºÏÂÛ»ù´¡£¬¹é½á³ÉΪ¹«Àí¼¯ºÏÂÛµÄÑо¿¡£¹«Àí¼¯ºÏÂÛ¶ÔÓÚÊýѧ»ù´¡ÓÐÆäÌØÊâÒâÒå¡£¸çµÂ¶û1940Äê·¢±íËûµÄ½²Ñݼ¡¶Ñ¡Ôñ¹«ÀíºÍ¹ãÒåÁ¬Ðøͳ¼ÙÉè¶Ô¼¯ÂÛ¹«ÀíµÄÒ»ÖÂÐÔ¡·ÖÐÖ¤Ã÷ÁË£¬Èç¹û¼¯ÂÛ¹«ÀíÊÇÎÞì¶ÜµÄ(¼´Ðµ÷µÄ»òÒ»Öµġ¢ÏàÈݵÄ)£¬ÄÇô¼ÓÉÏÑ¡Ôñ¹«ÀíºÍ¿µÍеĹãÒåÁ¬Ðøͳ¼ÙÉè(¼´¶ÔÈκÎÐòÊý)Ò²ÊÇÎÞì¶ÜµÄ¡£P.J.¿Æ¶÷ÓÚ1963¡«1966Äê·¢±í¼¯ÂÛ¹«Àí¶ÀÁ¢ÐÔµÄһЩÂÛÎÄ£¨²Î¼ûËû1966Äê³ö°æµÄ¡¶¼¯ºÏÂÛÓëÁ¬Ðøͳ¼ÙÉè¡·Ò»Ê飩£¬Ö¤Ã÷ÁË£¨¹ãÒ壩Á¬Ðøͳ¼ÙÉèºÍÑ¡Ôñ¹«ÀíµÄ¶ÀÁ¢ÐÔ£¬¼´£ºÈç¹û¼¯ÂÛ¹«ÀíÎÞì¶Ü£¬ÄÇô¼ÓÉÏÁ¬Ðøͳ¼ÙÉ裨ѡÔñ¹«Àí£©£¬»ò¼ÓÉÏÆä·ñ¶¨¶¼²»Ã¬¶Ü¡£ÕâЩ³É¹ûÒÑΪÊýѧ½çËù¹«ÈÏ¡£µ«ÊÇÊýѧ»ù´¡Ñ§Õ߸÷¸ù¾Ý×Ô¼ºµÄÊýѧ¹Û¿ÉÒԶԴ˼ûÈʼûÖÇ£¬¸÷Óв»Í¬£¬ÓÐËùÕùÒé¡£Êýѧ»ù´¡ÎÊÌâÓдýÓÚ¹«Àí¼¯ºÏÂ۵ĽøÒ»²½Ñо¿¡£
Ö¤Ã÷ÂÛÈç¹ûÒ»¸öÐÎʽϵͳφ ¶ÔÓÚLÖеÄÈκÎÓï¾äφ£¬²»ÄÜͬʱ
¡¡¡¡¡¡¡¡(12)
¡¡¡¡¡¡¡¡(13)
¶¼³ÉÁ¢£¬¾Í˵φ ÊÇÎÞì¶ÜµÄ¡£Ö¤Ã÷ÂÛÔÀ´¾ÍÊÇÑо¿ÊýѧÎÞì¶ÜÐÔÎÊÌâµÄ¡£ËüÊÇ°´Ï£¶û²®Ìؼƻ®µÄ˼Ïë½øÐеÄÊýѧ»ù´¡Ñо¿£¬ÐγÉÁËÊýÀíÂß¼µÄÒ»¸ö·ÖÖ§¡£ÏÖÔÚÔòÓ¦µ±Ëµ£¬Ö¤Ã÷ÂÛÊÇÒÔÊýѧ֤Ã÷ΪÑо¿¶ÔÏóµÄÊýѧ¡£ÓÉÓÚ¸çµÂ¶û1931Äê·¢±íÁ˲»Í걸ÐÔ¶¨Àí£¬Ö¤Ã÷ÂÛµÄÑо¿ºÍÔÀ´²»Í¬ÁË¡£¸çµÂ¶û¶¨Àí˵£¬Ò»¸öÊýѧÀíÂÛ£¬Ö»Òª°üº¬×Å×ÔÈ»ÊýµÄÀíÂÛ£¨È缯ºÏÂÛ£©£¬ÄÇôÕâÀíÂÛµÄÐÎʽµÄ¹«Àíϵͳφ Ò»¶¨ÊDz»Í걸µÄ£¬¼´Ò»¶¨ÕҵóöÒ»¸öφ£¬Ê¹(12)¡¢(13)¶¼²»³ÉÁ¢¡£¸çµÂ¶ûµÄ£¨µÚ¶þ£©²»Í걸ÐÔ¶¨Àí»¹Ëµ£¬Èç¹ûφ ÊÇÒ»Öµģ¬ÄÇô£¬ÕâÒ»ÖÂÐÔ²»¿ÉÄÜÔÚφ ÖÐÖ¤³ö£¬±ØÐëÔÚÒ»¸ö±Èφ ¸üÇ¿µÄϵͳÀï²ÅÄÜÖ¤Ã÷¡£Õâ¾Íʹ֤Ã÷ÂÛµÄÄÚÈÝ·¢ÉúÁ˱仯£¬Õû¸öÊýÀíÂß¼¶¼Êܵ½Ï൱´óµÄÓ°Ïì¡£¸çµÂ¶ûÄܹ»Ö¤Ã÷ËûµÄ¶¨Àí£¬ÊÇÓÉÓÚËûÔÚJ.°£¶û²¼Àʹ¤×÷µÄ»ù´¡ÉÏ¿´Çå³þÁËÖ¤Ã÷Óë¼ÆËãµÄ¹Øϵ£¬ÔËÓÃÁ˵ݹéÂ۵ļ¼ÇÉ¡£
µÝ¹éÂÛÒ²³ÆËã·¨ÂÛ£¬ÊÇÑо¿Ëã·¨¡¢¿É¼ÆËãÐÔ¡¢²»¿É¼ÆËãÐÔµÄÊýѧ¡£Ëã·¨ÓëÊýѧÓÐ×ÅͬÑù³¤µÄÀúÊ·¡£µÝ¹éÂÛÑо¿µÄÊÇËã·¨µÄÒ»°ã¹æÂÉ£¬Ñо¿ÊýѧµÄÎÊÌâÀàÊÇ·ñ´æÔÚ×ÅËã·¨½â¡£Ò»ÀàÎÊÌâ´æÔÚ×ÅËã·¨½â¾ÍÊÇÕâÀàÎÊÌⶼÊǿɽâ¾öµÄ£»Ò»ÀàÎÊÌâ²»´æÔÚ×ÅËã·¨½â£¬¾ÍÊÇÕâÀàÎÊÌâ²»¶¼Êǿɽâ¾öµÄ¡£Ñо¿ÎÊÌâÀàµÄ¿É½â¾öÐԺͲ»¿É½â¾öÐÔ¾ÍÊÇÊýÀíÂß¼ÖеÄÅж¨ÎÊÌ⣬ÕâÊǹØϵµ½È«²¿ÊýÀíÂß¼µÄÎÊÌâ¡£µÝ¹éÂÛµÄÑо¿¿ªÊ¼ÓÚ¶Ô×ÔÈ»ÊýµÄµÝ¹é(¿É¼ÆËã)º¯ÊýµÄÑо¿£¬×ÔÈ»¾ÍÍƹ㵽¹«Ê½¡¢ÐòÊý£¨È«²¿ÐòÊý»òijһÐòÊýα¡Ýω£©ºÍ¼¯ºÏµÈ¸÷ÖÖÊýѧ½á¹¹µÄµÝ¹éº¯ÊýµÄÑо¿¡£¼¯ºÏÂÛÖС°¿É¹¹³É¼¯¡±ºÍ¡°Á¦ÆÈ·¨¡±¸ÅÄîÊǹãÒåµÄµÝ¹éÂ۵ĸÅÄî¡£µÝ¹éÂÛÓë¹¹ÔìÐÔÊýѧ²»¿É·Ö£¬Êǹ¹ÔìÐÔÊýѧµÄÀíÂÛ»ù´¡¡£
ÈçÉÏËùÊöËÄÂÛµÄÄÚÈݶ¼¿ÉÒÔ¿´×÷ÊÇÒ»½×Âß¼µÄÑÓÉ죬ÒòΪËüÃǶ¼¿ÉÒÔÔÚÒ»½×Âß¼µÄ·¶Î§ÀïÌÖÂÛ¡£Ò»½×Âß¼ÊÇ×î»ù±¾µÄÂß¼£¬ÔÚÒ»½×Âß¼µÄ»ù´¡ÉÏÌÖÂÛµÄËÄÂÛÒ²ÊÇËÄÂÛÖÐ×î»ù±¾µÄ²¿·Ö¡£¸ßÓÚÒ»½×µÄ¸ß½×Âß¼Ò²ÓÐËüµÄÖØÒªÐÔ¡£
Ò»½×Âß¼ÑÝËãÖеÄν´Ê¡¢º¯Êý´Ê³ÆΪһ½×ν´Ê¡¢Ò»½×º¯Êý´Ê£¬±äÔª·ûºÅ¶¼ÊǸöÌå±äÔª·ûºÅ¡£Èç¹ûÓÐÒ»½×ν´ÊµÄ±äÔª·ûºÅ£¬¶øÇÒÐí¿ÉÓÃÁ¿´Ê£¨¼´„N£¬å棩À´Ô¼Êø£¬ÕâÑù¾ÍÓÉÒ»½×Âß¼ÑÝËãÀ©³äΪ¶þ½×Âß¼ÑÝËãÁË¡£±ÈÈç xÊÇÒ»¸öÒ»ÔªµÄν´Ê±äÔª·ûºÅ£¬ÔÚ¶þ½×Âß¼ÑÝËãÀïÓÐÕâÑùµÄÓï¾ä
¡¡(14)
ÕâÊÇÒ»¸ö¶þ½×Âß¼ÑÝËãÖеÄÓï¾ä£¬¿ÉÒÔÓã¨14£©À´¶¨Òå¡°α=b)¡±¡£¼´
ÊǶþ½×Âß¼ÑÝËãÖеĺãÕæÓï¾ä¡£ÔÚ¶þ½×Âß¼Öл¹Ðí¿ÉÓжþ½×µÄν´Ê¡£±ÈÈçDÊÇÒ»¸ö¶þÔªµÄ¶þ½×ν´Ê£¬Ð´³öÒ»¸ö°üº¬DµÄ¹«Ê½Èç
¡¡¡¡¡¡¡¡(15)
ÕâÊÇÒ»¸ö¶þ½×Âß¼µÄÓï¾ä¡£(15)ÖеÄY£¬Z ¶¼ÊÇ(¶þÔªµÄ)Ò»½×µÄν´Ê±äÔª·ûºÅ£¬±íʾD ÊÇÁ½¸ö¶þԪν´ÊÖ®¼äµÄÒ»ÖÖ°üº¬¹Øϵ¡£ÈçY±íʾ<£¬Z±íʾ¡Ü£¬ÔòD±íʾ£¼°üº¬ÓÚ¡ÜÖ®ÖС£ÔÚ¶þ½×Âß¼ÖпÉÒÔÓÐÏñDÕâÑùµÄν´Ê£¬µ«²»Ðí¿ÉÓжÔÓ¦ÓÚD µÄ¶þ½×µÄν´Ê±äÔª·ûºÅ£»Èç¹ûÐí¿ÉÓöþ½×µÄν´Ê±äÔª·ûºÅ£¬²¢Ðí¿ÉÓÃÁ¿´ÊÀ´Ô¼Êø£¬¾Í½øÈëÈý½×Âß¼·¶Î§ÁË¡£¶ÔÓÚÈκÎÕýÕûÊýn£¬¿ÉÒÔÓÐn½×Âß¼¡£Ò»°ã½²µÄ¸ß½×Âß¼£¬¾ÍÊǽ²°üÀ¨ËùÓÐn½×Âß¼µÄ¸ß½×Âß¼¡£
ÓÉÓÚ¼¯ºÏÂÛ¹«ÀíµÄʹÓú͸çµÂ¶ûÍ걸ÐÔ¶¨ÀíµÄÖ¤Ã÷£¬¸ß½×Âß¼µÄÊýѧ»ù´¡ÒâÒåÒ²ËæÖ®¶ø±ä¡£¸çµÂ¶ûÔÚ1936Äê·¢±íÁËһƪ¶ÌÎÄ¡¶ÂÛÖ¤Ã÷³¤¶È¡·ÖÐ˵:ÓÉn½×Âß¼¹ý¶Éµ½n+1½×Âß¼£¬²»µ«¿ÉÒÔÖ¤Ã÷ÔÀ´ÔÚn½×Âß¼Öв»ÄÜÖ¤³öµÄ¶¨Àí£¬¶øÇÒ´æÔÚ×ÅÎÞÇî¶àµÄÔÚ n½×Âß¼Öб¾À´¿ÉÖ¤µÄ¶¨ÀíÖ¤Ã÷µÄ³¤¶È¼«´óµØËõ¶Ì¡£Õâ¾Í˵Ã÷ÁË£¬¸ß½×Âß¼¶ÔÓÚÖ¤Ã÷ÂÛ¡¢µÝ¹éÂÛ(ÌرðÊǼÆË㸴ÔÓÐÔ)¡¢¹«Àí¼¯ºÏÂÛºÍÒ»½×Âß¼ÖеÄÖ¤Ã÷µÄÑо¿¶¼ÊǺÜÓÐÒâÒåµÄ¡£¸çµÂ¶ûÔÚ1936ÄêÖ¸³öµÄ·½ÏòµÄÑо¿£¬¿ªÕ¹µÃºÜ²»¹»¡£
×î¹ãÒåµÄÊýÀíÂß¼×î¹ãÒåµÄÊýÀíÂß¼Ó¦µ±°üÀ¨ÄÄЩÄÚÈÝÊÇÄÑÓÚ×÷ϵͳ¸ÅÀ¨µÄ¡£ÏÂÃæÊÇ20ÊÀ¼ÍÄÚ³öÏֵġ¢ÄÑÓÚ¹éÈëÇ°ÊöµÄһЩÑо¿·½Ïò¡£
¶àÖµÂß¼¿ÉÒÔ¿´×÷³¬³ö¹ÅµäÂß¼¾ÖÏÞµÄÒ»¸öÑо¿·½Ïò¡£ÔڹŵäÂß¼ÖУ¬ÃüÌâÖ»¿ÉÄÜÓÐÕæ»ò¼ÙÁ½¡°Öµ¡±£¬¾µäÂß¼ÊǶþÖµÂß¼¡£ÏÖ´ú¶àÖµÂß¼Ñо¿¶àÓÚ¶þÖµµÄÂß¼ÑÝË㣬¼´ÈýÖµÒÔÖÁ¸ü¶àÖµµÄÂß¼ÑÝËã¡£×÷ΪһÖÖÊýѧÑо¿£¬ÓÐÂß¼µÄÒâÒ壬ҲÓзÇÂß¼µÄÒâÒå¡£¶ÔÓÚn(¡Ý2)Ôª¼¯ÉϵĿÉÄܵĺ¯Êý¼¯µÄÑо¿¾ÍÊÇnÖµÂß¼µÄÎÊÌ⣬Óи÷ÖÖÓ¦Óá£
ģ̬Âß¼ÊÇÁíÒ»·½Ïò¡£ÔÚģ̬Âß¼ÖгýÁËÒ»½×Âß¼ÖÐÒѽ²µ½µÄÃüÌâÁ¬½Ó´Ê£¬»¹ÓС°¿ÉÄÜ¡±£¬¡°±ØÈ»¡±£¬¡°ÑϸñÔ̺¡±¼¸¸öÁ¬½Ó´Ê¡£ÒÔ¡°¡±±íʾ¿ÉÄÜ£¬¡°‰\¡±¿ÉÒÔ¶Á×÷¡°²»¿ÉÄÜ¡±¡£ÕâÈý¸öÁ¬½Ó´Ê¿ÉÒÔÈçϱíʾ£º
ģ̬Âß¼ÖÐÒý½øÑϸñÔ̺´Ê£¬ÊÇÓÉÓÚһЩÂ߼ѧÕ߶ÔÓڹŵäÂß¼ÖеÄÔ̺´Ê¡ú£¨¶ÔÓ¦ÓÚÑϸñÔ̺´Ê£¬³Æ¡úΪ¡°ÕæÖµÔ̺´Ê¡±£©µÄһЩ¹æÂɵĴæÒÉ¡£µ«ÊÇģ̬Âß¼Ñо¿µÄ³É¹ûÊÇÓÐÒâÒåµÄ£¬¶øÇÒÔÚÐí¶à·½ÃæÊÇÓÐÓ¦Óõġ£Ä£Ì¬Âß¼ÊÇÊýÀíÂß¼ÖÐÒ»¸öºÜÖØÒªµÄ·ÖÖ§¡£Ò»°ãÂ߼ѧ¼ÒÍùÍù°Ñģ̬Âß¼¹éÈëÄÚºÂß¼£¬ÒÔÇø±ðÓÚ¾µäÂ߼ΪÍâÑÓÂß¼¡£ÄÚºÂß¼ÊǹØÓÚÒâÒåµÄÂß¼£¬¶øÍâÑÓÂß¼Ö»Éæ¼°ÃüÌâµÄÕæ¼ÙÖµºÍ¸ÅÄîËùÖ¸µÄ·¶Î§£¨¼´ÍâÑÓ£©¡£Ä£Ì¬Âß¼ÔÚ½øÈë20ÊÀ¼Í60Äê´úÒÑ·¢Õ¹µÃºÜ³ÉÊ죬·¢Õ¹³öģ̬ģÐÍÂÛ¡£µ«ÊÇ£¬¶ÔÓÚÒ»°ãµÄ¡°ÄÚºÂß¼¡±ºÜÄÑ×÷ÊýÀíÂ߼ѧÕß¹«ÈϵĿ̻¡£A.ÇðÆæÔÚ1941ÄêʱÔøÌÖÂÛµ½¶Ôº¯Êý¸ÅÄîµÄ¡°ÍâÑÓ¡±ºÍ¡°ÄÚº¡±µÄÁ½ÖÖ²»Í¬µÄÀí½â¡£Ëû˵£ºƒ¡¢gÁ½¸öº¯Êý£¬ÈôËüÃǵĶ¨ÒåÓòÏàͬ£¬µ±ËüÃǵÄÖ÷±äԪȡֵÏàͬʱº¯ÊýÖµÒ²¶¼Ïàͬ£¬ÔòÈÏΪƒÓëgÊÇͬһ¸öº¯Êý£¬ÕâÊǶԡ°º¯Êý¡±ÍâÑÓµØÀí½â£»Èç¹ûÈ¡ÖµµÄ¹æÔò²»Í¬£¨¾¡¹ÜÍâÑÓµØÀí½âƒ¡¢gÊÇÏàͬµÄ£©¾Í°ÑƒÓëg¿´×÷ÊÇÁ½¸ö²»Í¬µÄº¯Êý£¬ÄÇôÕâ¾ÍÊǶԺ¯ÊýµÄÄÚºµØÀí½âÁË¡£ÄÚºÂß¼ÊÇÖØÒªµÄ£¬µ«ÈçºÎÈ·Çеض¨Òå¡°ÄÚºÂß¼¡±»¹´æÔÚ×ÅÎÊÌâ¡£
ÒÔÉϽ²µ½¹ýµÄÂß¼¶¼ÊÇÑÝÒïÂß¼¡£Â߼ѧ¼ÒÍùÍù°Ñ¹éÄÉÂß¼ÓëÑÝÒïÂß¼²¢ÁС£ÑÝÒïÂß¼ÊÇÑо¿ÑÝÒïÍÆÀíµÄÂß¼£¬¹éÄÉÂß¼ÊÇÑо¿¹éÄÉÍÆÀíµÄÂß¼¡£ÏÖ´úÊýÀíÂß¼ÖеĹéÄÉÂß¼Ò²ÊÇͨ¹ý¶ÔÐÎʽµÄÂß¼ÑÝËãÖÐÓï¾ä¼äµÄÐÎʽ¹ØϵÀ´Ñо¿µÄ¡£ÔÚÏÖ´ú¹éÄÉÂß¼ÖУ¬"È·¶¨¶È"»ò¡°È·¶¨³Ì¶È¡±µÄ¸ÅÄîºÜ»ù±¾¡£È·¶¨¶È¿ÉÒÔ±È×÷ÑÝÒïÂß¼ÖеÄÔ̺´Ê£¨¾µäÂß¼ÖеÄÕæÖµÔ̺´Ê¡ú£¬»òģ̬Âß¼ÖеÄÑϸñÔ̺´Ê£©¡£ÔÚÑÝÒïÂß¼ÖÐÓÐÁË¡¢φÁ½¸öÓï¾ä£¬¿ÉÒÔÓÃÔ̺´ÊÔì³öеÄÓï¾ä¡úφ»òφ¡£ÔÚ¹éÄÉÂß¼ÖÐÔò¿ÉÒÔÔì³ö
¡¡¡¡¡¡¡¡(16)
Ëü¿ÉÒÔ¶ÁΪ¡°¶ÔÓÚ¶øÑÔφµÄÈ·¶¨¶ÈΪr¡±»ò¡°Ô̺φµÄÈ·¶¨¶ÈΪr¡±»ò¡°Èç¹ûÔòφµÄÈ·¶¨¶ÈΪr¡±µÈ¡£ (16)ÖÐµÄ rÊÇ0Óë1Ö®¼ä£¨0Óë1Ò²ÔÚÄÚ£©µÄÒ»¸öʵÊý¡£ÕâÊǶÔÓÚ¡°È·¶¨¡±µÄÒ»ÖÖ¶ÈÁ¿¸ÅÄî¡£¿ÉÒÔ°Ñ(16)¿´×÷±íʾÕâÑùÒ»¸ö¶þÔªµÄº¯Êý£¨¿É³Æ֮Ϊ¡°È·¶¨¶ÈµÄº¯Êý¡±£©¹Øϵ£º
¡£
ÈçºÎ¶¨ÒåÕâ¸öº¯Êý£¬Óи÷ÖÖ;¾¶¡£Â߼ѧ¼Ò¡¢¿ÆѧÕÜѧ¼ÒR.¿¨ÄÉÆÕÓÚ1950Äê³ö°æµÄ¡¶¸ÅÂʵÄÂß¼»ù´¡¡·Ò»ÊéÖÐÌá³öÁ˽¨Á¢¹éÄÉÂß¼µÄ;¾¶¡£ËûÓÃÊýÀíÂß¼µÄ·½·¨·ÖÎöÁËÂß¼¹ý³Ì£¬ÈÏΪ¡°¹éÄÉ¡±ºÍ¡°¸ÅÂÊ¡±ÊÇÏàͬµÄ¡£ËûµÄÂÛÌâµ¼Ïò¶Ô¡°¹éÄÉ¡±µÄÓïÒå·ÖÎöºÍ½¨Á¢ÑϸñµÄ¹éÄɵÄÊýÀíÂß¼¡£ÎªÁËÑо¿¹éÄÉÂß¼£¬ÀàËÆÓÚÑо¿ÑÝÒïÂß¼£¬¿ÉÒÔ½¨Á¢¸÷ÖÖ¹éÄÉÂß¼ÑÝËã¡£¹éÄÉÂß¼£¬ÊÇÔÚ20ÊÀ¼ÍÀïÓÉÓÚÊýÀíÂß¼ºÍÊýѧ»ù´¡ÀíÂ۵Ľ¨Á¢ºÍ·¢Õ¹²Å¿ªÊ¼ÐγÉÒ»ÃÅ¿ÆѧµÄÂß¼¡£
¿ÉÒÔ¹éÈë²»ÊÇÓÉÓÚÊýѧ»ù´¡Ñо¿Ä¿µÄµÄÂß¼£¬»òÕß±»ÈÏΪÊÇÂß¼µÄºÜ¶à£¬Èçʱ̬Âß¼¡¢µÀÒåÂß¼¡¢ÈÏʶÂß¼µÈµÈ¡£ÓÉÓÚ±ðµÄѧ¿ÆÖÐÉæ¼°¡°Âß¼¡±ÎÊÌâ¶øÐγɵġ°Âß¼¡±Ò²ºÜ¶à£¬ÈçÁ¿×ÓÂß¼¡¢¼ÆËã»úÂß¼¡¢³ÌÐòÂß¼µÈµÈ£¬²»ÄÜÒ»Ò»Áо١£Èç¹û³ÐÈÏËüÃǶ¼ÊÇÂß¼£¬ÄÇÒ²¾Í¶¼ÊÇÊýÀíÂß¼£¬ÒòΪ¶¼ÊÇÓÃÊýѧ¹¤¾ßºÍ·½·¨À´Ñо¿µÄ¡£ÔÚ½øÈë70Äê´úÖ®ºó£¬ÓÉÓÚ¿Æѧ¡¢¼¼ÊõµÄ·¢Õ¹£¬ÔÚ¸÷Ñо¿ÁìÓòÖж¼É漰˼άµÄÂß¼¹æÂÉÎÊÌ⣬´Ó¸÷·½ÃæÒªÇóÃܼ¯¸÷ÖÖ֪ʶ¡¢³ÎÇå¸÷ÖÖÂß¼ÎÊÌâ¡£ÊýÀíÂß¼¼°ÆäÓ¦ÓÃÕýÔÚºÜѸËٵط¢Õ¹¡£ÔÚÕâÖÖÇé¿öÏ£¬×î¹ãÒåµÄÊýÀíÂß¼µÄÌåϵ½á¹¹ÊµÔÚÄÑÓÚ×÷³öÃ÷È·µÄ¿Ì»¡£µ«ÊÇ£¬´Ó×ܵķ¢Õ¹Ç÷ÊÆ¿´£¬¶ÔÓÚ×î¹ãÒåµÄÊýÀíÂß¼À´Ëµ£¬ÊýѧÂß¼µÄÄÚÈÝÊÇ»ù´¡£¬ÊÇÊýÀíÂß¼·¢Õ¹µÄÖص㡣
ÏÖ´úÊýÀíÂß¼µÄ»ù±¾Ìصã
¹ØÓÚÏÖ´úÊýÀíÂß¼µÄ»ù±¾Ìص㣬¿É´ÓÊýÀíÂß¼ÓëÂß¼¡¢ÊýѧºÍ¼ÆËã»ú¿ÆѧÈý¸öѧ¿ÆÁìÓòµÄ¹ØϵÀ´¼òµ¥µØ˵Ã÷¡£
ÊýÀíÂß¼ÓëÂß¼µÄ¹Øϵ¼ò¶øÑÔÖ®£¬ÊýÀíÂß¼¾ÍÊǾ«È·»¯¡¢Êýѧ»¯µÄÐÎʽÂß¼¡£µ«ÓÐÈ˻ỳÒÉÊýÀíÂß¼ÀïÊÇ·ñ»á°üÀ¨Ò»Ð©²»ÊôÓÚÐÎʽÂß¼µÄÄÚÈÝ£¬»òÕßÐÎʽÂß¼µÄÄÚÈÝÊÇ·ñÈ«¶¼ÄÜ°üÀ¨ÔÚÊýÀíÂß¼ÀƩÈ磬¹ØÓÚÑÇÀïÊ¿¶àµÂµÄÈý¶ÎÂÛʽÀíÂÛ£¬»áÓÐÈËÈÏΪ²»ÄÜÈçÏÖ´úÊýÀíÂ߼ѧÕßÄÇÑùÀí½â£¨ÏóÏ£¶û²®ÌØÓë°¢¿ËÂüÔÚ¡¶ÀíÂÛÂß¼»ù´¡¡·Ò»ÊéÖоͽ²ÁËÑÇÀïÊ¿¶àµÂµÄÈý¶ÎÂÛ£©¡£¶ÔÑÇÀïÊ¿¶àµÂÈý¶ÎÂÛÓ¦µ±ÔõÑùÀí½â£¬±¾À´ÔÚÂ߼ѧÕßÖоÍÓзÖÆç¡£²¨À¼ÖøÃûÊýÀíÂ߼ѧ¼ÒJ.Î俨лάÆæÉîÈëÑо¿ÁËÑÇÀïÊ¿¶àµÂÏ£À°ÎĵÄÂß¼ÔÖø¡¢¶ÔÆäÔÖøµÄ×¢Êͺʹ«Í³Â߼ѧÕßµÄÖø×÷£¬ÓÚ1951Äê³ö°æÁËÒ»±¾¡¶ÑÇÀïÊ¿¶àµÂµÄÈý¶ÎÂÛ¡·×¨Öø£¬ÏµÍ³µØ³ÂÊöºÍÌÖÂÛÁËÑÇÀïÊ¿¶àµÂÂß¼ºÍ´«Í³Âß¼ÎÊÌâ¡£ÑÇÀïÊ¿¶àµÂµÄÂß¼ÊǾÊÜÁËÐí¶àÎó½âµÄ£¬Îó½âÖ÷Òª²úÉúÓÚÂ߼ѧÕß°ÑÑÇÀïÊ¿¶àµÂÂß¼µÈͬÓÚÔÚÑÇÀïÊ¿¶àµÂÖ®ºó´«Í³Âß¼Öø×÷ÖÐËù½²µÄÈý¶ÎÂÛʽ¡£Î俨лάÆæµÄÖø×÷ÓÃÊýÀíÂß¼µÄ·½·¨£¬³ÎÇåÁËÕâЩÎÊÌâ¡£ÖÁÓÚ³¬³ö¾µäÂß¼·¶Î§µÄ½Ï¹ãÒåµÄÊýÀíÂß¼£¬×Ô²»ÄܾÖÏÞÓÚÑÇÀïÊ¿¶àµÂÂß¼ºÍ´«Í³Âß¼µÄ·¶Î§£¬µ«ÊDz¢Ã»Óг¬³öÐÎʽÂß¼·¶Î§µÄÄÚÈÝ¡£ÒòΪ£¬°´¶Ô¡°ÐÎʽÂß¼¡±µÄ¡°ÐÎʽ¡±µÄÑϸñº¬Ò壬ÊýÀíÂß¼µÄÄÚÈÝÖ»Äܶ¼ÊÇÐÎʽÂß¼¡£ÐÎʽÂß¼·¢Õ¹ÎªÊýÀíÂß¼£¬Ê¹µÃÐÎʽÂß¼ÓÐÁËÔ¶´óµÄ·¢Õ¹Ç°¾°¡£
ÊýÀíÂß¼ÓëÊýѧµÄ¹Øϵ´Ó¿ÆѧÐÔÖÊ¿´£¬È«²¿ÊýÀíÂß¼¶¼ÊÇÂß¼µ×Êýѧ£¬¶¼ÊÇÊýѧ¡£´ÓÊýѧ·½Ãæ¿´£¬Ã¿Ò»ÃÅÊýѧÊÇÒ»¸öÊýѧ½á¹¹¡£¶ÔÊýѧ½á¹¹×÷ϵͳµÄ¿¼ÂÇʱ»áÓëÊýÀíÂß¼·¢Éú¹Øϵ£¬Æ©Èç»áÉæ¼°¹¹ÔìÐÔÓë·Ç¹¹ÔìÐԵĹØϵÎÊÌ⣨¼ûÊýѧ»ù´¡£©¡£¾ÍÄÃÒ»ÃÅÊýѧÖеÄÒ»¸öÉÐδ½â¾öµÄÊýѧÎÊÌâÀ´Ëµ£¬»áÓÐÄÑÓÚÏÂÊÖµÄÇé¿ö¡£Õâʱ¿ÉÒÔÑо¿ÕâÎÊÌâÊÇ·ñÊǿɽâ¾öµÄ£¬Õâ¾Í³ÉΪÁíÒ»ÐÔÖʵÄÊýѧÎÊÌâÁË£¬ÓпÉÄÜ»áÓÐÁËÏÂÊÖÖ®´¦¡£ÓÐÁËÕâÖÖÏÂÊÖÖ®´¦£¬½á¹û²»ÍâÁ½ÖÖ¡£Ò»ÖÖÊÇÖ¤Ã÷ÁËÎÊÌâÊǿɽâ¾öµÄ£¬¼´Ö¤Ã÷φÓë‰\φÖ®Ò»ÊÇ¿ÉÖ¤µÄ£¬ËäÈ»»¹²»ÖªµÀ¾¿¾¹φ»¹Êlj\φ¿ÉÖ¤¡£Õâʱ¾ÝÊýÀíÂß¼ÒÑÓнá¹û£¬¿ÉÒÔ¸ø³öφºÍ‰\φ¶þÕßÖ®Ò»µÄÖ¤Ã÷µÄ»úе·½·¨¡£ÁíÒ»ÖÖ¿ÉÄÜÊÇ£¬Ö¤Ã÷ÁËÔÚijһ¹«ÀíϵͳÖУ¬φÓë‰\φ¶¼²»¿ÉÖ¤¡£ÄǾ͵¼Ö³¬³öÕâÒ»ÎÊÌâ±¾Éí¸üΪÉî¿ÌµÄÊýѧÎÊÌâµÄÑо¿¡£Æ©ÈçÏ£¶û²®ÌصÚ10ÎÊÌâ¾ÍÊÇÒ»Àý¡£ÊýÀíÂß¼ÌṩÁËÊýѧÑо¿ÓÐÒâÒåµÄ¹¤¾ßºÍ·½·¨¡£
ÊýÀíÂß¼Óë¼ÆËã»úµÄ¹ØϵÔÚÀ³²¼Äá´ÄµÄ˼ÏëÖУ¬ÊýÀíÂß¼¡¢ÊýѧÓë¼ÆËã»úÈýÕß³öÓÚÒ»¸öͳһµÄÄ¿µÄ£¬¼´Ë¼Î¬¹ý³ÌµÄÑÝË㻯¡¢¼ÆË㻯£¬ÒÔÖÁÔÚ¼ÆËã»úÉÏʵÏÖ¡£ËûÔÚ¼ÆËã»ú·¢Õ¹Ê·ÉÏÓгç¸ßµÄµØλ¡£ËûÑо¿ÁËB.ÅÁ˹¿¨µÄÊýѧÓë¼ÆËã»ú˼Ï룬´´ÖÆÁ˵Úһ̨¾ßÓÐËÄÔòÔËËãµÄ¼ÆËã»ú£¬½¨Á¢Á˼ÆËã»ú·¢Õ¹Öеĵڶþ¸öÀï³Ì±®¡£ËûÑÐÖƼÆËã»úÊÇΪÁËʵÏÖËûµÄÀíÏ룬¾¡¹Ü»¹Ô¶Î´ÊµÏÖ¡£ÔÚ20ÊÀ¼ÍÀï¾¹ýÊýÀíÂ߼ѧ¼ÒJ.·ë¡¤ÅµÒÁÂüÓëA.M.ͼÁéµÄ¹¤×÷£¬Ôì³öÁ˵Úһ̨³ÌÐòÄÚ´æµÄ¼ÆËã»ú¡£ÓÉÓÚ¸çµÂ¶ûµÈÊýÀíÂ߼ѧÕßµÄΰ´ó¹±Ï×£¬ÔÚ½øÈë70Äê´úÖ®ºó£¬¼ÆËã»ú¿Æѧ¼¼Êõ¡¢Âß¼¡¢Êýѧ¶¼ÓÐÁ˽ϴóµÄ·¢Õ¹£¬À³²¼Äá´ÄµÄÀíÏë²ÅÖ𲽵õ½¾ßÌåµÄʵÏÖ¡£ÏÖÔÚ£¬ÔÔòÉÏÔçÒÑÇå³þ£¬ÄÄЩ˼ά¹ý³Ì¿ÉÒÔ½è¼ÆËã»úÀ´ÊµÏÖ£¬ÄÄЩ²»¿ÉÄÜ£»»»ÑÔÖ®£¬À³²¼Äá´ÄÀíÏëʵÏֵĿÉÄÜÐÔÒѾµÃµ½Ï൱µÄ³ÎÇ壺¿ÉÒÔÓɼÆËã»úʵÏÖÄÄЩ˼ά¹ý³Ì£»ÈçºÎ×éÖ¯ºÃ¼ÆËã»ú£¨×Ô¶¯»úÂß¼ÎÊÌ⣩£»ÈçºÎÌá¸ß¼ÆËã»úµÄЧÂÊ£¨Èí¼þÎÊÌâ¡¢¼ÆË㸴ÔÓÐÔÎÊÌâ¡¢¼ÆËãϵͳÌåϵ½á¹¹µÈÎÊÌ⣩£»Ò²ÖªµÀÁËÈçºÎ½øÒ»²½¿ªÕ¹ÓйصÄÑо¿¡£ÕâЩÎÊÌâµÄÑо¿Ö±½Ó¹Øϵµ½¼ÆËã»ú¹¤ÒµºÍÈí¼þ²úÒµµÄ·¢Õ¹¡£ÕâЩ¼ÆËã»úÎÊÌâµÄÑо¿Öаüº¬×Å´óÁ¿µÄÓëÊýÀíÂß¼ÓйصÄÑо¿¿ÎÌ⣬Ðí¶àÎÊÌâ±¾Éí¾ÍÊôÓÚÊýÀíÂß¼¡£
ÈËÀàÉç»áÕý½øÈëÐÅÏ¢»¯µÄʱ´ú¡£Õâ¸öʱ´úµÄ¿Æѧ¼¼ÊõÌصãÖ®Ò»ÊÇÒ»ÇпÆѧ¡¢¼¼ÊõÁìÓò¶¼ÐèÒªÓüÆËã»ú¶ÔÐÅÏ¢½øÐмӹ¤´¦Àí£¬´Ùʹ¿Æѧ¡¢¼¼ÊõµÄÊýѧ»¯¡£ÐµÄʱ´ú±Ø½«ÊÇÊýѧ´ó·¢Õ¹µÄʱ´ú£¬¶øÊýÀíÂß¼ÔÚÆäÖн«ÆðןܹؼüµÄ×÷Óá£
- ²Î¿¼ÊéÄ¿
- ÍõÏܾû±àÖø:¡¶ÊýÀíÂß¼ÒýÂÛ¡·£¬±±¾©´óѧ³ö°æÉ磬±±¾©£¬1982¡£
- J.Barwise£¬ ed.£¬Handbook of MatheMatical Logic£¬North-Holland£¬ Amsterdam£¬ 1977.
- R.Carnap£¬Logical Foundations of Probability£¬The Univ.of Chicago Press£¬ Chicago£¬ 1950.
- D.Hilbert and W.Ackermann£¬Grundz©ëge der Theoretischen Logik£¬ 4 Aufl£¬Springer-Verlag£¬ Berlin£¬1959.
- J.L'ukasiewicz£¬Aristotle's Syllogistic£¬from the Standpoint of Modern ForMal Logic£¬2nd ed.£¬The Clarendon Press£¬ Oxford£¬ 1957.
- J.R.Schoenfield£¬MatheMatical Logic£¬Addison-Wesley£¬Reading Mass.£¬ 1967.
- H.Scholz£¬Abriss der Geschichte der Logik£¬Alber£¬M©ënchen£¬ 1959.
- Wang Hao£¬A Survey of MatheMatical Logic£¬Science Press£¬ Beijing£¬ 1962.
- Wang Hao£¬ Popular Lectures on MatheMatical Logic£¬Beijing£¬ 1981.