語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Saved from the cellarGerhard Gentzen...
~
Gentzen, Gerhard.
Saved from the cellarGerhard Gentzen's shorthand notes on logic and foundations of mathematics /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Saved from the cellarby Jan von Plato.
其他題名:
Gerhard Gentzen's shorthand notes on logic and foundations of mathematics /
作者:
Plato, Jan von.
出版者:
Cham :Springer International Publishing :2017.
面頁冊數:
x, 315 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
標題:
Mathematics.
電子資源:
http://dx.doi.org/10.1007/978-3-319-42120-9
ISBN:
9783319421209$q(electronic bk.)
Saved from the cellarGerhard Gentzen's shorthand notes on logic and foundations of mathematics /
Plato, Jan von.
Saved from the cellar
Gerhard 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$q(electronic bk.)
Standard No.: 10.1007/978-3-319-42120-9doiSubjects--Personal Names:
666321
Gentzen, Gerhard.
Subjects--Topical Terms:
184409
Mathematics.
LC Class. No.: QA39.3
Dewey Class. No.: 510
Saved from the cellarGerhard Gentzen's shorthand notes on logic and foundations of mathematics /
LDR
:02376nmm a2200313 a 4500
001
509280
003
DE-He213
005
20170331191654.0
006
m d
007
cr nn 008maaau
008
171121s2017 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
776003
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
666321
650
0
$a
Mathematics.
$3
184409
650
0
$a
Mathematics
$x
History.
$3
189740
650
2 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 eBooks
830
0
$a
Sources and studies in the history of mathematics and physical sciences.
$3
345315
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-42120-9
950
$a
Mathematics and Statistics (Springer-11649)
筆 0 讀者評論
全部
電子館藏
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
000000139213
電子館藏
1圖書
電子書
EB QA39.3 P718 2017
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
多媒體檔案
http://dx.doi.org/10.1007/978-3-319-42120-9
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入