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

ترجمه ماشینی : پائولو مانکوسو مجموعه ای از مطالعات ابتکاری در تاریخ و فلسفه منطق و ریاضیات در نیمه اول قرن بیستم ارائه می کند. ماجراجویی عقل به پنج بخش اصلی تقسیم می شود: تاریخ منطق (از راسل تا تارسکی). مسائل اساسی (برنامه هیلبرت، سازندگی، ویتگنشتاین، گودل). ریاضیات و پدیدارشناسی (ویل، بکر، مهنکه)؛ اسم گرایی (کواین، تارسکی)؛ معناشناسی (Tarski، Carnap، Neurath). Mancosu از منابع بایگانی دست‌نخورده گسترده برای در دسترس قرار دادن انبوهی از مطالب جدید استفاده می‌کند که به روش‌های قابل توجهی درک ما را از این حوزه‌های جذاب تاریخ فکری مدرن عمیق‌تر می‌کند. در عین حال، این کتاب کمکی به بحث‌های فلسفی اخیر است، به‌ویژه در مورد چشم‌انداز بازسازی نام‌گرایانه موفق ریاضیات، ماهیت شهود محدودگرا، قابلیت دوام بودن تعاریف جایگزین از پیامدهای منطقی، و میزانی که پدیدارشناسی می‌تواند امیدوارم بتوانیم علوم دقیق را در نظر بگیریم.

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