علماء الرياضيات

خط الزمن صور نقود طوابع رسم بحث

Alonzo Church

تاريخ الميلاد:

مكان الولادة:

تاريخ وفاته:

مكان الوفاة:

14 June 1903

Washington, D.C., USA

11 Aug 1995

Hudson, Ohio, USA

العرض
إنتبه -- الترجمة الآلية من النسخة الانكليزية

الونزو الكنيسة 'دا الآباء والامهات في ميلدريد هانا ليتيرمان باركر ، وصموئيل روبنز الكنيسة. كان والده قاضيا للتحقيق. كان طالبا في برنستون حصوله على الدرجة الاولى ، على بكالوريوس في عام 1924 ، ثم على الدكتوراه بعد ثلاث سنوات. صاحب الدكتوراه واشرف على العمل فيبلين ، وقال انه حصل على الدكتوراه في عام 1927 عن أطروحة له بعنوان بدائل لتولي zermelo. بينما كان ما زال يعمل على الدكتوراه تزوج من ماري جوليا kuczinski في برينستون في عام 1926. انهم ثلاثة اطفال ، ألونزو الابن ، والشبكه العربية الاخباريه ماري ميلدريد.

الكنيسة امضى سنتين ، وهو زميل باحث في سنة واحدة ثم في جامعة هارفارد في السنة في امستردام وغوتنغن. وعاد الى الولايات المتحدة ان يصبح مساعدا للاستاذا للرياضيات في برينستون في عام 1929. Enderton يكتب :

برينستون في عام 1930 بالمجلس ، وكان مثيرا مكان للمنطق. وكان هناك الكنيسة جنبا الى جنب مع طلابه rosser وkleene. وكان هناك جون فون نيومان. الن تورينج ، من كان يفكر في فكرة فعالة القدرة على التقدير او الحساب ، وجاءت زائرة لطلاب الدراسات العليا فى عام 1936 وبقيت لاكمال الدكتوراه في اطار الكنيسة. كورت غودل وزار معهد الدراسات المتقدمه في 1933 و 1935 ، قبل ان يتوجه هناك بصفة دائمة.

وقد رقى الى أستاذ مشارك في عام 1939 والى استاذ في عام 1947 ، بعد عقد حتى عام 1961 عندما اصبح استاذا للرياضيات والفلسفه. وقال انه فى عام 1967 وتقاعد من برينستون ، وتوجه الى جامعة كاليفورنيا في لوس انجليس كما كنت استاذ الفلسفه واستاذا للرياضيات. وتابع التدريس وإجراء البحوث في لوس أنجليس ، حتى عام 1990 عند تقاعده ومرة اخرى ، والعشرين وقال انه بعد مرور ثلاث سنوات على اول متقاعد! وفي عام 1992 انتقل من لوس انجلوس الى هدسون ، اوهايو ، حيث كان يعيش تقريره النهائي الى ثلاث سنوات.

عمله هو أمر ذو اهمية كبرى فى منطق رياضي ، واستدعاء ذاتي من الناحية النظريه ، والنظريه في علوم الكمبيوتر. وشملت المساهمات في وقت مبكر ورقات عن irredundant مجموعات من المسلمات (1925) ، على شكل المعادلات التفاضليه وجود نظام للمسارات (1926) ، وبدائل للzermelo تولي (1927). وقال انه انشأ في حساب التفاضل والتكامل - 1930 'sالتي هي اليوم أداة لا تقدر بثمن لعلماء الحاسوب. هذه المادة هي في ثلاثة اجزاء وفي آخر هذه مانزانو :

... محاولة [] لاظهار ان الكنيسة كانت كبيرة أمدا اكتشاف حساب التفاضل والتكامل وان المساهمات المتبقية كانت اساسا في الملاحق من وحي بمعنى ان معظم اسهاماته ، وكذلك بعض من التلاميذ ، الاولى مشتقه من ذلك الانجاز.

وقال انه في عام 1941 نشرت الصفحه 77 من الكتاب حسابات أمدا - التحويل كما في الحجم من جامعة برينستون الصحافة حوليات الرياضيات الدراسات. انها هي بالفعل واعادة كتابة النسخه polished من الكنيسة وألقى محاضرات في برنستون في عام 1936 - على حساب التفاضل والتكامل.

