دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hilbert’s Programs and Beyond
دانلود کتاب برنامه های هیلبرت و فراتر از آن
مشخصات کتاب
Hilbert’s Programs and Beyond
ویرایش: 1
نویسندگان: Wilfried Sieg
سری:
ISBN (شابک) : 0195372220, 9780195372229
ناشر: Oxford University Press
سال نشر: 2013
تعداد صفحات: 452
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب برنامه های هیلبرت و فراتر از آن: تاریخ، ریاضیات، علوم و ریاضی، منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق و زبان، فلسفه، سیاست و علوم اجتماعی، منطق، فلسفه، علوم انسانی، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی، ریاضیات و ریاضیات مثلثات، حساب دیفرانسیل و انتگرال، هندسه، آمار، علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب Hilbert’s Programs and Beyond به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه های هیلبرت و فراتر از آن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه های هیلبرت و فراتر از آن
Hilbert's Programs & Beyond کار اساسی دیوید هیلبرت را
در دنباله ای از مقالات سازماندهی شده موضوعی ارائه می دهد. آنها
ابتدا ریشه های کار هیلبرت را در دگرگونی ریشه ای ریاضیات در قرن
نوزدهم دنبال کردند و نقش محوری او را در ایجاد منطق ریاضی و
نظریه اثبات نشان دادند. آنها سپس تکنیک ها و نتایج نظریه اثبات
"کلاسیک" و همچنین گسترش چشمگیر آنها در نظریه اثبات مدرن را
تجزیه و تحلیل می کنند. این تجربه فکری سرانجام افق هایی را برای
تأمل در ماهیت ریاضیات در قرن بیست و یکم باز می کند: سیگ موضع
خود را در مورد ساختارگرایی تقلیلی بیان می کند و ظرفیت
های ریاضی را از طریق مدل های محاسباتی بررسی می کند.
توضیحاتی درمورد کتاب به خارجی
Hilbert's Programs & Beyond presents the foundational
work of David Hilbert in a sequence of thematically organized
essays. They first trace the roots of Hilbert's work to the
radical transformation of mathematics in the 19th century and
bring out his pivotal role in creating mathematical logic and
proof theory. They then analyze techniques and results of
"classical" proof theory as well as their dramatic expansion in
modern proof theory. This intellectual experience finally opens
horizons for reflection on the nature of mathematics in the
21st century: Sieg articulates his position of reductive
structuralism and explores mathematical capacities via
computational models.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Handbook of Paleoanthropology: Vol I:Principles, Methods and Approaches Vol II:Primate Evolution and Human Origins Vol III:Phylogeny of Hominids
دانلود کتاب New Horizons in Evolution
دانلود کتاب Thermodynamische Berechnungen mit MATLAB – Entwicklung einer Programmsammlung
دانلود کتاب The Yamuna River Basin: Water Resources and Environment
