دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات ویرایش: 1 نویسندگان: F. Richman سری: Lecture Notes in Mathematics ISBN (شابک) : 3540108505, 9783540108504 ناشر: Springer سال نشر: 1981 تعداد صفحات: 367 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Constructive Mathematics. Proc. conf. New Mexico, 1980 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات سازنده. روند اعتراف نیومکزیکو ، 1980 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Seidenberg\'s condition P....Pages 1-11
Field extensions....Pages 12-15
Dedekind domains....Pages 16-30
Effective mathematics — the computer algebra viewpoint....Pages 31-43
On some open problems in constructive probability theory....Pages 44-53
Consistency and independence results in intuitionistic set theory....Pages 54-86
Errata....Pages 86-86
Computability of ordinal recursion of type level two....Pages 87-104
A constructive approach to classical mathematics....Pages 105-110
Remarks on the notion of standard non-isomorphic natural number series....Pages 111-134
Reflections on Bishop\'s philosophy of mathematics....Pages 135-145
Formalizing constructive mathematics: Why and how?....Pages 146-190
Independence of premisses and the free topos....Pages 191-207
An intuitionistic infinitesimal calculus....Pages 208-212
Liberal constructive set theory....Pages 213-240
Locating metric complements in ℝ n ....Pages 241-249
A disjunctive decomposition theorem for classical theories....Pages 250-259
Towards a constructive foundation for quantum mechanics....Pages 260-273
About infinity, finiteness and finitization (in connection with the foundations of mathematics)....Pages 274-313
A class of theorems with valid constructive counterparts....Pages 314-320
Rational constructive analysis....Pages 321-347