الكنيسة وربما كان افضل لنتذكر 'الكنيسة نظرية' و 'الكنيسة اطروحة' على حد سواء والتي ظهرت للمرة الاولى في المطبوعه فى عام 1936. الكنيسة نظرية ، وتبين undecidability الأولى من أجل المنطق ، وبدا في وضع مذكرة عن entscheidungsproblem نشرت في العدد الأول من مجلة المنطق الرمزي. وهذا ، بطبيعة الحال ، هو على النقيض مع حساب القضايا التي لديها اجراءات اتخاذ القرار القائم على الحق الجداول. الكنيسة تمتد نظرية الاثبات وبالنظر الى النقص من gödel فى عام 1931.

ويبدو ان الكنيسة في اطروحة للحل المشكلة الاساسية في عدد من الناحية النظريه نشرت في المجله الامريكية للالرياضيات 58 (1936) ، 345-363. في ورقة وقال انه يعرف فكرة فعالة والقدرة على التقدير او الحساب ويحدد لها فكرة وجود وظيفة متكررة. وقال انه استخدم في هذه المفاهيم على مفهوم تسلسل عشوائي (1940) حيث حاول اعطاء تعريف مرض من الناحية المنطقيه من "سلسلة عشواءيه". ويقول folina عادة لقبول الرأي القائل بأن الكنيسة في اطروحة ربما يصدق ولكن ليست قادرة على اثبات دقيق. خلفية الكنيسة والعمل على Computability undecidability ، استنادا الى مراسلاته مع bernays خلال السنوات 1934-1937 ، تخضع للمراقبة من قبل في Sieg.

وكان مؤسس الكنيسة من اليوميه للمنطق الرمزي في عام 1936 وكان محررا لقسم من هذه الاستعراضات منذ بدايتها وحتى عام 1979. وقال انه فى واقع الامر ورقة نشرت ببليوغرافيا للمنطق الرمزي في المجلد 4 من اليوميه ورأى ان يستعرض القسم بوصفها على مواصلة وتوسيع نطاق هذا العمل. والهدف ، كتب ، وكان على ما يلي :

... لتقديم كامل ومناسب فهرستها ، قائمة بجميع المنشورات... في المنطق الرمزي ، واينما ارتكبت وايا كانت لغة ونشرت في... [منح] النقدي والتحليلي التعليق.

المادة الكنيسة يسلط الضوء على دور قيادي في تعريف حدود الانضباط رمزية من منطق التحرير من خلال هذا العمل ويشهد على اهتمامه الثابت والصناعة والوعي وفريقه الرفيع مقاييس التحرير. والهدف من التغطيه الشامله ، التي كانت تبدو في عام 1936 عملية جدا ، بحيث اصبحت اقل السنين ذهب وبحلول عام 1975 عن طريق التوسع السريع في المنطق الرمزي القسري منشورات الكنيسة على التخلي عن هذا الجانب ، والبدء في تقديم تغطية انتقاءيه فقط. ونحن الكنيسة المذكورة اعلاه ان تقاعد من برينستون في عام 1967 ووصلت الى جامعة كاليفورنيا في لوس انجليس. ولعل هذا هو المكان الذي ينبغي ان نذكر لماذا غادر برينستون بعد 38 سنوات من الخدمة هناك. Enderton كتب ما يلي :

عند تقاعده ، وكان برينستون غير مستعدين لمواصلة استيعاب صغير من الموظفين العاملين على استعراضات للمجلة من المنطق الرمزي.

الكنيسة وكتب مقدمة الكتاب الكلاسيكي لمنطق رياضي في عام 1956. وكان هذا والمنقحه الى حد كبير من مقدمة الطبعه الموسعه لمنطق رياضي الكنيسة التي نشرت في وقت سابق من اثني عشر عاما في عام 1944. هذه الطبعه الأولى ، كما يقول في المقدمة :

... النصف الاول من تمهيدي وبطبيعة الحال في منطق رياضي لطلاب الدراسات العليا في الرياضيات [برينستون في عام 1943].

حزقيل كاري في استعراض للاعمال 1944 كتب ما يلي :

وهو مكتوب مع دقيق الدقه التي يتميز بها صاحب العمل بصفة عامة. ... الموضوع هو اكثر او اقل الكلاسيكيه ، وهي ، اقتراحي الجبر وحساب التفاضل والتكامل الوظيفي من الدرجة الاولى ، التي اضافت الى الفصل من دون أدلة ، يلخص سمات معينة للحسابات وظيفيه اعلى من النظام. لرئيس مصلحة الخبراء في المسالك هو ان يجعل في متناول الجميع دقيقة الصياغه التفصيليه لبعض البراهين والنظريات الموحدة ، على سبيل المثال ، نظرية الخصم ، والحد من الجداول الى الحقيقة ، فان الاستعاضه عن المادة لحساب التفاضل والتكامل الوظيفي ، gödel 'الكمال مبرهنه ، الخ.

