Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Saved from the Cellar Jan von Plato

Saved from the Cellar

Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics

Szerző: Jan von Plato
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer International Publishing AG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
57 295 Ft
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequ...

Információk a könyvről

Szerző
Jan von Plato
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2018
oldal
315
EAN
9783319825021
Enbook ID
20118790
Kiadó
Springer International Publishing AG
Súly
507
Méretek
155 x 235 x 18

Teljes leírás

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.

Érdekelheti

Lives and Times of El Cipitio

Randy Jurado Ertll
5 931 Ft

Longevity Code

Live Long and Strong Press
1 131 Ft

Zanzibar; City, Island, and Coast

Richard Francis Burton
10 250 Ft

The Notions of the Chinese Concerning God and Spirits

James Legge
7 115 Ft

Christmas Songs for Kids Easy Piano Songbook with Lyrics

Hal Leonard Corp
4 831 Ft

The Interference of Patricia

Lilian Bell
11 296 Ft

Modern Tyrants

Daniel Chirot
7 271 Ft

Fishing Cousins

RICHARD D. KELLEY
4 533 Ft

Extravaganzas of J.R. Planche, Esq., (Somerset Herald) 1825-1871 Volume 5

Stephen Tucker
13 384 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Entre o g?nero e a norma

Aline Gomes Vidal
18 300 Ft

En Jack i els pèssols màgics

J. JACOBS
4 475 Ft

Modernizm

Peter Gay
8 910 Ft

Lego Star Wars. W poszukiwaniu droida szpiegowskiego. Wersja ukraińska

PRACA ZBIOROWA
3 642 Ft

EL LAZO ROTO LEYENDAS DE LOS HEROES CONDOR 2

JIN YONG
7 752 Ft

Revue britannique

Sébastien-Louis Saulnier
22 392 Ft

Classificação de solos guiada por IA: abordagem de aprendizagem profunda Faster R-CNN

Rupsha Roy
14 640 Ft

Door het land der Skipetaren

Karl Friedrich May
8 357 Ft