東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

Set theory and the continuum hypothesis /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Set theory and the continuum hypothesis // Paul J. Cohen ; with a new introduction by Martin Davis.
作者:	Cohen, Paul J.,
出版者:	Mineola, New York :Dover Publications, : 2008.,
面頁冊數:	xxv, 154 p. ;24 cm.
附註:	"This Dover edition, first published in 2008, is an unabridged republication of the work first published by W.A. Benjamin, Inc., in 1966, and includes a new introduction by Martin Davis."
內容註:	I. General background in logic: Introduction -- Formal Languages -- Universally Valid Statements -- G6del Completeness Theorem -- The L6wenheim-Skolem Theorem -- Examples of Formal Systems -- Primitive Recursive Functions -- General Recursive Functions -- Godel Incompleteness Theorem -- Generalized Incompleteness Theorem -- Further Results in Recursive Functions. II. Zermelo-Fraenkel set theory: Axioms -- Discussion of the Axioms -- Ordinal Numbers -- Cardinal Numbers -- The Axiom of Regularity -- The System of GBdel-Bernays -- Higher Axioms and Models for Set Theory -- Lwenheim-Skolem Theorem Revisited. III. The consistency of the continuuum hypothesis: Introduction -- Proof of Theorem -- Absoluteness -- Proof of AC and GCH in L -- Relations with GB -- The Minimal Model. IV. The Independence of the continuum hypothesis and the axiom of choice.
標題:	Logic, Symbolic and mathematical. -
ISBN:	9780486469218

Set theory and the continuum hypothesis /
Cohen, Paul J.,1934-2007.

Set theory and the continuum hypothesis /Paul J. Cohen ; with a new introduction by Martin Davis. - Dover ed. - Mineola, New York :Dover Publications,2008. - xxv, 154 p. ;24 cm. - Dover books on mathematics. - Dover books on mathematics..

"This Dover edition, first published in 2008, is an unabridged republication of the work first published by W.A. Benjamin, Inc., in 1966, and includes a new introduction by Martin Davis."

Includes bibliographical references (p. 153-154).

I. General background in logic: Introduction -- Formal Languages -- Universally Valid Statements -- G6del Completeness Theorem -- The L6wenheim-Skolem Theorem -- Examples of Formal Systems -- Primitive Recursive Functions -- General Recursive Functions -- Godel Incompleteness Theorem -- Generalized Incompleteness Theorem -- Further Results in Recursive Functions. II. Zermelo-Fraenkel set theory: Axioms -- Discussion of the Axioms -- Ordinal Numbers -- Cardinal Numbers -- The Axiom of Regularity -- The System of GBdel-Bernays -- Higher Axioms and Models for Set Theory -- Lwenheim-Skolem Theorem Revisited. III. The consistency of the continuuum hypothesis: Introduction -- Proof of Theorem -- Absoluteness -- Proof of AC and GCH in L -- Relations with GB -- The Minimal Model. IV. The Independence of the continuum hypothesis and the axiom of choice.

This exploration of a notorious mathematical problem is the work of a man who discovered the solution. The independence of the continuum hypothesis is the focus of this study by Paul J. Cohen.

ISBN: 9780486469218US14.95

LCCN: 2008042847Subjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

LC Class. No.: QA248 / .C614 2008

Dewey Class. No.: 511.3/22

Set theory and the continuum hypothesis /
LDR:02196cam a2200289 a 450 001 2319849
003 OCoLC
005 20231128041508.0
008 230919r20081966nyu b 000 0 eng
010 $a 2008042847
019 $a 718058179
020 $a 9780486469218 $q (pbk.) : $c US14.95
020 $a 0486469212 $q (pbk.)
035 $a (OCoLC)227923885 $z (OCoLC)718058179
040 $a DLC $b eng $c DLC $d YDX $d BTCTA $d YDXCP $d IAY $d OCLCQ $d CHRRO $d OCLCF $d OCLCO $d DEBBG $d KKQ $d OCLCQ $d COD $d OCLCO $d OKX $d OCLCQ $d LYT $d OCLCO $d OCLCQ
050 0 0 $a QA248 $b .C614 2008
072 7 $a s1ma $2 rero
082 0 0 $a 511.3/22 $2 22
084 $a SK 130 $2 rvk
100 1 $a Cohen, Paul J., $d 1934-2007. $3 3642310
245 1 0 $a Set theory and the continuum hypothesis / $c Paul J. Cohen ; with a new introduction by Martin Davis.
250 $a Dover ed.
260 # $a Mineola, New York : $b Dover Publications, $c 2008.
300 $a xxv, 154 p. ; $c 24 cm.
490 1 $a Dover books on mathematics
500 $a "This Dover edition, first published in 2008, is an unabridged republication of the work first published by W.A. Benjamin, Inc., in 1966, and includes a new introduction by Martin Davis."
504 $a Includes bibliographical references (p. 153-154).
505 0 # $a I. General background in logic: Introduction -- Formal Languages -- Universally Valid Statements -- G6del Completeness Theorem -- The L6wenheim-Skolem Theorem -- Examples of Formal Systems -- Primitive Recursive Functions -- General Recursive Functions -- Godel Incompleteness Theorem -- Generalized Incompleteness Theorem -- Further Results in Recursive Functions. II. Zermelo-Fraenkel set theory: Axioms -- Discussion of the Axioms -- Ordinal Numbers -- Cardinal Numbers -- The Axiom of Regularity -- The System of GBdel-Bernays -- Higher Axioms and Models for Set Theory -- Lwenheim-Skolem Theorem Revisited. III. The consistency of the continuuum hypothesis: Introduction -- Proof of Theorem -- Absoluteness -- Proof of AC and GCH in L -- Relations with GB -- The Minimal Model. IV. The Independence of the continuum hypothesis and the axiom of choice.
520 # $a This exploration of a notorious mathematical problem is the work of a man who discovered the solution. The independence of the continuum hypothesis is the focus of this study by Paul J. Cohen.
650 # 0 $a Logic, Symbolic and mathematical. $3 532051
650 # 0 $a Continuum hypothesis. $3 663965
650 # 0 $a Set theory. $3 520081
830 0 $a Dover books on mathematics. $3 1783809