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

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