دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: [3d rev. ed.] نویسندگان: A. Heyting سری: Studies in logic and the foundations of mathematics ISBN (شابک) : 9780720422399, 0720422396 ناشر: North-Holland Pub. Co سال نشر: 1971 تعداد صفحات: 150 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب Intuitionism. An introduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب شهود گرایی. یک مقدمه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
از پیشگفتار ---------------- برای اینکه خواننده وقت خود را در تلاش های بیهوده برای حل معماهای فرضی هدر ندهد، به او هشدار می دهم که افراد دیالوگ، کاریکاتورهای افراد زنده یا مرده نیستند، چه رسد به دوتایی آنها. آنها گیره هایی برای آویزان کردن ایده ها هستند و نه چیز دیگری. تا حدی این حتی در مورد Int که نماینده موضع شهودگرایی است نیز صادق است. برای شفافیت، گاهی اوقات او را مجبور میکردم تا حدی مطلقتر از آنچه که اگر آزادانه عقایدم را بیان میکردم، صحبت میکردم. بحث به شدت محدود به شهودگرایی است. مفاهیم دیگر از ریاضیات تنها تا جایی مورد بررسی قرار می گیرند که به مخالفت با شهودگرایی منجر شوند. من هر گونه سرزنش را برای بیان ناقص سایر دیدگاه ها رد می کنم. لازم بود شواهدی با جزئیات زیاد ارائه شود، حتی در مواردی که فقط با اضافات کوچک با موارد کلاسیک معروف تفاوت دارند. هیچ راه دیگری برای نشان دادن این که این اضافات در کدام مکان ها باید انجام شود وجود نداشت. در طول کتاب، از آنجایی که خواننده قرار است احساسی نسبت به مشکلات شهودی خاص پیدا کند، من به تدریج سبک فشرده تری را در پیش گرفتم. در بسیاری از جاهای کتاب، خواننده استدلالهای قدیمی را مییابد که فاقد کلیت هستند و نسبت به روشهای مدرن ناشیانهتر هستند. این دلایل مختلفی دارد. در وهله اول، روش های قدرتمند اغلب از اثبات غیرمستقیم بیش از حد استفاده می کنند، به طوری که معرفی آنها در ریاضیات شهودی تقریبا غیرممکن است. در وهله دوم، نظریه های بسیار کلی مدرن با روش بدیهی پیش می روند. اکنون این روش تنها در صورتی میتواند به خوبی کار کند که برخی نظریههای عینی وجود داشته باشد، که نظریه بدیهی را بتوان از طریق تعمیم ساخت. به عنوان مثال، توپولوژی عمومی تنها پس از شناخته شدن توپولوژی فضاهای اقلیدسی با جزئیات می تواند توسعه یابد. در واقع، تقریباً هیچ بخشی از ریاضیات شهودی به اندازه کافی عمیق مورد بررسی قرار نگرفته است که ساخت یک نظریه بدیهی کلی را بپذیرد. بنابراین در این کتاب مجبور شدم خودم را به ابتدایی ترین مورد ادغام محدود کنم. زمانی که این امر بهتر از آنچه در حال حاضر است شناخته شود، امکان ساخت یک نظریه بدیهی در مورد این موضوع فراهم خواهد شد. حتی در مورد جبر، که بدیهی سازی در این لحظه امکان پذیر است، با توجه به این که کتاب به عنوان یک مقدمه در نظر گرفته شده است، به نظر می رسد بهتر است به مثال عینی فیلد اعداد واقعی پرداخته شود. احتمالاً در برخی موارد از روشهای قدیمی استفاده میکردم زیرا روشهای مدرن را نمیشناختم. یکی از اهداف این کتاب این است که ریاضیدانان شاغل را قادر سازد تصمیم بگیرند که کدام یک از نتایج آنها را می توان به طور شهودی اثبات کرد. شهودگرایی تنها در صورتی میتواند شکوفا شود که ریاضیدانانی که در زمینههای مختلف کار میکنند، فعالانه به آن علاقهمند شده و به آن کمک کنند. برای ایجاد یک شاخه مشخص از ریاضیات شهودی، در وهله اول لازم است که دانش کاملی از شاخه مربوط به ریاضیات کلاسیک داشته باشیم، و در وهله دوم به تجربه بدانیم که دام های شهودی در کجا نهفته است. من سعی می کنم در این کتاب دومی را آموزش دهم. امیدوارم برخی از خوانندگان من رفتار رضایتبخشتری نسبت به جزئیات من داشته باشند، یا با نظریات دیگر شهودی برخورد کنند. "پیشنهادات خواندن" برای کمک به آنها در نظر گرفته شده است. آنها مهمترین کار شهودی را در مورد برخی موضوعات خاص نشان می دهند.
From the preface ---------------- In order to prevent the reader from wasting his time in useless attempts to solve supposed riddles, I warn him that the persons of the dialogue are not caricatures of living or deceased persons, much less their doubles. They are pegs to hang ideas on, and nothing else. To a certain extent this is even true for Int, who represents the position of intuitionism. For the sake of clearness I made him speak sometimes in a somewhat more absolute way than I should have done if I had freely expressed my own opinions. The discussion in strictly limited to intuitionism; other conceptions of mathematics are touched on only in so far as they lead to objections against intuitionism. I reject any reproach for incomplete exposition of other points of view. It was necessary to give proofs in great detail, even where they differ only by small additions from the well-known classical ones. There was no other way to indicate in which places these additions had to be made. In the course of the book, as the reader is supposed to develop a feeling for the specifically intuitionistic difficulties, I have gradually adopted a more condensed style. In many places of the book the reader will find old-fashioned reasonings which lack generality and which are more clumsy than the modern methods. This has different reasons. In the first place, the powerful methods often make an excessive use of indirect proof, so that it is almost impossible to introduce them in intuitionistic mathematics. In the second place, the very general modern theories proceed by the axiomatic method. Now this method can only work well, if some concrete theories exist, from which the axiomatic theory can be constructed by generalization. For instance, general topology could only be developed after the topology of euclidean spaces was known in some detail. As a matter of fact, almost no part of intuitionistic mathematics has been investigated deeply enough to admit the construction of a general axiomatic theory. Thus in this book I had to confine myself to the most elementary case of integration; when this will be better known than it is at present, it will become possible to construct an axiomatic theory on the subject. Even in the case of algebra, where axiomatization is possible at this moment, it seemed better to treat the concrete example of the real number field, in view of the fact that the book is meant as an introduction. Probably in some cases I used antiquated methods because I did not know the modern ones. One of the aims of the book is, to enable working mathematicians to decide, which of their results can be proved intuitionistically. Intuitionism can only flourish, if mathematicians, working in different fields, become actively interested in it and make contributions to it. In order to build up a definite branch of intuitionistic mathematics, it is necessary in the first place to have a thorough knowledge of the corresponding branch of classical mathematics, and in the second place to know by experience where the intuitionistic pitfalls lie. I try in this book to teach the latter; I hope that some of my readers will give a more satisfactory treatment of details than I could, or that they will treat other theories intuitionistically. The "reading suggestions" are intended to help them; they indicate the most important intuitionistic work on some special subjects.
Preface Preface to the 2nd edition Preface to the 3rd edition I. DISPUTATION II. ARITHMETIC 1. Natural numbers 2. Real number-generators 3. Respectable real numbers 4. Limits of sequences of real number-generators III. SPREADS AND SPECIES 1. Spreads 2. Species 3. Arithmetic of real numbers 4. Continuity and bar-induction for spreads IV. ALGEBRA 1. Algebraic fields 2. Linear equations 3. Linear dependence V. PLANE POINTSPECIES 1. General notions 2. Located pointspecies VI. MEASURE AND INTEGRATION 1. Measurable regions and region-complements THE BROUWER INTEGRAL 2. Bounded measurable functions 3. Measurable point-species 4. The integral as the measure of a point-species 5. Unbounded functions 6. Hilbert space 7. Derivation VII. LOGIC 1. The propositional calculus 2. The first order predicate calculus 3. Applications VIII. CONTROVERSIAL SUBJECTS 1. Infinitely proceeding sequences, depending upon the solving of problems 2. Negationless mathematics BIBLIOGRAPHY INDEX GLOSSARY OF SYMBOLS