µ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^¶¯µ¼Öºë¿ï
|
Å]ªk·L¿n¤À
¦¹§@ªÌµ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
¨î¯Å
³sÄò²Î°²³]
§@ªÌ¡G
張錦文,王雪生
¤ÀÃþ¡G
¬ì¾Ç¡E¦ÛµM
¡þ
¼Æ¾Ç
¥Xª©ªÀ¡G
¤E³¹¥Xª©
¥Xª©¤é´Á¡G1993/7/1
ISBN¡G9576030331
®ÑÄy½s¸¹¡Gbk0028733
¶¼Æ¡G215
©w»ù¡G
130
¤¸
Àu´f»ù¡G
82
§é
107
¤¸
®Ñ»ù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
³sÄò²Î°²³]
¹Ï¤ù³sµ²
½Æ»s»yªk
¤À
¨É
¤º®e²¤¶
¦PÃþ±ÀÂË
■ 內容簡介
本書是“世界數學名題欣賞叢書”之一。連續統假設是19世紀數學家康托爾提出的一個著名的數學問題。這一問題的提出,對整個數學領域產生了深遠的影響。1900年,在巴黎數學家大會上,希爾伯特把連續統假設列為著名演講《數學問題》中的第一個問題,並盛讚它的重要作用。用此人們又把它稱為“希爾伯特第一問題”。本書採取歷史敘述夾敘夾議的手法,回顧了連續統假設產生的歷史淵源,介紹了有關知識,以及它在數學領域中的地位、作用和意義。全書思想性強,兼有較高的學習價值和科學欣賞價值。
■ 序
作者 序 數學中重大的難題的提出與解決,常常是數學發展的里程碑。連續統假設是當代數學中最困難最著名的問題之一,它同其它數學難題一樣,是數學發展中的必然產物,這一問題已有一百多年的歷史了,雖然已取得重大的進展,然而至今尚未解決。連續統問題同其它數學難題的不同在於它更基本、更廣闊。所謂更基本表現在兩點上,它是直線上點有多少的問題;它來源於號稱數學基礎的集合論,數學是無窮的數學,你承認實無窮總體嗎?若是,必然產生連續統問題。 所謂更廣闊的含義:一是連結統來源於物理與幾何這樣廣闊的領域,對此,愛因斯坦、希爾伯特都有過論述。 二是連續統假設涉及到現代數學的許多分支,涉及到數百個數學問題的真偽性問題,其中也有廣義連續統假設蘊涵選擇公理,而後者幾乎涉及一切數學分支以及其中許多著名問題。 三是在研究連續統假設的過程中,人們創造了可構成法、力迫法這樣強有力的科學方法,它們在許多領域內有了重要的應用,促使若干長期懸而未決的問題取得了重大進展。正因如此,就決定了本書的基本內容。
■ 目錄
潛無窮與實無窮 無窮集合的分類 序數與基數 什麼是連續統假設 蔻尼對2S的限制 類型論 希爾伯特方案 集合論的ZF公理系統 連續統假設的相對協調性 連續統假設的相對獨立性 CH還是一大難題 結束語 參考文獻 人名索引
■ 作者簡介
張錦文 1930年生於河南輝縣,1959年畢業於北京大學數力系數學專業數理邏輯專門化,現任中國科學院軟件研究所副研究員。著作有《集合論與連續統假設淺說》、《集合論學習手》、《布爾代數》與廖祖緯合著《離散數學導論》等10餘萬字。論文37篇,約21萬字。主要從事公理集合論與智能邏輯的研究工作。 王雪生 1934年生於河南靈寶,1956年畢業於新鄉師範學院數學系,現任河南師範大學數學副教授。已發表論文5篇,從事數學教學工作。
¸ÑÃD¤O¡A¼Æ¾Ç«ä·Q¤èªk
¼Æ¾Ç¤k«Ä¡G¾¤°Ò²q·Q
°ò¦²Îp¾Ç
¶W²³æ°ª¤¤¼Æ¾Ç¡A¤@¥»
1¤ÀÄÁ¾Ç·|¼Æ¾Ç¡G§Q¥Î
°ò¦Â÷´²¼Æ¾Ç(²Ä¤»ª©
VCalculus¡G
Brief Calc
³o¤~¬O¯u¥¿ªº¼Æ¾Ç«äºû
±K½Xªº¬G¨Æ¡G¤HÃþ¥v¤W
¬°¤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