دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Kennedy. Juliette, Kossak. Roman سری: Lecture notes in logic 36 ISBN (شابک) : 9781107008045, 1107008042 ناشر: Cambridge University Press سال نشر: 2011 تعداد صفحات: 243 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Set theory, arithmetic, and foundations of mathematics: theorems, philosophies به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه مجموعه ها، حساب، و مبانی ریاضیات: قضایا، فلسفه ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
"مقالات جمع آوری شده در اینجا هر یک از این سوالات را از طریق پرده نتایج فنی خاص درگیر می کند. به عنوان مثال، اثبات جدید غیرمنطقی بودن جذر دو، که توسط استانلی تننبام در دهه 1960 ارائه شد و در اینجا گنجانده شد، به سوالات کمک می کند. در مورد نقشی که سادگی در درک ما از اثبات های ریاضی ایفا می کند، هیلبرت در سال 1900 سؤالی را مطرح کرد که در کنفرانس پاریس ارائه نشده بود، اما اخیراً در یادداشت های او برای لیست یافت شده است: یک معیار برای سادگی در ریاضیات بیابید. اثبات تننباوم. نمونه برجسته ای از پدیده ای است که هیلبرت در مسئله 24 خود در نظر گرفته است - ارائه شده توسط ناشر. این مجموعه مقالات از حوزه های مختلف منطق ریاضی، گستردگی و غنای قابل توجه این رشته را به نمایش می گذارد. نویسندگان برجسته نشان می دهند که چقدر معاصر است. نتایج فنی به سؤالات اساسی در مورد ماهیت ریاضیات می پردازد. نکات برجسته جلد عبارتند از: تاریخچه قضیه تننباوم در حساب تیک تعدادی مقاله در مورد پدیدههای تننباوم در محاسبات ضعیف و همچنین در مورد سایر جنبههای حساب، مانند تفسیرپذیری. متن مکالمات منتشر نشده گودل در سالهای 1972-1975 با سو تولدو، همراه با قدردانی از آن توسط کورتیس فرانک. مقاله هیو وودین که علیه دیدگاه چندجهانی عمومی بحث می کند. تاریخچه شهودگرایی آن ترولسترا تا سال 1991. و تاریخچه آکی کاناموری از مسئله سوسلین در نظریه مجموعه ها. این کتاب یک بررسی تاریخی و فلسفی از قضایای خاص در تئوری حساب و مجموعهها ارائه میکند و برای محققان و دانشجویان فارغالتحصیل در منطق ریاضی و فلسفه ریاضیات ایدهآل است - ارائه شده توسط ناشر.