Alonzo Church
الونزو چرچ (14 جون 1903-11 اگست 1995) ایک امریکی ریاضی دان، کمپیوٹر سائنسدان، منطق، اور فلسفی تھے جنہوں نے ریاضیاتی منطق اور نظریاتی کمپیوٹر سائنس کی بنیادوں میں اہم شراکت کی۔ وہ لیمبڈا کیلکولس، چرچ-ٹورنگ تھیسس کے لیے مشہور ہیں، جو اینٹشیڈنگس پروبلم ("فیصلہ کا مسئلہ")، فریج-چرچ آنٹولوجی، اور چرچ-راسر تھیوریم کی عدم حل پذیری کو ثابت کرتا ہے۔ انہوں نے زبان کے فلسفے پر بھی کام کیا (مثال کے طور پر دیکھیں۔ چرچ 1970)۔ اپنے ڈاکٹریٹ کے طالب علم ایلن ٹورنگ کے ساتھ، چرچ کو کمپیوٹر سائنس کے بانیوں میں سے ایک سمجھا جاتا ہے۔ لائف الونزو چرچ 14 جون 1903 کو واشنگٹن ڈی سی میں پیدا ہوا، جہاں اس کے والد سیموئل رابنز چرچ امن کے جج اور ڈسٹرکٹ آف کولمبیا کے میونسپل کورٹ کے جج تھے۔ وہ الونزو ویبسٹر چرچ (1829-1909) کے پوتے، 1881 سے 1901 تک ریاستہائے متحدہ کے سینیٹ لائبریرین، اور الونزو چرچ کے پڑپوتے، ریاضی اور فلکیات کے پروفیسر اور جارجیا یونیورسٹی کے چھٹے صدر تھے۔ ایک نوجوان لڑکے کے طور پر، چرچ ہوائی بندوق کے حادثے سے جزوی طور پر اندھا ہو گیا تھا۔ بعد میں ان کا خاندان ورجینیا چلا گیا جب ان کے والد نے بینائی خراب ہونے کی وجہ سے یونیورسٹی میں اپنی پوزیشن کھو دی۔ اپنے چچا کی مدد سے، جس کا نام بھی الونزو چرچ تھا، بیٹے نے کنیکٹیکٹ کے ریج فیلڈ میں نجی ریج فیلڈ اسکول فار بوائز میں تعلیم حاصل کی۔ 1920 میں رج فیلڈ سے فارغ التحصیل ہونے کے بعد، چرچ نے پرنسٹن یونیورسٹی میں تعلیم حاصل کی، جہاں وہ ایک غیر معمولی طالب علم تھے۔ انہوں نے 1924 میں لورینٹز ٹرانسفارمیشنز پر اپنا پہلا مقالہ شائع کیا اور اسی سال ریاضی میں ڈگری حاصل کی۔ وہ گریجویٹ کام کے لیے پرنسٹن میں رہے، اوسوالڈ ویبلن کے ماتحت تین سالوں میں ریاضی میں پی ایچ ڈی کی ڈگری حاصل کی۔ انہوں نے 1925 میں مریم جولیا کچنسکی سے شادی کی۔ اس جوڑے کے تین بچے تھے، الونزو جونیئر (1929)، میری این (1933) اور ملڈرڈ (1938)۔ پی ایچ ڈی حاصل کرنے کے بعد، انہوں نے شکاگو یونیورسٹی میں بطور انسٹرکٹر مختصر طور پر پڑھایا۔ انہوں نے دو سالہ نیشنل ریسرچ فیلوشپ حاصل کی جس نے انہیں 1927-1928 میں ہارورڈ یونیورسٹی، اور اگلے سال گوٹنگن یونیورسٹی اور ایمسٹرڈیم یونیورسٹی میں شرکت کرنے کے قابل بنایا۔ انہوں نے 1929 سے 1967 تک تقریبا چار دہائیوں تک پرنسٹن میں فلسفہ اور ریاضی پڑھائی۔ انہوں نے یونیورسٹی آف کیلیفورنیا، لاس اینجلس، 1967-1990 میں فلسفے اور ریاضی کے فلنٹ پروفیسرشپ حاصل کی۔ وہ 1962 میں اسٹاک ہوم میں آئی سی ایم میں مکمل اسپیکر تھے۔ انہوں نے 1969 میں کیس ویسٹرن ریزرو یونیورسٹی، 1985 میں پرنسٹن یونیورسٹی، اور 1990 میں بفیلو یونیورسٹی، دی اسٹیٹ یونیورسٹی آف نیویارک سے جان کورکورن کے زیر اہتمام ان کے اعزاز میں ایک بین الاقوامی سمپوزیم کے سلسلے میں اعزازی ڈاکٹر آف سائنس کی ڈگریاں حاصل کیں۔ وہ 1966 میں برٹش اکیڈمی (ایف بی اے) کے متعلقہ فیلو، 1967 میں امریکن اکیڈمی آف آرٹس اینڈ سائنسز اور 1978 میں نیشنل اکیڈمی آف سائنسز کے لیے منتخب ہوئے۔ ایک گہری مذہبی شخصیت، چرچ پریسبیٹرین چرچ کا زندگی بھر کا رکن تھا۔ وہ 11 اگست 1995 کو 92 سال کی عمر میں انتقال کر گئے۔ انہیں پرنسٹن قبرستان میں دفنایا گیا ہے۔ ریاضیاتی کام چرچ مندرجہ ذیل اہم کامیابیوں کے لیے جانا جاتا ہے: اس کا یہ ثبوت کہ اینٹشیڈنگس پروبلم، جو پہلے درجے کے ریاضیاتی نظریہ میں من مانی تجاویز کی سچائی کا تعین کرنے کے لیے فیصلہ کرنے کے طریقہ کار کا مطالبہ کرتا ہے، ناقابل فیصلہ ہے۔ اسے چرچ کا نظریہ کہا جاتا ہے۔ لیمبڈا کیلکولس کی اس کی ایجاد۔ لیمبڈا کیلکولس کا اس کا استعمال یہ ثابت کرنے کے لیے کہ پیانو ریاضی ناقابل فیصلہ ہے۔ اس کے بیان کو چرچ ٹورنگ تھیسس کے نام سے جانا جاتا ہے۔ جرنل آف سمبولک لاجک کے بانی ایڈیٹر ہونے کے ناطے، 1936 سے 1979 تک 43 سال تک اس کے جائزوں کے حصے میں ترمیم کرتے رہے۔ ریاضیاتی منطق کے میدان میں ان کی ایک نمایاں نصابی کتاب، انٹروڈکشن ٹو میتھمیٹیکل لاجک کی تصنیف۔ چرچ-راسر تھیوریم لیمبڈا کیلکولس ان کے 1936 کے مقالے میں سامنے آیا جس میں اینٹشیڈنگس پروبلم کی عدم حل پذیری کو دکھایا گیا ہے۔ یہ نتیجہ ایلن ٹورنگ کے رکنے کے مسئلے پر کام سے پہلے تھا، جس نے میکانی ذرائع سے حل نہ ہونے والے مسئلے کے وجود کو بھی ظاہر کیا۔ چرچ کے کام کے بارے میں سننے کے بعد، ٹورنگ نے اس سال کے آخر میں چرچ کے تحت پی ایچ ڈی کے لیے پرنسٹن میں داخلہ لیا۔ چرچ اور ٹورنگ نے پھر دکھایا کہ ٹورنگ کے رکنے کے مسئلے میں استعمال ہونے والا لیمبڈا کیلکولس اور ٹورنگ مشین صلاحیتوں میں مساوی تھے، اور اس کے بعد مختلف قسم کے متبادل "حساب کے لیے مکینیکل عمل" کا مظاہرہ کیا۔ اس کے نتیجے میں چرچ ٹورنگ کا مقالہ سامنے آیا۔ وضاحتیں سے کنٹرولر کے نفاذ کو خود بخود پیدا کرنے کی کوششیں اس کے خیالات سے نکلتی ہیں۔ لیمبڈا کیلکولس نے عام طور پر Lisp اور فنکشنل پروگرامنگ زبانوں کے ڈیزائن کو متاثر کیا۔ چرچ انکوڈنگ کا نام ان کے اعزاز میں رکھا گیا ہے۔ ان کے اعزاز میں منطق اور کمپیوٹیشن میں شاندار شراکت کے لیے الونزو چرچ ایوارڈ 2015 میں ایسوسی ایشن فار کمپیوٹنگ مشینری اسپیشل انٹرسٹ گروپ فار لاجک اینڈ کمپیوٹیشن (ACM SIGLOG)، یورپی ایسوسی ایشن فار تھیوریٹیکل کمپیوٹر سائنس (EATCS)، یورپی ایسوسی ایشن فار کمپیوٹر سائنس لاجک (EACSL)، اور کرٹ گوڈل سوسائٹی (KGS) کے ذریعے قائم کیا گیا تھا۔ یہ ایوارڈ پچھلے 25 سالوں میں شائع ہونے والے شعبے میں شاندار شراکت کے لیے ہے اور اسے ابھی تک کسی دوسرے بڑے ایوارڈ، جیسے ٹورنگ ایوارڈ، پیرس کنیلاکس ایوارڈ، یا گوڈل انعام کے ذریعے پہچان نہیں ملی ہوگی۔ فلسفیانہ کام چرچ فریج-چرچ آنٹولوجی کے لیے بھی جانا جاتا ہے، جسے اس نے گوٹلوب فریج کے فلسفیانہ خیالات کی بنیاد پر تخلیق کیا۔ اپنے تعلیمی کیریئر کے دوران، چرچ نے 31 ڈاکٹریٹ کے طلباء کی نگرانی کی۔ ان میں سے بہت سے لوگوں نے ریاضی، کمپیوٹر سائنس، اور دیگر تعلیمی مضامین میں ممتاز کیریئر کی قیادت کی ہے، جن میں سی انتھونی اینڈرسن، پیٹر بی اینڈریوز، جارج اے برنارڈ، ڈیوڈ برلنسکی، ولیم ڈبلیو بون، مارٹن ڈیوس، الفریڈ ایل فوسٹر، لیون ہینکن، جان جی کینی، اسٹیفن سی کلین، سائمن بی کوچن، مورس ایل ابی، آئزک مالٹز، گیری آر مار، مائیکل او رابن، نکولس ریشر، ہارٹلی راجرز، جونیئر، جے بارکلی روسر، ڈانا اسکاٹ، ریمنڈ سملیان، اور ایلن ٹورنگ شامل ہیں۔ ان لوگوں کے علاوہ جن کی انہوں نے براہ راست نگرانی کی، چرچ کا دوسرے ریاضی دانوں اور کمپیوٹر سائنسدانوں پر بھی بڑا اثر تھا۔ ہاسکل کری، جنہوں نے کرینگ کے تصور کے ساتھ چرچ کے خیالات کو وسعت دی، نے کہا کہ ان کی ایک نصابی کتاب، انٹروڈکشن ٹو میتھمیٹیکل لاجک (پہلی بار 1944 میں شائع ہوئی)، "اس باریکی سے لکھی گئی تھی جو عام طور پر مصنف کے کام کی خصوصیت رکھتی ہے"۔ ببلیوگرافی بکس الونزو چرچ، انٹروڈکشن ٹو میتھمیٹیکل لاجک (1944) () الونزو چرچ، دی کیلکولی آف لیمبڈا-کنورژن (1941) () الونزو چرچ، اے ببلیوگرافی آف سمبولک لاجک، 1666-1935 () سی۔ انتھونی اینڈرسن اور مائیکل زیلنی، (ایڈز۔ )، منطق، معنی اور حساب: الونزو چرچ کی یاد میں مضامین () ٹائلر برج اور ہربرٹ اینڈرٹن (ایڈز۔ )، دی کلیکٹڈ ورکس آف الونزو چرچ (2019) (آئی ایس بی این 978-0-262-02564-5) یہ بھی دیکھیں چرچ-ٹورنگ-ڈوئچ اصول اعلی ترتیب منطق کمپیوٹر سائنس میں علمبرداروں کی فہرست Platonism#Modern پلاٹونزم یونیورسل سیٹ نوٹ حوالہ جات اینڈرٹن، ہربرٹ بی۔، الونزو چرچ: زندگی اور کام۔ دی کلیکٹڈ ورکس آف الونزو چرچ، ایم آئی ٹی پریس، 2019 کا تعارف۔ اینڈرٹن، ہربرٹ بی۔ ان میموریم: الونزو چرچ، دی بلیٹن آف سمبولک لاجک، جلد۔ 1، نہیں۔ 4 (دسمبر 1995)، پی پی۔ 486-488۔ ویڈ، نکولس، الونزو چرچ، 92، تھیوریسٹ آف دی لمٹس آف میتھمیٹکس (خراج تحسین)، دی نیویارک ٹائمز، 5 ستمبر 1995، پی۔ بی 6۔ ہجز، ولفریڈ، خراج تحسین: الونزو چرچ، دی انڈیپینڈنٹ (لندن)، 14 ستمبر 1995۔ 17 مئی 1984 کو ولیم ایسپری نے الونزو چرچ کا انٹرویو لیا۔ 1930 کی دہائی میں پرنسٹن ریاضی برادری: ایک زبانی تاریخ کا منصوبہ، نقل نمبر 5۔ روٹا، جیان کارلو، فائن ہال اپنے سنہری دور میں: ابتدائی پچاس کی دہائی میں پرنسٹن کی یادیں۔ امریکہ میں ریاضی کی ایک صدی، حصہ دوم، پیٹر ڈورن کے ذریعہ ترمیم شدہ، اے ایم ایس ہسٹری آف میتھمیٹکس، جلد 2، امریکن میتھمیٹیکل سوسائٹی، 1989، پی پی۔ یہاں بھی دستیاب ہے۔ بیرونی روابط پرنسٹن یونیورسٹی لائبریری، مخطوطات ڈویژن، الونزو چرچ پیپرز، 1924-1995: امداد تلاش کرنا۔ دی جرنل آف سمبولک لاجک کے لیے چرچ کے جائزوں کی ایک کتابچہ، جس میں ہر ایک الونزو چرچ کے لنک کے ساتھ، 92، تھیوریسٹ آف دی لمٹس آف میتھمیٹکس نیو یارک ٹائمز کا خراج تحسین OBITUARY: الونزو چرچ از دی انڈیپینڈنٹ ان میموریم: الونزو چرچ (1903-1995) بذریعہ ارونگ ایچ انیلس، ماڈرن لاجک جلد۔ 5، نہیں۔ 4 (1995)۔ یادداشت میں: ایلونزو چرچ 1903-1995 بذریعہ ایچ۔ بی۔ اینڈرٹن، دی بلیٹن آف سمبولک لاجک جلد۔ 1، نمبر 5 (1995)۔ 1903 پیدائش 1995 موت 20 ویں صدی کے امریکی ریاضی دان امریکی منطق امریکی پریسبیٹیرینز کمپیوٹیبلٹی تھیوریسٹ پرنسٹن یونیورسٹی کے سابق طلباء ہارورڈ یونیورسٹی کے سابق طلباء پرنسٹن یونیورسٹی فیکلٹی یونیورسٹی آف کیلیفورنیا، لاس اینجلس فیکلٹی پرنسٹن قبرستان میں تدفین واشنگٹن ڈی سی کے فلسفی۔ کیلیفورنیا کے فلسفی واشنگٹن ڈی سی سے نیو جرسی کے ریاضی دان۔ 20 ویں صدی کے امریکی فلسفی برطانوی اکیڈمی کے متعلقہ فیلوز