Rohit Jivanlal Parikh
روہت جیون لال پاریکھ (پیدائش 20 نومبر 1936) ایک ہندوستانی-امریکی ریاضی دان، منطق، اور فلسفی ہیں جنہوں نے روایتی منطق کے بہت سے شعبوں میں کام کیا ہے، بشمول ریکرشن تھیوری اور پروف تھیوری۔ وہ سٹی یونیورسٹی آف نیویارک (CUNY) کے بروکلین کالج میں ممتاز پروفیسر ہیں۔ ریسرچ پاریکھ نے مبہم پن، الٹرا فینٹزم، عقیدے پر نظر ثانی، علم کی منطق، گیم تھیوری اور سوشل سافٹ ویئر (سماجی طریقہ کار) جیسے موضوعات پر کام کیا۔ یہ آخری شعبہ سماجی الگورتھم کی ساخت کو سمجھنے کے لیے منطق، کمپیوٹر سائنس (خاص طور پر پروگراموں کی منطق) اور گیم تھیوری کی تکنیکوں کو یکجا کرنے کی کوشش کرتا ہے۔ ذاتی زندگی اور سیاست روہت پاریکھ کی شادی 1968 سے 1994 تک کیرول پاریکھ (نی گریس) سے ہوئی تھی، جو اپنی کہانیوں اور آسکر زرسکی کی سوانح عمری، آسکر زرسکی کی غیر حقیقی زندگی کے لیے مشہور ہیں۔ پاریکھ اسقاط حمل کی مخالفت کرنے والا ایک غیر خدا پسند ہے۔ اسقاط حمل سے لڑنے کے لیے انہوں نے ملحد اور اگنوسٹک پرو لائف لیگ میں شمولیت اختیار کی۔ 2018 میں، پاریکھ کی ایک فیس بک پوسٹ میں تمام غیر قانونی تارکین وطن کی ملک بدری کا مطالبہ کرتے ہوئے لکھا گیا، "مجھے یقین ہے کہ ہر وہ شخص جو غیر قانونی طور پر یہاں ہے اسے ملک بدر کیا جانا چاہیے لیکن یہ کہ امریکہ کو ان کے آبائی ملک میں ان کی حمایت کرنی چاہیے۔" پاریکھ نے فیس بک پوسٹ میں مزید دعوی کیا کہ ہسپانوی تارکین وطن ان جیسے ہندوستانی تارکین وطن کے مقابلے میں ناکافی تعلیم یافتہ ہیں، جس کی وجہ سے بروکلین کالج کے طلباء نے عوامی احتجاج کیا اور یونیورسٹی سے انہیں نظم و ضبط کرنے کا مطالبہ کیا۔ بروکلین کالج کی صدر مشیل اینڈرسن نے ان کے ریمارکس کو "بروکلین کالج کی بنیادی اقدار کے خلاف" قرار دیا۔ سی ڈبلیو سے وابستہ ڈبلیو پی آئی ایکس کو دیے گئے ایک انٹرویو میں اپنے موقف کا دفاع کرتے ہوئے، پاریکھ نے دعوی کیا کہ ان کا یہ مطلب نہیں تھا کہ عام طور پر ہسپانوی عام طور پر ہندوستانیوں سے زیادہ گونگے ہیں، بلکہ یہ کہ ہسپانوی اور ہندوستانیوں کی دانشورانہ صلاحیتوں کا ان کا موازنہ صرف ان لوگوں پر لاگو ہوتا ہے جو امریکہ ہجرت کر گئے تھے۔ انہوں نے وضاحت کی، "ہندوستان میں بہت سارے بیوقوف لوگ ہیں لیکن وہ یہاں نہیں آتے۔" پوسٹس ایڈیٹر، انٹرنیشنل جرنل آف دی فاؤنڈیشنز آف کمپیوٹر سائنس، 1990-1995 ایڈیٹر، جرنل آف فلاسفیکل لاجک، 2000-2003 ایوارڈز اور پہچان ولیم لویل پٹنم میتھمیٹیکل کمپٹیشن پرائز فاتح، 1955، 1956، 1957 گبز پرائز، بمبئی یونیورسٹی، 1954 پاریکھ کے ڈاکٹریٹ کے قابل ذکر طلباء میں الیسنڈرا کاربون اور ڈیوڈ ایلرمین شامل ہیں۔ تعلیمی اور تحقیقی تقرریاں ممتاز پروفیسر، سٹی یونیورسٹی آف نیویارک، (بروکلین کالج اور CUNY گریجویٹ سینٹر)، 1982-موجودہ پروفیسر، ریاضی، بوسٹن یونیورسٹی، وزیٹنگ پروفیسر، ریاضی، کورانٹ انسٹی ٹیوٹ، 1981 ایسوسی ایٹ پروفیسر، ریاضی، بوسٹن یونیورسٹی، وزیٹنگ ایسوسی ایٹ پروفیسر، ریاضی، اسٹیٹ یونیورسٹی آف نیویارک ایٹ بفیلو، 1971-1972 لیکچرر، برسٹل یونیورسٹی، 1965-1967 ریڈر، پنجاب یونیورسٹی، 1964-1965 انسٹرکٹر، اسٹینفورڈ یونیورسٹی 1961-1963 کالٹیک، ای ٹی ایچ زیورخ، میساچوسٹس انسٹی ٹیوٹ آف ٹیکنالوجی، اسٹینفورڈ، اور ٹاٹا انسٹی ٹیوٹ آف فنڈامینٹل ریسرچ بمبئی میں وزٹنگ اپائنٹمنٹس مین اشاعتیں ریاضی میں وجود اور فزیبلٹی، جرنل آف سمب ثبوت کی لمبائی پر، ٹرانزیکشنز آف دی امریکن میتھمیٹیکل سوسائٹی 177 (1973) صفحات 29-36۔ (ایم۔ پارنس کے ساتھ) حقیقی سیٹوں کے من مانی جوڑوں کے لیے مشروط امکان کی وضاحت کی جا سکتی ہے، ریاضی میں پیش رفت 9 (1972) صفحات 520-522۔ (ڈی۔ ایچ۔ جے کے ساتھ۔ ڈی جونگ) اچھی طرح سے جزوی ترتیبات اور درجہ بندی، پروک۔ کون۔ نیڈ۔ اکد۔ سائنس سیریز اے 80 (1977) صفحات 195-207۔ (ڈی۔ کوزین کے ساتھ) پی ڈی ایل تھیوریٹیکل کمپیوٹر سائنس کے لیے ایک ابتدائی مکمل ثبوت 14 (1981) صفحات 113-118۔ منطق، زبان اور طریقہ ایڈ میں مبہم پیشن گوئی کا مسئلہ۔ کوہن اور وارٹوفسکی، ریڈل (1982) صفحات 241-261۔ دی لاجک آف گیمز اینڈ ایٹس ایپلی کیشنز، اینلز آف ڈسکریٹ میتھ۔، 24 (1985) صفحات 111-140۔ (آر رامانوجم کے ساتھ) ڈسٹری بیوٹڈ پروسیسنگ اینڈ دی لاجک آف نالج، ان لاجکس آف پروگرامز، سپرنگر لیکچر نوٹس ان کمپیوٹر سائنس، 193 صفحات 256-268۔ مواصلات، اتفاق رائے اور علم، (پی کراسکی کے ساتھ)، جے۔ اکنامک تھیوری 52 (1990) صفحات 178-189 علم اور منطقی عالمگیریت کا مسئلہ ISMIS-87 (انٹیلجنٹ سسٹمز کے طریقہ کار پر بین الاقوامی سمپوزیم)، نارتھ ہالینڈ (1987) صفحات 432-439۔ کمپیوٹر سائنس سے منطق پر ایک ورکشاپ کی کارروائی میں محدود اور لامحدود مکالمے، ایڈ۔ موسچوواکیس، ایم ایس آر آئی اشاعتیں، سپرنگر 1991 صفحات 481-498۔ مبہم اور افادیت: لسانیات اور فلسفہ میں عام اسم کے الفاظ 17 1994، صفحات 521-35۔ ٹوپوولوجیکل استدلال اور علم کا منطق (ڈبروسکی اور موس کے ساتھ) اینلز آف پیور اینڈ اپلائیڈ منطق 78 (1996) صفحات 73-110۔ پروک میں عقیدے پر نظر ثانی اور زبان کی تقسیم۔ منطق، زبان اور کمپیوٹیشن، ایڈ۔ موس، گینزبرگ اور ڈی ریجکے، سی ایس ایل آئی 1999، صفحات 266-278 (ابتدائی ورژن 1996 میں ابتدائی کارروائی میں شائع ہوا)۔ (سمیر چوپڑا کے ساتھ)، مطابقت حساس عقائد کے ڈھانچے، اینلز آف میتھمیٹکس اینڈ آرٹیفیشل انٹیلی جنس، 28 (1-4): صفحات 259-285 (2000)۔ سوشل سافٹ ویئر، سنتھیس، 132، ستمبر 2002، صفحات 187-211۔ (جوکو وانانن کے ساتھ)، فائنائٹ انفارمیشن منطق، اینلز آف پیور اینڈ اپلائیڈ لاجک، 134 (2005) صفحات 83-93۔ (آر رامانوجم کے ساتھ)، اے نالج بیسڈ سیمنٹکس آف میسجز، جرنل آف لاجک، لینگویج اینڈ انفارمیشن، 12 2003، صفحات 453-467۔ علم کی سطح، کھیل، اور گروپ ایکشن، ریسرچ ان اکنامکس، 57 2003، صفحات 267-281۔ کوسٹا، ہوراسیو ارلو، اور روہت پاریکھ۔ "مشروط امکان اور ناقابل شکست تخمینہ"۔ جرنل آف فلاسفیکل لاجک 34.1 (2005): صفحات 97-119۔ ارلو کوسٹا، ہوراسیو، اور روہت پاریکھ۔ "دو جگہ کے امکانات، عقائد اور عقیدے پر نظر ثانی: تکراری عقیدے کی حرکیات کی بنیادوں پر۔" بارہویں ایمسٹرڈیم گفتگو کی کارروائی۔ 1999 میں۔ ویس، ایم انجیلا، اور روہت پاریکھ۔ "سب سیٹ خالی جگہوں کے لیے کچھ بموڈل منطق کی تکمیل۔" اسٹڈیا لاجیکا (2002): صفحات 1-30۔ پریکھ، روہت، اور اڈریانا رینرو۔ "جائز حقیقی یقین: افلاطون، گیٹیئر اور ٹورنگ۔" ایلن ٹورنگ کی میراث کی فلسفیانہ تحقیقات۔ سپرنگر، چام، 2017۔ صفحات 93-102۔ ۔