دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب One hundred years of intuitionism (1907-2007) : the Cerisy conference
دانلود کتاب صد سال شهود گرایی (2007 - 1907): کنفرانس Cerisy
مشخصات کتاب
One hundred years of intuitionism (1907-2007) : the Cerisy conference
ویرایش: نویسندگان: Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann سری: Publications des Archives Henri-Poincaré ISBN (شابک) : 9783764386528, 3764386533 ناشر: Birkhauser سال نشر: 2008 تعداد صفحات: 436 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب One hundred years of intuitionism (1907-2007) : the Cerisy conference به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب صد سال شهود گرایی (2007 - 1907): کنفرانس Cerisy نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب صد سال شهود گرایی (2007 - 1907): کنفرانس Cerisy
شهودگرایی یکی از پایه‌های اصلی ریاضیات است که در قرن بیستم مطرح شد و دیدگاه‌های آن در مورد منطق نیز با توسعه علم کامپیوتر نظری اهمیت ویژه‌ای پیدا کرده است. این کتاب شرح تاریخی شهودگرایی را مرور و تکمیل می کند. همچنین کار فلسفی اخیر در مورد شهودگرایی را ارائه می‌کند و نمونه‌هایی از پیشرفت‌ها و کاربردهای فنی جدید را ارائه می‌دهد. این 21 مقاله از نویسندگان برجسته امروزی در مورد شهودگرایی را گرد هم می آورد.
توضیحاتی درمورد کتاب به خارجی
Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.
فهرست مطالب
Front Matter....Pages I-XIII
Front Matter....Pages 1-1
Another look at Brouwer’s dissertation....Pages 3-20
Brouwerian infinity....Pages 21-36
The new intuitionism....Pages 37-49
Truth and experience of truth....Pages 50-59
The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem....Pages 60-77
The intersection of intuitionism (Brouwer) and phenomenology (Husserl)....Pages 78-95
Brouwer on ‘hypotheses’ and the middle Wittgenstein....Pages 96-114
Brouwer’s notion of intuition and theory of knowledge by presence....Pages 115-130
Buddhist models of the mind and the common core thesis on mysticism....Pages 131-145
Front Matter....Pages 147-147
Remarks on the supposed french’ semi-’ or ‘pre-intuitionism’....Pages 149-162
Poincaré: intuitionism, intuition, and convention....Pages 163-177
Some of Julius König’s mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory ....Pages 178-197
Gödel, constructivity, impredicativity, and feasibility....Pages 198-213
Lorenzen’s operative justification of intuitionistic logic....Pages 214-240
Front Matter....Pages 241-241
The Hilbert-Brouwer controversy resolved?....Pages 243-256
Proof theory and Martin-Löf Type Theory....Pages 257-279
Some remarks on linear logic....Pages 280-300
Two applications of dynamic constructivism: Brouwer’s continuity principle and choice sequences in formal topology....Pages 301-315
A reverse look at Brouwer’s Fan Theorem....Pages 316-325
Some applications of Brouwer’s Thesis on Bars....Pages 326-340
Front Matter....Pages 241-241
Concluding remarks at the Cerisy conference....Pages 341-342
A bibliography of L.E.J. Brouwer....Pages 343-390
Back Matter....Pages 391-422
