Saved from the Cellar: Gerhard Gentzens Shorthand Notes on Logic and Foundations of Mathematics free ebook download.

Home : Book details

Saved from the Cellar: Gerhard Gentzens Shorthand Notes on Logic and Foundations of Mathematics free ebook download

Category:
Mathematics

Views: 117
Likes: 178

Catalogue

Author(s):	Jan von Plato

Date:	2016-11-02	Format:	PDF	Language:	English	ISBN/ASIN:	3319421190
Pages:	310	OCR:		Quality:		ISBN13:
Uploader:	maveriks	Upload Date:	2/4/2020 10:20:26 AM

To download click on link in the Links Table below

Description: Click to see full description

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 Gdel'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.

Links Table

	Title	Link	Password	Size (MB)	Thank to	Inform Admin
2693430	Book	https://nitroflare.com/view/7F8E9108571C...		10.14	maveriks

Tags: Cellar Foundations Gerhard Logic Mathematics Notes Saved Shorthand

Title	Link	Password	Size	Reason

Those who downloaded this book also downloaded the following books:
Comments

New comment: