توضیحات
Kurt Gdel (19061978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules. Gdel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but arent. The result is known as Gdels first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question ‘Can mathematics be proved consistent?’
This book offers the first examination of Gdels preserved notebooks from 1930, written in a long-forgotten German shorthand, that show his way to the results: his first ideas, how they evolved, and how the jewel-like final presentation in his famous publication On formally undecidable propositions was composed.The book also contains the original version of Gdels incompleteness article, as handed in for publication with no mentioning of the second incompleteness theorem, as well as six contemporary lectures and seminars Gdel gave between 1931 and 1934 in Austria, Germany, and the United States. The lectures are masterpieces of accessible presentations of deep scientific results, readable even for those without special mathematical training, and published here for the first time.
————————————————————–
ترجمه ماشینی :
Kurt Gdel (19061978) در سال 1931 با نتیجه ای که به نماد علم قرن بیستم تبدیل شد، دنیای ریاضی را تکان داد: جست و جو برای سخت گیری در اثبات قضایای ریاضی به رسمی شدن برهان های ریاضی منجر شده بود، تا جایی که چنین اثباتی را می توان به اعمال چند قانون مکانیکی تقلیل داد. گلدل نشان داد که هرگاه بخشی از ریاضیات در حال رسمیسازی شامل حساب ابتدایی باشد، گزارههای حسابی وجود خواهد داشت که باید بهطور رسمی قابل اثبات باشند، اما نیستند. نتیجه به عنوان قضیه ناتمامی اول Gdels شناخته می شود، به این دلیل که نتیجه ناقصی دوم وجود دارد، که در پاسخ او به این سوال گنجانده شده است: «آیا می توان ریاضیات را ثابت کرد؟ ، که با یک مختصر آلمانی فراموش شده نوشته شده است، که راه او را به نتایج نشان می دهد: اولین ایده های او، چگونگی تکامل آنها، و نحوه ارائه نهایی جواهرمانند در نشریه معروف او درباره گزاره های رسمی غیرقابل تصمیم گیری چگونه بود. نوشته شده است. این کتاب همچنین شامل نسخه اصلی مقاله ناقص بودن Gdels است که برای انتشار بدون ذکر قضیه دوم ناقصی ارائه شده است، و همچنین شش سخنرانی و سمینار معاصر که گلدل بین سالهای 1931 و 1934 در اتریش، آلمان و ایالات متحده ارائه کرده است. ایالت ها. این سخنرانیها شاهکارهایی از ارائههای در دسترس نتایج عمیق علمی هستند که حتی برای کسانی که آموزش ریاضی خاصی ندارند قابل خواندن هستند و برای اولین بار در اینجا منتشر میشوند.
tag : دانلود کتاب آیا می توان ریاضیات را ثابت کرد؟: یادداشت های کوتاه و سخنرانی های Gدل در مورد ناقص بودن , Download آیا می توان ریاضیات را ثابت کرد؟: یادداشت های کوتاه و سخنرانی های Gدل در مورد ناقص بودن , دانلود آیا می توان ریاضیات را ثابت کرد؟: یادداشت های کوتاه و سخنرانی های Gدل در مورد ناقص بودن , Download Can Mathematics Be Proved Consistent?: Gdel’s Shorthand Notes & Lectures on Incompleteness Book , آیا می توان ریاضیات را ثابت کرد؟: یادداشت های کوتاه و سخنرانی های Gدل در مورد ناقص بودن دانلود , buy آیا می توان ریاضیات را ثابت کرد؟: یادداشت های کوتاه و سخنرانی های Gدل در مورد ناقص بودن , خرید کتاب آیا می توان ریاضیات را ثابت کرد؟: یادداشت های کوتاه و سخنرانی های Gدل در مورد ناقص بودن , دانلود کتاب Can Mathematics Be Proved Consistent?: Gdel’s Shorthand Notes & Lectures on Incompleteness , کتاب Can Mathematics Be Proved Consistent?: Gdel’s Shorthand Notes & Lectures on Incompleteness , دانلود Can Mathematics Be Proved Consistent?: Gdel’s Shorthand Notes & Lectures on Incompleteness , خرید Can Mathematics Be Proved Consistent?: Gdel’s Shorthand Notes & Lectures on Incompleteness , خرید کتاب Can Mathematics Be Proved Consistent?: Gdel’s Shorthand Notes & Lectures on Incompleteness ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.