People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010

افراد، مشکلات، و برهان‌ها شریان حیات علم کامپیوتر نظری هستند. پشت دستگاه‌های محاسباتی و برنامه‌هایی که زندگی ما را متحول کرده‌اند، الگوریتم‌های هوشمندانه‌ای هستند و برای هر الگوریتم ارزشمندی، مشکلی وجود دارد که آن را حل می‌کند و دلیلی برای کارکرد آن وجود دارد. قبل از این اثبات یک مسئله باز وجود داشت: آیا می توان یک الگوریتم کارآمد برای حل مسئله محاسباتی ایجاد کرد؟ و در نهایت، پشت این سوالات افرادی هستند که در مورد این مسائل اساسی در دنیای محاسباتی ما هیجان زده هستند.

در این کتاب، نویسندگان از تجربه پژوهشی و تدریس برجسته خود استفاده می‌کنند تا برخی از افراد و ایده‌های کلیدی را در حوزه علوم کامپیوتر نظری، به‌ویژه در پیچیدگی محاسباتی و الگوریتم‌ها، و موضوعات ریاضی مرتبط به نمایش بگذارند. آنها شواهدی از بورس تحصیلی قابل توجهی را نشان می دهند که از این رشته جوان حمایت می کند، و گستره چشمگیر موضوعات را با عمق لازم برای آشکار کردن قدرت و ارتباط کار توصیف شده متعادل می کنند.

فراتر از این، نویسندگان در مورد تلاش پایدار جامعه خود بحث می کنند و چیزهای زیادی در مورد فرهنگ حوزه خود آشکار می کنند. حرفه ای در علوم کامپیوتر نظری در سطح عالی یک حرفه است: کار سخت است، و علاوه بر الزامات آشکار مانند عقل و آموزش، خطوط این کتاب اهمیت عوامل انسانی مانند شخصیت، غریزه، خلاقیت را نشان می دهد. ، جاه طلبی، سرسختی و شانس.

شیوه نویسندگان با مشاهدات شخصی، اشتیاق و شوخ طبعی مشخص می شود و این کتاب منبع الهام و راهنمایی برای دانشجویان تحصیلات تکمیلی و محققان درگیر خواهد بود. با یا برنامه ریزی مشاغل در علوم کامپیوتر نظری.

People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and a proof that it works. Before this proof there was an open problem: can one create an efficient algorithm to solve the computational problem? And, finally, behind these questions are the people who are excited about these fundamental issues in our computational world.

In this book the authors draw on their outstanding research and teaching experience to showcase some key people and ideas in the domain of theoretical computer science, particularly in computational complexity and algorithms, and related mathematical topics. They show evidence of the considerable scholarship that supports this young field, and they balance an impressive breadth of topics with the depth necessary to reveal the power and the relevance of the work described.

Beyond this, the authors discuss the sustained effort of their community, revealing much about the culture of their field. A career in theoretical computer science at the top level is a vocation: the work is hard, and in addition to the obvious requirements such as intellect and training, the vignettes in this book demonstrate the importance of human factors such as personality, instinct, creativity, ambition, tenacity, and luck.

The authors' style is characterized by personal observations, enthusiasm, and humor, and this book will be a source of inspiration and guidance for graduate students and researchers engaged with or planning careers in theoretical computer science.