Logic's lost genius: the life of Gerhard Gentzen

By:

Menzler-Trott, Eckart

Contributor(s):

Series: History of mathematics ; v. 33Publication details: American Mathematical Society, 2007. Rhode island:Description: xxii, 440 p.: ill.; pb; 26 cmISBN:

9781470428129

Subject(s):

DDC classification:

510.92 MEN

Summary: Gerhard Gentzen (1909-1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called "proof theory", but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today." "The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	IIT Gandhinagar General Stacks	General	510.92 MEN (Browse shelf(Opens below))	1	Available		029305

Browsing IIT Gandhinagar shelves, Shelving location: General Stacks, Collection: General Close shelf browser (Hides shelf browser)

Previous								Next
Previous	510.92 JOH My remarkable journey: a memoir	510.92 KAL Through a reporter's eyes: the life of Stefan Banach	510.92 MAZ World of Maria Gaetana Agnesi, mathematician of God	510.92 MEN Logic's lost genius: the life of Gerhard Gentzen	510.92 RED John von Neumann: selected letters	510.92 TOS Secret formula: how a mathematical duel inflamed renaissance Italy and uncovered the cubic equation	510.92 TUR Alan M. Turing: centenary edition	Next

Includes bibliographical references and index.
Translated from the German.

Gerhard Gentzen (1909-1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called "proof theory", but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today." "The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945.

There are no comments on this title.

to post a comment.