Envío gratis siempre a todo México.
Haz clic para hacer zoom
Not Available
Jan von
Saved from the Cellar
Cargando comentarios…
Comparte
$3,031
$2,728
Comentarios
Cargando el resumen…
Cargando comentarios…
product
3712764Saved from the Cellarhttps://www.gandhi.com.mx/saved-from-the-cellar-9783319421209/phttps://gandhi.vtexassets.com/arquivos/ids/2844830/70fad521-2567-4f6b-9921-5ad6c27ab630.jpg?v=638384529687430000https://gandhi.vtexassets.com/arquivos/ids/2841352/70fad521-2567-4f6b-9921-5ad6c27ab630.jpg?v=63838452516043000027283031MXNSpringer International PublishingInStock/Ebooks/<p>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 Gdels 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 Hilberts 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 Gentzens 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 Gentzens 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.</p>...3648883Saved from the Cellar27283031https://www.gandhi.com.mx/saved-from-the-cellar-9783319421209/phttps://gandhi.vtexassets.com/arquivos/ids/2844830/70fad521-2567-4f6b-9921-5ad6c27ab630.jpg?v=638384529687430000https://gandhi.vtexassets.com/arquivos/ids/2841352/70fad521-2567-4f6b-9921-5ad6c27ab630.jpg?v=638384525160430000InStockMXN99999DIEbook20179783319421209_W3siaWQiOiJiMjk4ODMwYy00MzJmLTQyM2UtODcxYi1jMzBhZTU0MzhlYzgiLCJsaXN0UHJpY2UiOjMwMzEsImRpc2NvdW50IjozMDMsInNlbGxpbmdQcmljZSI6MjcyOCwiaW5jbHVkZXNUYXgiOnRydWUsInByaWNlVHlwZSI6Ildob2xlc2FsZSIsImN1cnJlbmN5IjoiTVhOIiwiZnJvbSI6IjIwMjUtMTAtMDFUMDA6MDA6MDBaIiwicmVnaW9uIjoiTVgiLCJpc1ByZW9yZGVyIjpmYWxzZX1d9783319421209_<p>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 Gdels 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 Hilberts 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 Gentzens 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 Gentzens 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.</p>...9783319421209_Springer International Publishinglibro_electonico_1b7ed3ba-d669-3bf0-ab7e-4311b0009f79_9783319421209;9783319421209_9783319421209Jan vonInglésMéxico2017-03-31T00:00:00+00:00Springer International Publishing