ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Intuitionism. An introduction

دانلود کتاب شهود گرایی. یک مقدمه

Intuitionism. An introduction

مشخصات کتاب

Intuitionism. An introduction

دسته بندی: منطق
ویرایش: [3d rev. ed.] 
نویسندگان:   
سری: Studies in logic and the foundations of mathematics 
ISBN (شابک) : 9780720422399, 0720422396 
ناشر: North-Holland Pub. Co 
سال نشر: 1971 
تعداد صفحات: 150 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

قیمت کتاب (تومان) : 28,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 11


در صورت تبدیل فایل کتاب 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




نظرات کاربران