پروفسور دکتر گئورگ کلاوس
برگردان
شین میم شین
۱
· انتزاع روش مهمی است که قبل از همه، در ریاضیات مدرن به کار می رود.
۲
· انتزاع اینجا عبارت است از یکسان تلقی کردن ساختارهای مشخص و ایزومورف (همگون)با یکدیگر و با ساختارهای انتزاعی.
۳
· بر طبق آن می توان قواعد لازم برای تشکیل انتزاعات را از روابط هومومورفی (همشکلی)استخراج کرد.
۴
· رابطه هومومورفی عبارت است از رابطه تضعیف شده ایزومورفی.
۵
· بدین طریق ـ به عنوان مثال ـ منطق حکمی، جبر اتصالی مضاعف و غیره با جبر بولی ایزومورف است.
۶
· جبر بولی نیز ساختارهای انتزاعی (مجرد) تشکیل می دهد که در عرصه های یاد شده ـ با توجه به این انتزاعات ـ با ساختارهای مشخص منطبق هستند.
· (نسبیت مشخصیت و مجردیت)
· مراجعه کنید به ایزومورفی، هومومورفی، انتزاع (تجرید)
پایان
هیچ نظری موجود نیست:
ارسال یک نظر