東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Can mathematics be proved consistent...

Von Plato, Jan.

FindBook

Google Book

Amazon

博客來

Can mathematics be proved consistent? = Godel's shorthand notes & lectures on incompleteness /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Can mathematics be proved consistent?/ by Jan von Plato.
其他題名:	Godel's shorthand notes & lectures on incompleteness /
作者:	Von Plato, Jan.
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	ix, 263 p. :ill., digital ;24 cm.
內容註:	I. Godel's Steps Toward Incompleteness -- II. The Saved Sources on Incompleteness -- III. The Shorthand Notebooks -- IV. The Typewritten Manuscripts -- V. Lectures and Seminars on Incompleteness -- Index -- References.
Contained By:	Springer Nature eBook
標題:	Godel's theorem - History. -
電子資源:	https://doi.org/10.1007/978-3-030-50876-0
ISBN:	9783030508760

Can mathematics be proved consistent? = Godel's shorthand notes & lectures on incompleteness /
Von Plato, Jan.

Can mathematics be proved consistent?Godel's shorthand notes & lectures on incompleteness /[electronic resource] :by Jan von Plato. - Cham :Springer International Publishing :2020. - ix, 263 p. :ill., digital ;24 cm. - Sources and studies in the history of mathematics and physical sciences,2196-8810. - Sources and studies in the history of mathematics and physical sciences..

I. Godel's Steps Toward Incompleteness -- II. The Saved Sources on Incompleteness -- III. The Shorthand Notebooks -- IV. The Typewritten Manuscripts -- V. Lectures and Seminars on Incompleteness -- Index -- References.

Kurt Godel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules. Godel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren't. The result is known as Godel's first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question "Can mathematics be proved consistent?" This book offers the first examination of Godel's preserved notebooks from 1930, written in a long-forgotten German shorthand, that show his way to the results: his first ideas, how they evolved, and how the jewel-like final presentation in his famous publication On formally undecidable propositions was composed.The book also contains the original version of Godel's incompleteness article, as handed in for publication with no mentioning of the second incompleteness theorem, as well as six contemporary lectures and seminars Godel gave between 1931 and 1934 in Austria, Germany, and the United States. The lectures are masterpieces of accessible presentations of deep scientific results, readable even for those without special mathematical training, and published here for the first time.

ISBN: 9783030508760

Standard No.: 10.1007/978-3-030-50876-0doiSubjects--Personal Names:

536813
Godel, Kurt.
Subjects--Topical Terms:

3461640
Godel's theorem
--History.

LC Class. No.: QA9.65 / .V667 2020

Dewey Class. No.: 511.3

Can mathematics be proved consistent? = Godel's shorthand notes & lectures on incompleteness /
LDR:02838nmm a2200337 a 4500 001 2222675
003 DE-He213
005 20201123114519.0
006 m d
007 cr nn 008maaau
008 210108s2020 sz s 0 eng d
020 $a 9783030508760 $q (electronic bk.)
020 $a 9783030508753 $q (paper)
024 7 $a 10.1007/978-3-030-50876-0 $2 doi
035 $a 978-3-030-50876-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.65 $b .V667 2020
072 7 $a PBX $2 bicssc
072 7 $a MAT015000 $2 bisacsh
072 7 $a PBX $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9.65 $b .V948 2020
100 1 $a Von Plato, Jan. $3 612518
245 1 0 $a Can mathematics be proved consistent? $h [electronic resource] : $b Godel's shorthand notes & lectures on incompleteness / $c by Jan von Plato.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a ix, 263 p. : $b ill., digital ; $c 24 cm.
490 1 $a Sources and studies in the history of mathematics and physical sciences, $x 2196-8810
505 0 $a I. Godel's Steps Toward Incompleteness -- II. The Saved Sources on Incompleteness -- III. The Shorthand Notebooks -- IV. The Typewritten Manuscripts -- V. Lectures and Seminars on Incompleteness -- Index -- References.
520 $a Kurt Godel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules. Godel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren't. The result is known as Godel's first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question "Can mathematics be proved consistent?" This book offers the first examination of Godel's preserved notebooks from 1930, written in a long-forgotten German shorthand, that show his way to the results: his first ideas, how they evolved, and how the jewel-like final presentation in his famous publication On formally undecidable propositions was composed.The book also contains the original version of Godel's incompleteness article, as handed in for publication with no mentioning of the second incompleteness theorem, as well as six contemporary lectures and seminars Godel gave between 1931 and 1934 in Austria, Germany, and the United States. The lectures are masterpieces of accessible presentations of deep scientific results, readable even for those without special mathematical training, and published here for the first time.
600 1 0 $a Godel, Kurt. $3 536813
650 0 $a Godel's theorem $x History. $3 3461640
650 0 $a Mathematics $x History. $3 523931
650 1 4 $a History of Mathematical Sciences. $3 1530523
650 2 4 $a Mathematical Logic and Foundations. $3 892656
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Sources and studies in the history of mathematics and physical sciences. $3 740893
856 4 0 $u https://doi.org/10.1007/978-3-030-50876-0
950 $a Mathematics and Statistics (SpringerNature-11649)