Von dem Buch Logic's Lost Genius: The Life of Gerhard Gentzen haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Eckart Menzler-Trott: Logic's Lost Genius: The Life of Gerhard Gentzen (ISBN: 9781470428129) 2016, American Mathematical Society, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
88%: Menzler-Trott, Eckart/ Smorynski, Craig (Translator)/ Griffor, Edward R. (Translator): Logic's Lost Genius: The Life of Gerhard Gentzen. (History of mathematics, vol.33) (ISBN: 9780821835500) American Mathematical Society, Vereinigte Staaten von Amerika, in Englisch, Band: 4, Broschiert.Nur diese Ausgabe anzeigen…
Logic's Lost Genius: The Life of Gerhard Gentzen - 8 Angebote vergleichen
Bester Preis: Fr. 78.62 (€ 80.40)¹ (vom 03.12.2020)1
Logic's Lost Genius (History of Mathematics) (2007)
EN HC NWISBN: 9780821835500 bzw. 0821835505, Band: 4, in Englisch, 442 Seiten, American Mathematical Society, gebundenes Buch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 24 hours.
Von Händler/Antiquariat, Amazon.com.
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. Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for "German logic", and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smorynski on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Gödel; and its development up to the present day. Smorynski explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program. This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers. Co-published with the London Mathematical Society beginning with Volume 4. Members of the LMS may order directly from the AMS at the AMS member price. The LMS is registered with the Charity Commissioners. Hardcover, Ausgabe: English Ed, Label: American Mathematical Society, American Mathematical Society, Produktgruppe: Book, Publiziert: 2007-11-21, Studio: American Mathematical Society, Verkaufsrang: 3332618.
Von Händler/Antiquariat, Amazon.com.
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. Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for "German logic", and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smorynski on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Gödel; and its development up to the present day. Smorynski explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program. This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers. Co-published with the London Mathematical Society beginning with Volume 4. Members of the LMS may order directly from the AMS at the AMS member price. The LMS is registered with the Charity Commissioners. Hardcover, Ausgabe: English Ed, Label: American Mathematical Society, American Mathematical Society, Produktgruppe: Book, Publiziert: 2007-11-21, Studio: American Mathematical Society, Verkaufsrang: 3332618.
2
Logic's Lost Genius (History of Mathematics) (2007)
EN HC USISBN: 9780821835500 bzw. 0821835505, Band: 4, in Englisch, 442 Seiten, American Mathematical Society, gebundenes Buch, gebraucht.
Neu ab: $82.44 (12 Angebote)
Gebraucht ab: $65.60 (10 Angebote)
Zu den weiteren 22 Angeboten bei Amazon.com
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, D & B Textbooks.
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. Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for "German logic", and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smorynski on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Gödel; and its development up to the present day. Smorynski explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program. This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers. Co-published with the London Mathematical Society beginning with Volume 4. Members of the LMS may order directly from the AMS at the AMS member price. The LMS is registered with the Charity Commissioners. Hardcover, Ausgabe: English Ed, Label: American Mathematical Society, American Mathematical Society, Produktgruppe: Book, Publiziert: 2007-11-21, Studio: American Mathematical Society, Verkaufsrang: 2862218.
Von Händler/Antiquariat, D & B Textbooks.
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. Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for "German logic", and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smorynski on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Gödel; and its development up to the present day. Smorynski explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program. This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers. Co-published with the London Mathematical Society beginning with Volume 4. Members of the LMS may order directly from the AMS at the AMS member price. The LMS is registered with the Charity Commissioners. Hardcover, Ausgabe: English Ed, Label: American Mathematical Society, American Mathematical Society, Produktgruppe: Book, Publiziert: 2007-11-21, Studio: American Mathematical Society, Verkaufsrang: 2862218.
3
Logic's Lost Genius (History of Mathematics) (2007)
EN HC NWISBN: 9780821835500 bzw. 0821835505, Band: 4, in Englisch, 442 Seiten, American Mathematical Society, gebundenes Buch, neu.
Neu ab: $82.44 (12 Angebote)
Gebraucht ab: $65.60 (10 Angebote)
Zu den weiteren 22 Angeboten bei Amazon.com
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 2-3 business days.
Von Händler/Antiquariat, TOTAL BOOKS.
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. Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for "German logic", and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smorynski on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Gödel; and its development up to the present day. Smorynski explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program. This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers. Co-published with the London Mathematical Society beginning with Volume 4. Members of the LMS may order directly from the AMS at the AMS member price. The LMS is registered with the Charity Commissioners. Hardcover, Ausgabe: English Ed, Label: American Mathematical Society, American Mathematical Society, Produktgruppe: Book, Publiziert: 2007-11-21, Studio: American Mathematical Society, Verkaufsrang: 2862218.
Von Händler/Antiquariat, TOTAL BOOKS.
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. Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for "German logic", and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smorynski on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Gödel; and its development up to the present day. Smorynski explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program. This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers. Co-published with the London Mathematical Society beginning with Volume 4. Members of the LMS may order directly from the AMS at the AMS member price. The LMS is registered with the Charity Commissioners. Hardcover, Ausgabe: English Ed, Label: American Mathematical Society, American Mathematical Society, Produktgruppe: Book, Publiziert: 2007-11-21, Studio: American Mathematical Society, Verkaufsrang: 2862218.
5
Symbolbild
Logic S Lost Genius (Hmath/33. S) (2016)
~EN PB NWISBN: 9781470428129 bzw. 1470428121, vermutlich in Englisch, American Mathematical Society, Taschenbuch, neu.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, plus shipping, Shipping area: EUR.
Von Händler/Antiquariat, Revaluation Books, DEVON, Exeter, [RE:4].
Softcover.
Von Händler/Antiquariat, Revaluation Books, DEVON, Exeter, [RE:4].
Softcover.
6
Logic's Lost Genius: The Life of Gerhard Gentzen (History of Mathematics) (2008)
EN NWISBN: 9780821835500 bzw. 0821835505, in Englisch, 438 Seiten, American Mathematical Society, neu.
Lieferung aus: Spanien, Temporalmente agotado. Haz tu pedido ahora y te lo enviaremos en cuanto esté disponible. Te enviaremos un e-mail con la fecha estimada de entrega tan pronto como tengamos información. No te haremos el cargo en la tarjeta de crédito hasta que se haya realizado el envío.
Von Händler/Antiquariat, Amazon.es.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.es.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Logic's Lost Genius: the Life of Gerhard Gentzen (History of Mathematics) Menzle
EN NWISBN: 9780821835500 bzw. 0821835505, in Englisch, American Mathematical Society, Vereinigte Staaten von Amerika, neu.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Lieferart: Flat, Lieferung: Weltweit, Artikelstandort: United Kingdom.
Von Händler/Antiquariat, roxy*media*uk - uk_media_superstore.
Festpreisangebot.
Von Händler/Antiquariat, roxy*media*uk - uk_media_superstore.
Festpreisangebot.
8
Symbolbild
Logic's Lost Genius: The Life of Gerhard Gentzen (2016)
~EN PB NWISBN: 9781470428129 bzw. 1470428121, vermutlich in Englisch, American Mathematical Society, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Free shipping.
Von Händler/Antiquariat, Book Deals [60506629], Lewiston, NY, U.S.A.
Von Händler/Antiquariat, Book Deals [60506629], Lewiston, NY, U.S.A.
Lade…