Logic's Lost Genius (History of Mathematics)

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

از خودتان درباره کتاب توضیح کوتاهی بنویسید

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 Godel; 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 issuitable for general readers, researchers, students, and teachers.

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2007

نویسنده

Eckart Menzler-Trott

ناشر

American Mathematical Society

شابک

9780821835500

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Logic's Lost Genius (History of Mathematics)

Logic's Lost Genius (History of Mathematics)

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2007

نویسنده

ناشر

شابک

کتاب های مرتبط

Cemeteries of Seattle

Glendale

Baton Rouge

Sheffield Village

Lyndhurst

Hagerstown in the Civil War

9780743285001

Infidel

Riding Rockets

Not Dead And Not for Sale

The Moralist

American Bloomsbury

Diana

Thirty Seconds Over Tokyo

It's Good to Be the King...Sometimes

Tommyland

Tommyland

Cheating Death, Stealing Life

Louis Pasteur and the Fight Against Germs

The Law Book

Wwe Superstar Handbook

دیدگاه کاربران