µn¤J
¡U
µù¥U
¡U
·|û¤¤¤ß
¡U
µ²±b
¡U
°ö°V½Òµ{
Å]ªk§Ì¤l
¡U
¦Û¸ê¥Xª©
¡U
¹q¤l®Ñ
¡U
«ÈªA¤¤¤ß
¡U
´¼¼z«¬¥ßÊ^·|û
®Ñ¦W
¥Xª©ªÀ
§@ªÌ
isbn
½s¸¹
5050Å]ªk²³Äw
|
NG®Ñ«°
|
°ê»Ú¯Å«~µP½Òµ{
|
Àu´f³qª¾
|
ÅRÆE^¶¯µ¼Öºë¿ï
|
ÅÞ¿èÂÕ»~ŲÃѯZ¡G°V½m°»¿ù¯«¸gªº24°óÅÞ¿è½Ò
¦¹§@ªÌµL¬ÛÃö®ÑÄy
¤å¾Ç¤p»¡
¤å¾Ç
¡U
¤p»¡
°ÓºÞ³Ð§ë
°]¸g§ë¸ê
¡U
¦æ¾P¥øºÞ
¤H¤åÃÀ§{
©v±Ð¡Bõ¾Ç
ªÀ·|¡B¤H¤å¡B¥v¦a
ÃÀ³N¡B¬ü¾Ç
¡U
¹q¼vÀ¸¼@
Ày§Ó¾i¥Í
ÂåÀø¡B«O°·
®Æ²z¡B¥Í¬¡¦Ê¬ì
±Ð¨|¡B¤ß²z¡BÀy§Ó
¶i׾Dzß
¹q¸£»Pºô¸ô
¡U
»y¨¥¤u¨ã
Âø»x¡B´Á¥Z
¡U
x¬F¡Bªk«ß
°Ñ¦Ò¡B¦Ò¸Õ¡B±Ð¬ì¥Î®Ñ
¬ì¾Ç¤uµ{
¬ì¾Ç¡B¦ÛµM
¡U
¤u·~¡B¤uµ{
®a®x¿Ë¤l
®a®x¡B¿Ë¤l¡B¤H»Ú
«C¤Ö¦~¡Bµ£®Ñ
ª±¼Ö¤Ñ¦a
®È¹C¡B¦a¹Ï
¡U
¥ð¶¢®T¼Ö
º©µe¡B´¡¹Ï
¡U
¨î¯Å
²{¥NÅÞ¿è¤Jªù
¤ÀÃþ¡G
õ¾Ç¡E©v±Ð
¡þ
ÅÞ¿è
¥Xª©ªÀ¡G
¤E³¹¥Xª©
¥Xª©¤é´Á¡G1997/12/1
ISBN¡G9576031435
®ÑÄy½s¸¹¡Gbk0028781
¶¼Æ¡G189
©w»ù¡G
160
¤¸
Àu´f»ù¡G
82
§é
131
¤¸
®Ñ»ùY¦³²§°Ê¡A¥H¥Xª©ªÀ¹ê»Ú©w»ù¬°·Ç
¼È°±³c°â
¼ÈµL¨ÑÀ³°Ó¡G´M§ä¨Ñ³f°Ó¤¤(¤]¦³¥i¯à¥Xª©ªÀ¤wµ²§ô)¡C
¹ÎÁʼƳ̧C¬° 20 ¥»¥H¤W
µû»ù¼Æ¡G
(½Ð±N·Æ¹«²¾¦Ü¬P¬P³B¶i¦æµû»ù)
¥Ø«e¥§¡µû»ù¡G
¤å¦r³sµ²
½Æ»s»yªk
²{¥NÅÞ¿è¤Jªù
¹Ï¤ù³sµ²
½Æ»s»yªk
¤À
¨É
¤º®e²¤¶
¦PÃþ±ÀÂË
■ 內容簡介
現代ÅÞ¿è是傳統ÅÞ¿è的新發展¡C十七世紀µÜ布尼¯ý是現代ÅÞ¿è是最早¶}拓ªÌ¡C本世紀二十年代¡A哥德爾一¶¥ÅÞ¿è完備性定理的Á¿明¡A標»xµÛ現代ÅÞ¿è的完成¡C當前發展¨³³t¡A由於»P數學¡B¦Û然科學¡B哲學¡B»y¨¥學相互之¶¡廣泛的滲³z¡A產生了³\多綜合成果¡A現代ÅÞ¿è已成ªø為ªùÃþ眾多的學科¡C作ªÌ從事ÅÞ¿è學研究¡B教學多年¡A深感社會»Ýn普及化的現代ÅÞ¿è學¡A然¦Ó現代ÅÞ¿è是一ªù形式的¡B嚴密½×ÃÒ的學科¡A如果作刻板的³¯z¡A往往令人望¦Ó生畏¡A故本書用一種突出¦Û然»y¨¥描z¡A突出ÅÞ¿è思想ÄÄz的方法¡A向ŪªÌ和大¡B中學學生介紹現代ÅÞ¿è¡C
■ 序
■ 目¿ý
傳統ÅÞ¿è口命ÃDÅÞ¿è口¿×µüÅÞ¿è口模態ÅÞ¿è口»{知ÅÞ¿è口»y義學和模型½×口ÃÒ明½×和不完全性定理口悖½×和¶°合½×的公理化口»¼歸½×和圖ÆF機口現代歸納ÅÞ¿è
■ 作ªÌ簡介
¶W¡D¹F¤å¦èµ§°O¡G®³¯}
ª½Ä±¥¢·Ç¡I¯}¸Ñ¤é±`ªº
¤ß´¼¹Ïµ§°O³N¡i×q¤G
«iªÌ¥i¥H¨ü©e©}¡A¦ý¬O
¹qª±õ¾Ç
²z«h¾Ç(¤Q¤Tª©)
ì¤l«ä¦Ò¡G´î¤Ö80%
¹³õ¾Ç®a¤@¼Ë«ä¦Ò¡G2
¸Ñ§½«ä¦Ò¡G¦p¦ó¬ð¯}µL
«iªÌ¥i¥H¨ü©e©}¡A¦ý¬O
¬°¤F«O»Ù±zªºÅv¯q¡A·sµ·¸ôºô¸ô®Ñ©±©ÒÁʶRªº°Ó«~§¡¨É¦³¨ì³f¤C¤ÑªºÅ²½à´Á¡]§t¨Ò°²¤é¡^¡C°h¦^¤§°Ó«~¥²¶·©óŲ½à´Á¤º±H¦^¡]¥H¶lÂW©Î¦¬°õÁp¬°¾Ì¡^¡A¥B°Ó«~¥²¶·¬O¥þ·sª¬ºA»P§¹¾ã¥]¸Ë(°Ó«~¡Bªþ¥ó¡B¤º¥~¥]¸Ë¡BÀH³f¤å¥ó¡BÃØ«~µ¥)¡A§_«h®¤¤£±µ¨ü°h³f¡C