Logicism, Intuitionism, And Formalism

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

What Has Become Of Them? (Synthese Library)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

What Has Become Of Them? (Synthese Library)

The present anthology has its origin in two international conferences that were arranged at Uppsala University in August 2004: "Logicism, Intuitionism and F- malism: What has become of them?" followed by "Symposium on Constructive Mathematics". The rst conference concerned the three major programmes in the foundations of mathematics during the classical period from Frege's Begrif- schrift in 1879 to the publication of Godel' ] s two incompleteness theorems in 1931: The logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. The main purpose of the conf- ence was to assess the relevance of these foundational programmes to contemporary philosophy of mathematics. The second conference was announced as a satellite event to the rst, and was speci cally concerned with constructive mathematics-an activebranchofmathematicswheremathematicalstatements-existencestatements in particular-are interpreted in terms of what can be effectively constructed. C- structive mathematics may also be characterized as mathematics based on intuiti- isticlogicand, thus, beviewedasadirectdescendant ofBrouwer'sintuitionism. The two conferences were successful in bringing together a number of internationally renowned mathematicians and philosophers around common concerns. Once again it was con rmed that philosophers and mathematicians can work together and that real progress in the philosophy and foundations of mathematics is possible only if they do. Most of the papers in this collection originate from the two conferences, but a few additional papers of relevance to the issues discussed at the Uppsala c- ferences have been solicited especially for this volume.

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2008

نویسنده

Sten Lindström

ناشر

Springer

شابک

9781402089251

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Logicism, Intuitionism, And Formalism

Logicism, Intuitionism, And Formalism

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2008

نویسنده

ناشر

شابک

کتاب های مرتبط

Logicism, Intuitionism, And Formalism

Declaration of Independence

Putnam Camp

Vermeer in Bosnia

Redeemers

Breaking Open Japan

Paper

Breve Historia de la Mitología Griega

One Shot at Forever

Great Australian Ute Stories

Unflinching Courage

The Outpost

The Democracy Project

Surfaces

The Geographical History of America

Portals to Freedom

Lone Survivor

Our Stories Remember

Empire of the Summer Moon

Winter King

The Age of Wonder

دیدگاه کاربران