ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

دانلود کتاب اصول شهودگرایی سخنرانی ها کنفرانس تابستانی در مورد شهودگرایی و نظریه اثبات، 1968

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

مشخصات کتاب

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 3540046143, 9783540046141 
ناشر: Springer 
سال نشر: 1969 
تعداد صفحات: 116 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 705 کیلوبایت

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



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

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


در صورت تبدیل فایل کتاب Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اصول شهودگرایی سخنرانی ها کنفرانس تابستانی در مورد شهودگرایی و نظریه اثبات، 1968 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب اصول شهودگرایی سخنرانی ها کنفرانس تابستانی در مورد شهودگرایی و نظریه اثبات، 1968

این مقاله به عنوان مقدمه ای بر اصول شهودگرایی در نظر گرفته شده است. بر مفاهیم اساسی، نه سیستم های رسمی تأکید می شود. نتایج نظری اثبات برای نشان دادن قدرت نسبی و پیامدهای رسمی اصول مختلف ذکر شده است. به عبارت دیگر، این مقاله مواد مورد نیاز برای تشخیص برخی از سیستم‌های رسمی را به عنوان نمایانگر قطعاتی از ریاضیات شهودی ارائه می‌کند. کاربرد اصول مختلف در ریاضیات با مثال های مناسب نشان داده شده است.


توضیحاتی درمورد کتاب به خارجی

This paper is intended as an introduction to the principles of intuitionism. Basic notions, not formal systems are emphasized; proof theoretic results are mentioned to illustrate relative power and formal consequences of various principles. In other words, this paper presents the material needed to recognize certain formal systems as representing fragments of intuitionistic mathematics. The application of various principles in mathematics is illustrated by suitable examples.



فهرست مطالب

Introduction....Pages 2-4
Logic....Pages 5-11
Elementary arithmetic....Pages 12-13
Species....Pages 14-16
Sequences and constructive (lawlike) objects....Pages 16-21
Elementary theory of real numbers....Pages 22-26
Ordering relations and order on the real line....Pages 26-28
Constructive or lawlike analysis....Pages 29-33
Lawless sequences of natural numbers....Pages 34-43
Choice sequences....Pages 44-56
Spreads and a theory of real numbers....Pages 57-64
Topology; separable metric spaces....Pages 64-70
Applications of the continuity principles and the fan theorem....Pages 71-75
Well-orderings and ordinals....Pages 76-90
Species revisited; the role of the comprehension principle....Pages 91-94
Brouwer\'s theory of the creative subject....Pages 95-107




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی