國立高雄大學圖資館 |

Language: English

Back

Can mathematics be proved consistent...

Godel, Kurt.

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Can mathematics be proved consistent?by Jan von Plato.
Reminder of title:	Godel's shorthand notes & lectures on incompleteness /
Author:	Von Plato, Jan.
Published:	Cham :Springer International Publishing :2020.
Description:	ix, 263 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Godel's theoremHistory.
Online resource:	https://doi.org/10.1007/978-3-030-50876-0
ISBN:	9783030508760$q(electronic bk.)

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$q(electronic bk.)

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

874476
Godel, Kurt.
Subjects--Topical Terms:

874477
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 583763
003 DE-He213
005 20201123114519.0
006 m d
007 cr nn 008maaau
008 210202s2020 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 183815
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 874476
650 0 $a Godel's theorem $x History. $3 874477
650 0 $a Mathematics $x History. $3 189740
650 1 4 $a History of Mathematical Sciences. $3 511733
650 2 4 $a Mathematical Logic and Foundations. $3 274479
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Sources and studies in the history of mathematics and physical sciences. $3 345315
856 4 0 $u https://doi.org/10.1007/978-3-030-50876-0
950 $a Mathematics and Statistics (SpringerNature-11649)