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

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

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