جستجوي پيشرفته | کتابخانه مجازی الفبا

ترجمه ماشینی: مقالات گردآوری‌شده در این جلد بر نقش جنبه‌های فرمالیستی در نظریه‌پردازی و عمل ریاضی، بررسی مسائلی مانند بی‌نهایت، محدود بودن، و روش‌های اثبات، و همچنین شخصیت‌های تاریخی مرکزی در این زمینه، از جمله فرگه، راسل، هیلبرت و ویتگنشتاین تمرکز دارند. این جلد با استفاده از ابزارهای منطقی-فلسفی مدرن و تحلیل‌های مفهومی و منطقی سیستماتیک، گزارشی کامل و به‌روز از موضوع ارائه می‌کند.

ترجمه ماشینی: این مجموعه از پانزده مقاله جدید، صدمین سالگرد انتشار کتاب مهم Principia Mathematica توسط آلفرد ان. وایتهد و برتراند راسل در سال‌های 1910 تا 1913 را نشان می‌دهد. این مقالات تأثیر PM را بر توسعه منطق نمادین در قرن بیستم، فلسفه منطق راسل و برنامه او برای تقلیل ریاضیات به منطق، نظریه متمایز انواع منطقی که پاسخی به پارادوکس های منطق راسل و دیگران ارائه می دهد، مورد مطالعه قرار می دهند. کشف شده در حدود سال 1900، و همچنین جزئیات برخی از نظریه های ریاضی در سه جلد اثبات نمادین.

ترجمه ماشینی: هدف این تک نگاری توصیف ریاضیات یونانی به عنوان یک محصول ادبی، مطالعه سبک آن از دیدگاه منطقی- نحوی و ایجاد موازی با آموزه های منطقی و دستوری توسعه یافته در دوران باستان است. به این ترتیب، مضامین عمده فلسفی مانند بیان کلیت ریاضی و انتخاب معیارهای اعتبار برای استدلال ها را می توان بدون نابهنگامی بررسی کرد. بنابراین، این کتاب علاوه بر مورخان ریاضیات، هم برای مورخان فلسفه باستان و هم برای متخصصان یونان باستان مورد توجه است. این جلد به پنج بخش تقسیم می‌شود که بر حسب کاهش اندازه واحدهای زبانی درگیر مرتب شده‌اند. بخش اول سه رمز سبکی ریاضیات یونانی را شرح می دهد. دومی به تفصیل مکانیسم "تأیید اعتبار" را توضیح می دهد. سوم به وضعیت اشیاء ریاضی و مسئله کلیت ریاضی می پردازد. چهارمی، ویژگی‌های اصلی «ماشین قیاسی» را تحلیل می‌کند، یعنی سیستم منطقی مافوق ماهیت دیکته شده توسط تقسیم سنتی یک گزاره ریاضی به بیان، تنظیم، ساخت و اثبات. و پنجم به سیستم منطقی جمله ای یک گزاره ریاضی، با تأکید ویژه بر کمی سازی، روش ها و رابط ها می پردازد. تعدادی ضمیمه مکمل نیز گنجانده شده است.