آراز (محمد) جعفری‌پور

با سیستم‌های بک‌اند، سرورهای لینوکس و راهبری پروژه کار می‌کنم.
مهندسی نرم‌افزار خوانده‌ام و سپس فلسفهٔ علم را به پایان رسانده‌ام.
این مسیر، پرسش از بنیادها را به من آموخت. هم در کد، هم در زندگی.

مهارت‌ها: Backend · Linux & Infrastructure · Databases · Automation · Product Ownership


پروژه‌ها

طراحی و پیاده‌سازی یک سیستم منطق غیرکلاسیک دوپایه

منطق کلاسیک که بر «حفظ صدق» استوار است، در تحلیل استدلال‌های روزمره، فلسفی و علمی با محدودیت‌هایی چون پارادوکس‌های استلزام مادی روبه‌رو است. این پژوهش با طراحی و پیاده‌سازی یک سیستم منطق دوپایه می‌کوشد تا با تفکیک پایهٔ مصداقی (روابط تابع‌ارزشی) از پایهٔ مفهومی (روابط ضروری و علّی)، راه‌حلی برای این چالش‌ها ارائه دهد.

در حال تکمیل

هیچ راه میان‌بُری نیست

یک ناداستان خلّاق از سفری درونی.

در حال آماده‌سازی نسخهٔ نهایی

نوشته‌ها