توضیحات
‘The papers collected here engage each of these questions through the veil of particular technical results. For example, the new proof of the irrationality of the square root of two, given by Stanley Tennenbaum in the 1960s and included here, brings into relief questions about the role simplicity plays in our grasp of mathematical proofs. In 1900 Hilbert asked a question which was not given at the Paris conference but which has been recently found in his notes for the list: find a criterion of simplicity in mathematics. The Tennenbaum proof is a particularly striking example of the phenomenon Hilbert contemplated in his 24th Problem’–Provided by publisher.;’This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foundational questions about the nature of mathematics. Highlights of the volume include: a history of Tennenbaum’s theorem in arithmetic; a number of papers on Tennenbaum phenomena in weak arithmetics as well as on other aspects of arithmetics, such as interpretability; the transcript of Gdel’s previously unpublished 1972-1975 conversations with Sue Toledo, along with an appreciation of the same by Curtis Franks; Hugh Woodin’s paper arguing against the generic multiverse view; Anne Troelstra’s history of intuitionism through 1991; and Aki Kanamori’s history of the Suslin problem in set theory. The book provides a historical and philosophical treatment of particular theorems in arithmetic and set theory, and is ideal for researchers and graduate students in mathematical logic and philosophy of mathematics’–Provided by publisher.
————————————————————–
ترجمه ماشینی :
مقالههای جمعآوریشده در اینجا هر یک از این سؤالات را از طریق پرده نتایج فنی خاص درگیر میکنند. برای مثال، اثبات جدید غیرمنطقی بودن جذر دو، که توسط استنلی تننبام در دهه 1960 ارائه شد و در اینجا گنجانده شد، پرسشهایی را درباره نقشی که سادگی در درک ما از برهانهای ریاضی ایفا میکند، به میان میآورد. در سال 1900 هیلبرت سوالی را مطرح کرد که در کنفرانس پاریس داده نشد، اما اخیراً در یادداشت های او برای لیست یافت شده است: معیاری برای سادگی در ریاضیات پیدا کنید. اثبات تننباوم نمونهای برجسته از پدیدهای است که هیلبرت در مسئله بیست و چهارم خود در نظر گرفته است. این مجموعه مقالات از حوزههای مختلف منطق ریاضی، گستردگی و غنای قابلتوجه این حوزه را به نمایش میگذارد. نویسندگان برجسته نشان میدهند که چگونه نتایج فنی معاصر به سؤالات اساسی در مورد ماهیت ریاضیات دست مییابند. نکات برجسته حجم عبارتند از: تاریخچه قضیه تننبام در حساب. تعدادی مقاله در مورد پدیدههای تننباوم در محاسبات ضعیف و همچنین در مورد سایر جنبههای حساب، مانند تفسیرپذیری. متن مکالمات منتشرنشده قبلی گلدل در سالهای 1972-1975 با سو تولدو، همراه با قدردانی از آن توسط کورتیس فرانک. مقاله هیو وودین که علیه دیدگاه چندجهانی عمومی بحث می کند. تاریخچه شهودگرایی آن ترولسترا تا سال 1991. و تاریخچه آکی کاناموری از مسئله سوسلین در نظریه مجموعه ها. این کتاب یک بررسی تاریخی و فلسفی از قضایای خاص در تئوری حساب و مجموعه ارائه می دهد و برای محققان و دانشجویان فارغ التحصیل در منطق ریاضی و فلسفه ریاضیات ایده آل است – ارائه شده توسط ناشر.
tag : دانلود کتاب نظریه مجموعه ها، حساب، و مبانی ریاضیات: قضایا، فلسفه ها , Download نظریه مجموعه ها، حساب، و مبانی ریاضیات: قضایا، فلسفه ها , دانلود نظریه مجموعه ها، حساب، و مبانی ریاضیات: قضایا، فلسفه ها , Download Set theory, arithmetic, and foundations of mathematics: theorems, philosophies Book , نظریه مجموعه ها، حساب، و مبانی ریاضیات: قضایا، فلسفه ها دانلود , buy نظریه مجموعه ها، حساب، و مبانی ریاضیات: قضایا، فلسفه ها , خرید کتاب نظریه مجموعه ها، حساب، و مبانی ریاضیات: قضایا، فلسفه ها , دانلود کتاب Set theory, arithmetic, and foundations of mathematics: theorems, philosophies , کتاب Set theory, arithmetic, and foundations of mathematics: theorems, philosophies , دانلود Set theory, arithmetic, and foundations of mathematics: theorems, philosophies , خرید Set theory, arithmetic, and foundations of mathematics: theorems, philosophies , خرید کتاب Set theory, arithmetic, and foundations of mathematics: theorems, philosophies ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.