دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: A. Ehrenfeucht, V.W. Marek, M. Srebrny سری: Stand Alone ISBN (شابک) : 158603782X, 9781435677807 ناشر: IOS Press سال نشر: 2008 تعداد صفحات: 460 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Andrzej Mostowski and foundational studies به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب آندره مستوفسکی و مطالعات بنیادی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
آندری ماستوفسکی یکی از منطق دانان برجسته قرن بیستم بود. میراث او در این مجلد از مقالات بررسی شده است که هم به میراث علمی خارق العاده او و هم به یاد او به عنوان یک محقق، معلم، سازمان دهنده علم و شخص بزرگ اختصاص دارد. پروفسور ماستوفسکی در بسیاری از زمینه های منطق ریاضی پیشگام بود و به آن تسلط داشت. مشارکت های او شامل نظریه مجموعه ها، نظریه بازگشت و نظریه مدل - ستون فقرات پایه های ریاضیات است. کتابشناسی کامل و دقیق نوشته های ماستوفسکی گنجانده شده است. برای سالها پس از جنگ جهانی دوم و بهویژه در اواخر دهه شصت و تا زمان مرگ نابهنگام او در سال 1975، ورشو، جایی که او مرکز مطالعات بنیادی را رهبری میکرد، مکانی بود که بسیاری از منطقدانان برجسته از آن بازدید، مطالعه کردند و کار خود را آغاز کردند. خاطرات آنها بخش مهمی از این جلد را تشکیل می دهد و تلاش می کند تا دستاوردها و شخصیت خارق العاده ماستوفسکی را بازگرداند. این مجموعه از مقالات بسیاری از مطالب مفید، محرک و الهام بخش هم در علم و هم در مورد محیط اجتماعی که علم در آن ساخته شده است.
IOS Press یک ناشر بین المللی علمی، فنی و پزشکی کتاب های با کیفیت بالا برای دانشگاهیان، دانشمندان، و متخصصین در تمامی زمینه ها
برخی از زمینه هایی که ما در این زمینه منتشر می کنیم:
-زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیکی - تجارت الکترونیک - اقتصاد دانش -مطالعات شهری -کنترل تسلیحات -درک و پاسخ به تروریسم -انفورماتیک پزشکی -علوم کامپیوتر
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory - the backbone of the foundations of mathematics. The complete detailed bibliography of Mostowski's writings is included. For many years after WWII and especially in the late sixties and until his untimely death in 1975, Warsaw, where he led the centre of foundational studies, was a place where many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski.
Anyone wanting to see the roots of current applications of logic, be it in mathematics, computer science or philosophy, will find in this collection of articles plenty of helpful, stimulating and inspiring material both in science and about the social environment in which science is made.
IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.
Some of the areas we publish in:
-Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences
Title page......Page 1
Preface......Page 5
Contents......Page 9
History......Page 13
On the Life and Work of Andrzej Mostowski (1913-1975)......Page 15
Mathematical Logic in Warsaw in the 60’s and 70’s, or the Interaction of Logic and Life......Page 27
Mathematical Logic in Warsaw: 1918-1939......Page 42
Mathematical Contributions......Page 59
The Three-Valued Logic of Quadratic Form Theory over Real Rings......Page 61
Remarks on Godel Phenomena and the Field of Reals......Page 80
Undecidability and Concatenation......Page 84
Witness Quantifiers and 0-1 Laws......Page 104
Logic for Artificial Intelligence: A Rasiowa-Pawlak School Perspective......Page 118
Contributions to the Theory of Weakly Distributive Complete Boolean Algebras......Page 156
Quantifiers in Limits......Page 163
The Kleene-Mostowski Hierarchy and the Davis-Mostowski Hierarchy......Page 183
A Model Theoretic Approach to Proof Theory of Arithmetic......Page 210
Towards Decidability of the Theory of Pseudo-Finite Dimensional Representations of sl2(k); I......Page 247
Encounters with A. Mostowski......Page 273
Observations on Truth, Consistency and Lengths of Proofs......Page 290
The Algebraic Interpretation of Quantifiers: Intuitionistic and Classical......Page 301
Abstracting and Generalizing Pseudorecursiveness......Page 325
Andrzej Mostowski on the Foundations and Philosophy of Mathematics......Page 336
Bibliography of Andrzej Mostowski......Page 351
Bibliography of Andrzej Mostowski......Page 353
Memories......Page 385
Warsaw 1957: Memories of Mostowski......Page 387
Andrzej Mostowski - My Master in Mathematics......Page 392
Our Reminiscences of Andrzej Mostowski......Page 396
Andrzej Mostowski: An Appreciation......Page 400
Andrzej Mostowski as Teacher and Editor......Page 405
Mostowski and Czech-Polish Cooperation in Mathematical Logic......Page 415
Reminiscences of Warsaw and Logic, 1964......Page 418
From Mathematical Logic, to Natural Language, Artificial Intelligence, and Human Thinking (A Short Essay in Honour of Andrzej Mostowski)......Page 422
A Very Personal Recollection......Page 426
The Prince of Logic......Page 433
Remembrances of Professor Andrzej Mostowski......Page 441
Name Index......Page 447
Author Index......Page 459