東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Saved from the cellar = Gerhard Gent...

Plato, Jan von.

Linked to FindBook

Google Book

Amazon

博客來

Saved from the cellar = Gerhard Gentzen's shorthand notes on logic and foundations of mathematics /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Saved from the cellar/ by Jan von Plato.
Reminder of title:	Gerhard Gentzen's shorthand notes on logic and foundations of mathematics /
Author:	Plato, Jan von.
Published:	Cham :Springer International Publishing : : 2017.,
Description:	x, 315 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Mathematics. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-42120-9
ISBN:	9783319421209

Saved from the cellar = Gerhard Gentzen's shorthand notes on logic and foundations of mathematics /
Plato, Jan von.

Saved from the cellarGerhard Gentzen's shorthand notes on logic and foundations of mathematics /[electronic resource] :by Jan von Plato. - Cham :Springer International Publishing :2017. - x, 315 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..

Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Godel's incompleteness results, especially the second one about the unprovability of consistency of elementary arithmetic. After these successes, Gentzen dedicated the rest of his short life to the main problem of Hilbert's proof theory, the question of the consistency of analysis. He was arrested in the summer of 1945 with other professors of the German University of Prague and died soon afterward of starvation in a prison cell. Attempts at locating his lost manuscripts failed at the time, but several decades later, two slim folders of shorthand notes were found. In this volume, Jan von Plato gives an overview of Gentzen's life and scientific achievements, based on detailed archival and systematic studies, and essential for placing the translations of shorthand manuscripts that follow in the right setting. The materials in this book are singular in the way they show the birth and development of Gentzen's central ideas and results, sometimes in a well-developed form, and other times as flashes into the anatomy of the workings of a unique mind.

ISBN: 9783319421209

Standard No.: 10.1007/978-3-319-42120-9doiSubjects--Personal Names:

1641852
Gentzen, Gerhard.
Subjects--Topical Terms:

515831
Mathematics.

LC Class. No.: QA39.3

Dewey Class. No.: 510

Saved from the cellar = Gerhard Gentzen's shorthand notes on logic and foundations of mathematics /
LDR:02376nmm a2200313 a 4500 001 2092973
003 DE-He213
005 20170331191654.0
006 m d
007 cr nn 008maaau
008 171117s2017 gw s 0 eng d
020 $a 9783319421209 $q (electronic bk.)
020 $a 9783319421193 $q (paper)
024 7 $a 10.1007/978-3-319-42120-9 $2 doi
035 $a 978-3-319-42120-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA39.3
072 7 $a PBX $2 bicssc
072 7 $a MAT015000 $2 bisacsh
082 0 4 $a 510 $2 23
090 $a QA39.3 $b .P718 2017
100 1 $a Plato, Jan von. $3 3227414
245 1 0 $a Saved from the cellar $h [electronic resource] : $b Gerhard Gentzen's shorthand notes on logic and foundations of mathematics / $c by Jan von Plato.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a x, 315 p. : $b ill., digital ; $c 24 cm.
490 1 $a Sources and studies in the history of mathematics and physical sciences, $x 2196-8810
520 $a Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Godel's incompleteness results, especially the second one about the unprovability of consistency of elementary arithmetic. After these successes, Gentzen dedicated the rest of his short life to the main problem of Hilbert's proof theory, the question of the consistency of analysis. He was arrested in the summer of 1945 with other professors of the German University of Prague and died soon afterward of starvation in a prison cell. Attempts at locating his lost manuscripts failed at the time, but several decades later, two slim folders of shorthand notes were found. In this volume, Jan von Plato gives an overview of Gentzen's life and scientific achievements, based on detailed archival and systematic studies, and essential for placing the translations of shorthand manuscripts that follow in the right setting. The materials in this book are singular in the way they show the birth and development of Gentzen's central ideas and results, sometimes in a well-developed form, and other times as flashes into the anatomy of the workings of a unique mind.
600 1 0 $a Gentzen, Gerhard. $3 1641852
650 0 $a Mathematics. $3 515831
650 0 $a Mathematics $x History. $3 523931
650 2 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 eBooks
830 0 $a Sources and studies in the history of mathematics and physical sciences. $3 740893
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-42120-9
950 $a Mathematics and Statistics (Springer-11649)