منبع اصلی نوشتار زیر در این لینک قرار دارد

یک معادله ساده

به نام زیبای مطلق

 

امروز تصمیم گرفتم تا حرفی رو که بارها با فلسفه و جامعه‌شناسی به دیگران زدم رو با ریاضیات ثابت کنم.

«نرم‌افزار آزاد متن‌باز نیست»

جمله‌ی بالا رو شاید خیلی‌هاتون قبول نداشته باشید چون جور دیگری به شما تلقین شده. برای همین مجبورم با یک استدلال ساده ریاضیات براتون بگم:

فرضیات مسئله:

X=آزادی کاربر

مجموعه A = متن‌باز

مجموعه B = آزاد

مسئله:

آیا مجموعه‌ی B زیرمجموعه‌ی A است؟

حل مسئله:

۱- با توجه به اینکه متغیر X در مجموعه‌ی A لزوما همیشه نیست.

۲- متغیر X همیشه عضو مجموعه‌ی B است.

در نتیجه:

مجموعه‌ی B همیشه عضوی از مجموعه‌ی A نیست یعنی نرم‌افزار آزاد لزوما زیر مجموعه‌ی متن‌باز نیست.

 

یا علی




برچسب ها :

به سیاره لینوکس امتیاز دهید

به اين صفحه امتياز دهيد