جلد سخت سیاه و سفید
Product details
- Publisher : Springer; 1st ed. 2021 edition (January 25, 2022)
- Language : English
- Hardcover : 240 pages
- ISBN-10 : 9811641722
- ISBN-13 : 978-9811641725
کتاب Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised ... Proceedings in Mathematics & Statistics, 369)
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.
Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science.
Takeuti's work ranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines.
This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18–20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti.
منابع کتاب کتاب Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised ... Proceedings in Mathematics & Statistics, 369)
گایسی تاکوتی یکی از درخشان‌ترین، نابغه‌ترین و تأثیرگذارترین منطق‌دانان قرن بیستم بود. او پیش از این که در 10 می 2017 در سن 91 سالگی درگذشت، استاد و استاد ممتاز ریاضیات در دانشگاه ایلینویز در اوربانا-شامپین، ایالات متحده آمریکا بود.
تاکوتی یکی از بنیانگذاران نظریه اثبات ، شاخه ای از منطق ریاضی بود که از برنامه هیلبرت در مورد ثبات ریاضیات سرچشمه گرفت. بر اساس آثار پیشگام نظریه اثبات جنتزن در دهه 1930، او حدسی را در سال 1953 در مورد ماهیت اساسی اثبات های صوری منطق مرتبه بالاتر ارائه کرد که اکنون به عنوان حدس بنیادی تاکوتی شناخته می شود و او یک راه حل مثبت جزئی ارائه داد. استدلال های او در مورد حدس و نظریه اثبات به طور کلی تأثیر زیادی بر پیشرفت های بعدی منطق ریاضی، فلسفه ریاضیات، و کاربردهای منطق ریاضی در علوم کامپیوتر نظری داشته است.
کار تاکوتی در کل طیف منطق ریاضی، از جمله نظریه مجموعه ها، نظریه محاسباتی، تجزیه و تحلیل ارزش بولی، منطق فازی، محاسبات مرزی و علوم کامپیوتر نظری را شامل می شود. او تک نگاری ها و کتاب های درسی بسیاری به زبان انگلیسی و ژاپنی نوشت، و تک نگاری تاریخی او، نظریه اثبات، که در سال 1975 منتشر شد، برای مدت طولانی مرجع استاندارد نظریه اثبات بوده است. او طیف گسترده ای از علایق را داشت که تقریباً تمام زمینه های ریاضیات را پوشش می داد و به فیزیک نیز گسترش می یافت. انتشارات او شامل بسیاری از کتاب های ژاپنی برای دانش آموزان و خوانندگان عمومی در مورد منطق ریاضی، ریاضیات به طور کلی، و ارتباط بین ریاضیات و فیزیک، و همچنین مقالات بسیاری برای مجلات علمی ژاپنی است.
این جلد مجموعه ای از مقالات بر اساس سمپوزیوم پیشرفت در منطق ریاضی 2018 است. این سمپوزیوم در 18 تا 20 سپتامبر 2018 در دانشگاه کوبه ژاپن برگزار شد و به یاد پروفسور گائیسی تاکوتی تقدیم شد.
ارسال نظر درباره کتاب Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised ... Proceedings in Mathematics & Statistics, 369)