توضیحات
The book Foundational Theories of Classical and Constructive Mathematics is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/foundational theories of classical mathematics of a different nature compared to those of constructive mathematics? Do they play the same role for the resp. mathematics? Are there connections between the two kinds of foundations? Etc. The confrontation and comparison is often implicit and sometimes explicit. Its great advantage is to extend the traditional discussion of foundations of mathematics and to render it at the same time more subtle and more differentiated.
Another important aspect of the book is that some of its contributions are of a more philosophical, others of a more technical nature. This double face is emphasized, since foundations of mathematics is an eminent topic in the philosophy of mathematics: hence both sides of this discipline ought to be and are being paid due to.
————————————————————–
ترجمه ماشینی :
کتاب نظریه های بنیادی ریاضیات کلاسیک و سازنده کتابی با موضوع کلاسیک مبانی ریاضیات می باشد. اصالت آن عمدتاً در پرداختن به مبانی کلاسیک و مبانی ریاضیات سازنده است. این تقابل دو نوع مبنا به پاسخگویی به سؤالاتی کمک می کند: آیا مبانی/نظریه های بنیادی ریاضیات کلاسیک در مقایسه با ریاضیات سازنده ماهیت متفاوتی دارند؟ آیا آنها همان نقش را برای پاسخ. ریاضیات؟ آیا ارتباطی بین این دو نوع پایه وجود دارد؟ و غیره. رویارویی و مقایسه اغلب ضمنی و گاهی صریح است. مزیت بزرگ آن این است که بحث سنتی مبانی ریاضیات را بسط می دهد و در عین حال ظریف تر و متمایزتر می کند.
یکی دیگر از جنبه های مهم کتاب این است که برخی از مشارکت های آن بیشتر فلسفی است، برخی دیگر ماهیت فنی تر از آنجایی که مبانی ریاضیات یک موضوع برجسته در فلسفه ریاضیات است، بر این رویه دوگانه تأکید شده است: از این رو هر دو طرف این رشته باید به دلیل وجود داشته باشد و پرداخت می شود.
tag : دانلود کتاب نظریه های بنیادی ریاضیات کلاسیک و سازنده , Download نظریه های بنیادی ریاضیات کلاسیک و سازنده , دانلود نظریه های بنیادی ریاضیات کلاسیک و سازنده , Download Foundational theories of classical and constructive mathematics Book , نظریه های بنیادی ریاضیات کلاسیک و سازنده دانلود , buy نظریه های بنیادی ریاضیات کلاسیک و سازنده , خرید کتاب نظریه های بنیادی ریاضیات کلاسیک و سازنده , دانلود کتاب Foundational theories of classical and constructive mathematics , کتاب Foundational theories of classical and constructive mathematics , دانلود Foundational theories of classical and constructive mathematics , خرید Foundational theories of classical and constructive mathematics , خرید کتاب Foundational theories of classical and constructive mathematics ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.