مانزانو ان يكتب في طبعة 1956 من كتاب :

... وحدد موضوع منطق رياضي ، على النهج الذي سيتبع الاساسية والمواضيع التي يتعين معالجتها.

يبدأ الكتاب بمقدمة الذي يناقش الاسماء ، المتغيرات ، الثوابت والمهام ، ويؤدي الى السوقي على طريقة التركيب ودلاليه. الفصلان الاول والثاني يتعلق حساب القضايا ، ومناقشة الحشو في الكلام القرار المشكلة ، هذه الازدواجيه ، والاتساق والكمال ، والاستقلال من البديهيات وقواعد الاستدلال. الاول هو حساب التفاضل والتكامل الوظيفي من اجل دراسة في الفصلين الثالث والرابع ، في حين ان الفصل الخامس يتناول أساسا الثانية من اجل حسابات وظيفيه.

ومن المجالات الأخرى التي تهم الكنيسة مجموعة من البديهي من الناحية النظريه. وقال انه نشرت وضع صيغة للانواع بسيطة من الناحية النظريه في عام 1940 الذي حاول اعطاء ذات الصلة الى ان نظام للبقعة الجلد البيضاء وراسل 'mathematica المبادىء الاولى التي كانت تهدف الى تفادي التناقضات مجموعة من السذاجه من الناحية النظريه. أسس كنيسة بلدة شكل من اشكال نظرية انواع منه - حساب التفاضل والتكامل. أعمال أخرى من قبل الكنيسة في هذا المجال وتشمل مجموعة من الناحية النظريه مع مجموعة عالمية والتى نشرت فى عام 1971 ويدرس البديل ZF نوع من مجموعة من البديهي من الناحية النظريه والمقارنة راسل قرار من دلالي antinomies مع ان من tarski نشرت فى عام 1976. آخر من الكنيسة كانت اهتماماته البحثيه متعلق بالشده التي تعتبر دلاليه بالتفصيل في. ثم تطورت فكرة هنا كانت مماثلة لتلك التي frege ، مع التمييز بين تمديد مدة والتوتر ، او بمعنى ، من مدة. الكنيسة تعتبر هذا الموضوع لنحو 40 عاما خلال الجزء الأخير من حياته المهنيه ، مع بداية ورقته صياغه للمنطق الاحساس والدلاله فى عام 1951.

على الرغم من ان معظم مساهمات الكنيسة موجهة نحو منطق رياضي ، وقال انه لم يكتب بضع ورقات من رياضية وغيرها من المواضيع. وقال انه على سبيل المثال نشرت ملاحظات اولية على نظرية المعادلات التفاضليه كما مجال البحوث فى عام 1965 وتعميما لابلاس تحول فى عام 1966. الاول يدرس الافكار والنتائج الاولية في نظرية العاديه والمعادلات التفاضليه الجزءيه التي تشعر الكنيسة قد يشجع اجراء المزيد من التحقيقات في هذا الموضوع. وتشمل الورقه مناقشة التعميم فان تحويل لابلاس الذي يمتد الى غير الخطيه المعادلات التفاضليه الجزءيه. وهذا التعميم للتحويل لابلاس هو موضوع دراسة الورقه الثانية ، ومرة أخرى باستخدام هذه الطريقة للحصول على حلول من اجل الثانية - المعادلات التفاضليه الجزءيه.

كانت الكنيسة 31 بما فيها تشجيع الطلاب على درجة الدكتوراه ، تورينج ، kleene ، kemeny ، بون ، وsmullyan. وقال انه تلقى العديد من الالقاب والاوسمه لاسهاماته بما في ذلك انتخاب لللاكاديميه الوطنية للعلوم (الولايات المتحدة) في عام 1978. كما انه كان ينتخب لعضوية الاكاديميه البريطانية ، والاكاديميه الامريكية للفنون والعلوم. حالة الاحتياطي الغربية (1969) ، برينستون (1985) وجامعة ولاية نيويورك في بوفالو (1990) ومنحته شهادة فخريه.

Source:School of Mathematics and Statistics University of St Andrews, Scotland