Yahoo Suche Web Suche

Suchergebnisse

1. Suchergebnisse:

1. www.deutsche-digitale-bibliothek.de › person › gndGerhard Gentzen - Deutsche Digitale Bibliothek

   www.deutsche-digitale-bibliothek.de › person › gnd

   • Im Cache

   Gerhard Gentzen - Deutsche Digitale Bibliothek. Nur digitalisierte Objekte. 20.796.351 Objekte. 1.395.708 Personen 115.005 Organisationen. Startseite. Gerhard Gentzen.

2. link.springer.com › chapter › 10Part I: A sketch of Gentzen’s life and work | SpringerLink

   link.springer.com › chapter › 10

   • Im Cache

   1. Apr. 2017 · Abstract. Gerhard Gentzen died on August 4, 1945, in a prison in Prague. His fellow prisoners were professors of the local German university, and there are accounts of his last days and how he was, rendered weak by lack of food, still pondering over the consistency problem of analysis. After the war, some attempts were made to find any ...

3. logic-teaching.github.io › prop › textsTHE COLLECTED PAPERS GERHARD GENTZEN - GitHub Pages

   logic-teaching.github.io › prop › texts

   OF GERHARD GENTZEN Edited by M. E. SZABO Sir George Williams University Montreal 1969 NORTH-HOLLAND PUBLISHlNG COMPANY AMSTERDAM LONDON . 3. INVESTIGATIONS INTO LOGICAL DEDUCTION SYNOPSIS The investigations that follow concern the domain of predicate log ...

4. de.wikisource.org › wiki › Gerhard_GentzenGerhard Gentzen – Wikisource

   de.wikisource.org › wiki › Gerhard_Gentzen

   • Im Cache

   Literatur von und über Gerhard Gentzen im Katalog der Deutschen Nationalbibliothek; John J. O’Connor, Edmund F. Robertson: Gerhard Gentzen. In: MacTutor History of Mathematics archive (englisch) Gerhard Gentzen im Mathematics Genealogy Project (englisch) Gentzenforschung an der Erlanger Universität; M. E. Szabo.

5. human.libretexts.org › Bookshelves › PhilosophyC.3: Gerhard Gentzen - Humanities LibreTexts

   human.libretexts.org › Bookshelves › Philosophy

   • Im Cache

   Gerhard Gentzen is known primarily as the creator of structural proof theory, and specifically the creation of the natural deduction and sequent calculus proof systems. He was born on November 24, 1909 in Greifswald, Germany. Gerhard was homeschooled for three years before attending preparatory school, where he was behind most of his classmates ...

6. cs.wikipedia.org › wiki › Gerhard_GentzenGerhard Gentzen – Wikipedie

   cs.wikipedia.org › wiki › Gerhard_Gentzen

   • Im Cache

   Gerhard Karl Erich Gentzen (24. listopadu 1909, Greifswald, Německo – 4. srpna 1945, Praha, Československo) byl německý matematik a logik. Jeho hlavní práce tkví v základech matematiky , v teorii důkazů a zavedení sekventního kalkulu matematické logiky.