WorldCat Identities

Gentzen, Gerhard

Overview
Works: 47 works in 174 publications in 6 languages and 2,052 library holdings
Genres: History 
Roles: Author, Dedicatee
Classifications: QA9, 164
Publication Timeline
.
Most widely held works by Gerhard Gentzen
The collected papers of Gerhard Gentzen by Gerhard Gentzen( Book )

17 editions published between 1969 and 1970 in English and held by 565 WorldCat member libraries worldwide

Recherches sur la déduction logique (Untersuchungen über das Logische Schliessen) by Gerhard Gentzen( Book )

34 editions published between 1934 and 1974 in 3 languages and held by 201 WorldCat member libraries worldwide

Die gegenwärtige Lage in der mathematischen Grundlagenforschung : Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie by Gerhard Gentzen( Book )

26 editions published between 1938 and 1970 in 3 languages and held by 95 WorldCat member libraries worldwide

Die Widerspruchsfreiheit der reinen Zahlentheorie by Gerhard Gentzen( Book )

15 editions published between 1936 and 1970 in German and Italian and held by 73 WorldCat member libraries worldwide

Recherches sur la déduction logique by Gerhard Gentzen( Book )

5 editions published between 1955 and 1980 in French and held by 23 WorldCat member libraries worldwide

Die gegenwärtige Lage in der mathematischen Grundlagenforschung by Gerhard Gentzen( Book )

1 edition published in 1969 in German and held by 17 WorldCat member libraries worldwide

Recherches sur la déduction logique by Gerhard Gentzen( Book )

7 editions published in 1955 in 3 languages and held by 17 WorldCat member libraries worldwide

The collected Papers by Gerhard Gentzen( Book )

3 editions published in 1969 in English and German and held by 16 WorldCat member libraries worldwide

Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften : Neue Folge, Heft 1-8 by Heinrich Scholz( Book )

1 edition published in 1970 in German and held by 11 WorldCat member libraries worldwide

Teoria della dimostrazione( Book )

1 edition published in 1981 in Italian and held by 9 WorldCat member libraries worldwide

Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie by Gerhard Gentzen( Book )

5 editions published in 1943 in German and Undetermined and held by 7 WorldCat member libraries worldwide

Die gegenwärtige Lage in der mathematischen Grundlagenforschung by Gerhard Gentzen( )

1 edition published in 1970 in German and held by 3 WorldCat member libraries worldwide

Die Widerspruchsfreiheit der Stufenlogik by Gerhard Gentzen( Book )

2 editions published in 1936 in German and held by 3 WorldCat member libraries worldwide

Intuitionnisme et théorie de la démonstration( Book )

1 edition published in 1992 in French and held by 2 WorldCat member libraries worldwide

Badania nad wnioskowaniem logicznym by Gerhard Gentzen( Book )

1 edition published in 1980 in Polish and held by 2 WorldCat member libraries worldwide

Die widerspruchsfreiheit der reinen zahlentheorie : Sonderausgabe, 1967 by Gerhard Gentzen( Book )

2 editions published in 1967 in German and held by 2 WorldCat member libraries worldwide

Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics by Jan Von Plato( Book )

2 editions published in 2017 in English and held by 2 WorldCat member libraries worldwide

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 Gödel'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
Über die Existenz unabhängiger Axiomensysteme zu endlichen Satzsystemen by Gerhard Gentzen( Book )

1 edition published in 1932 in German and held by 2 WorldCat member libraries worldwide

[Untersuchungen über das logische Schliessen. Recherches sur la déducation logique ... Traduction et commentaire par Robert Feys et Jean Ladrière by Gerhard Gentzen( Book )

1 edition published in 1955 in German and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.55 for Gentzen's ... to 0.98 for Teoria del ...)

Covers
Natural deduction : a proof-theoretical study
Alternative Names
Gentzen 1909-1945

Gentzen, G.

Gentzen, Gerhard Karl Erich

Gentzen, Gerhard Karl Erich 1909-1945

Gerhard Gentzen German mathematician

Gerhard Gentzen matemàtic alemany

Gerhard Gentzen matematician german

Gerhard Gentzen matematico e logico tedesco

Gerhard Gentzen matemático y lógico alemán

Gerhard Gentzen matematyk niemiecki

Gerhard Gentzen mathématicien allemand

Gerhard Gentzen tysk matematikar

Gerhard Gentzen tysk matematiker

Gerhard Gentzen wiskundige uit Duitse Keizerrijk (1909-1945)

Герхард Генцен

Ґергард Ґенцен

قرهارد قنتسن

گرهارد گنتسن ریاضی‌دان آلمانی

게르하르트 겐첸

ゲルハルト・ゲンツェン

格哈德·根岑

Languages
German (69)

English (48)

French (26)

Italian (5)

Polish (1)

Spanish (1)