دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Ernst Specker (auth.), Gerhard Jäger, Hans Läuchli, Bruno Scarpellini, Volker Strassen (eds.) سری: ISBN (شابک) : 9783034899666, 9783034892599 ناشر: Birkhäuser Basel سال نشر: 1990 تعداد صفحات: 420 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
کلمات کلیدی مربوط به کتاب Ernst Specker Selecta: زبان و ادبیات، ریاضی، عمومی، تاریخ علوم ریاضی
در صورت تبدیل فایل کتاب Ernst Specker Selecta به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Ernst Specker Selecta نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
ارنست اسپکر در 40 سال گذشته سهم تعیین کننده ای در شکل دادن به جهت گیری ها در توپولوژی، جبر، منطق ریاضی، ترکیبات و میکروفون الگوریتم داشته است. ما از بزرگداشت هفتادمین سالگرد تولد او با ویرایش اکثر مقالات علمی او و در نتیجه در دسترس قرار دادن آثار او به شکلی یکپارچه در اختیار جامعه ریاضیات بسیار لذت بردیم. برای بیان غنای شخصیت ایشان یکی از خطبه های ایشان را نیز آورده ایم. البته انتشار این سلکتا فقط می تواند به نوشته های ارنست اسپکر ادای احترام کند. این نمی تواند به اندازه کافی اصالت و خرد او را به عنوان یک شخص بیان کند و نه شیفتگی را که او نسبت به دانش آموزان، همکاران و دوستان خود اعمال می کند. ما نمیتوانیم کاری بهتر از نقل قول از هائو وانگ در «منطق فستشریفت» و الگوریتم I انجام دهیم: اسپکر قبل از اتمام تحصیلات رسمی خود برای مدت طولانی بیمار بود. او این فرصت را داشت که به چیزهای زیادی فکر کند. این تجربه ممکن است به پرورش برتری او به عنوان یک شخص کمک کرده باشد. از نظر دسته بندی های سنتی چینی، می توانم بگویم که یک ویژگی تائوئیستی در او وجود دارد به این معنا که بیشتر، کمتر رقابتی و درک بیشتر است. من معتقدم که او درک بهتری از آنچه در زندگی مهم است دارد و زندگی خود را بهتر از بسیاری از منطق دانان تنظیم می کند. ما از Birkhauser Verlag برای تولید این جلد Selecta سپاسگزاریم. تشکر ویژه ما از جوناس میون برای به اشتراک گذاشتن دانش صمیمی خود از دوستش ارنست اسپکر با ما است.
Ernst Specker has made decisive contributions towards shaping direc tions in topology, algebra, mathematical logic, combinatorics and algorith mic over the last 40 years. We have derived great pleasure from marking his seventieth birthday by editing the majority of his scientific publications, and thus making his work available in a unified form to the mathematical community. In order to convey an idea of the richness of his personality, we have also included one of his sermons. Of course, the publication of these Selecta can pay tribute only to the writings of Ernst Specker. It cannot adequately express his originality and wisdom as a person nor the fascination he exercises over his students, colleagues and friends. We can do no better than to quote from Hao Wang in the 'Festschrift' Logic and Algorithmic I: Specker was ill for an extended period before completing his formal education. He had the leisure to think over many things. This experi ence may have helped cultivating his superiority as a person. In terms of traditional Chinese categories, I would say there is a taoist trait in him in the sense of being more detached, less competitive, and more under standing. I believe he has a better sense of what is important in life and arranges his life better than most logicians. We are grateful to Birkhauser Verlag for the production of this Selecta volume. Our special thanks go to Jonas Meon for sharing with us his intimate knowledge of his friend Ernst Specker.
Front Matter....Pages I-XXIX
Front Matter....Pages N1-N1
Die erste Cohomologiegruppe von Überlagerungen und Homotopieeigenschaften dreidimensionaler Mannigfaltigkeiten....Pages 1-34
Nicht Konstruktiv Beweisbare Sätze der Analysis....Pages 35-48
Sur un Problème de Sikorski....Pages 49-52
Endenverbände von Räumen und Gruppen....Pages 53-60
Additive Gruppen von Folgen Ganzer Zahlen....Pages 61-70
The Axiom of Choice in Quine’s New Foundations for Mathematical Logic....Pages 71-74
Die Antinomien Der Mengenlehre....Pages 75-85
Verallgemeinerte Kontinuumshypothese und Auswahlaxiom....Pages 86-91
Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom)....Pages 92-129
Teilmengen von Mengen mit Relationen....Pages 130-142
Eine Verschärfung des Unvollständigkeitssatzes der Zahlentheorie....Pages 143-147
Der Satz vom Maximum in der Rekursiven Analysis....Pages 148-159
Dualität....Pages 160-174
Die Logik Nicht Gleichzeitig Entscheidbarer Aussagen....Pages 175-182
Modelle der Arithmetik....Pages 183-189
On a Theorem in the Theory of Relations and a Solution of a Problem of Knaster....Pages 190-192
Typical Ambiguity....Pages 193-201
Isomorphism Types of Trees....Pages 202-208
Logical Structures Arising in Quantum Theory....Pages 209-221
The Calculus of Partial Propositional Functions....Pages 222-234
Front Matter....Pages N1-N1
The Problem of Hidden Variables in Quantum Mechanics....Pages 235-263
The Fundamental Theorem of Algebra in Recursive Analysis....Pages 264-272
Lengths of Formulas and Elimination of Quantifiers I....Pages 273-286
Die Entwicklung der axiomatischen Mengenlehre....Pages 287-295
Nachwort....Pages 296-298
Algorithmische Kombinatorik mit Kleinrechnern....Pages 299-309
Complexity of Partial Satisfaction....Pages 310-320
Wie in einem Spiegel....Pages 321-323
Application of Logic and Combinatorics to Enumeration Problems....Pages 324-350
Postmoderne Mathematik: Abschied vom Paradies?....Pages 351-357
Die Logik oder Die Kunst des Programmierens....Pages 358-369
Back Matter....Pages 371-397