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