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

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

Georg Kreisel

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

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

تاريخ وفاته:

مكان الوفاة:

15 Sept 1923

Graz, Austria

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

جورج kreisel جاء من خلفية يهوديه ، بحيث ينشاون في غراتس في الثلاثينات من القرن العشرين كان في غاية الصعوبه. Kreisel والدي وشهد تقترب من المشاكل السياسية و، قبل تولي هتلر النمسا ، وأنها أرسلت جورج وشقيقه الى انكلترا. Kreisel درس الرياضيات في كلية ترينيتي ، كمبريدج التخرج مع بكالوريوس في عام 1944. خلال السنوات kreisel الجامعي يتأثر من فيتجنشتاين ايضا على الثالوث. وقال ان فيتجنشتاين kreisel هو :

... الفيلسوف قادرة أكثر من اي وقت مضى وقال انه اجتمع هو ايضا من عالم الرياضيات.

Kreisel هل تم ارساله الى داءره الحرب مع قوات البحرية على الفور له اكثر من الدورات الدراسيه الجامعيه وبدأ العمل في الغرب القريب لأي Havant وقريبة من القاعده البحرية في بورتسموث. رئيس لاي الغرب في ذلك الوقت كان Collingwood. بعد فترة من الزمن ، kreisel ونقلت الى دار fanum في وسط لندن حيث درس الآثار المترتبة على موجات على الموانئ التي يجري العمل على تصميم لنورماندي الهبوط.

وفي عام 1946 عاد الى kreisel كامبريدج لاجراء البحوث ، ودرس منطق رياضي. بعد منح الدكتوراه عن امله في kreisel للزماله في الثالوث ولكن هذا لم يكن وشيكا. وقال انه بطلب للحصول على المناصب الاكاديميه وعين في عام 1949 إلى القراءة. فريمان Dyson الجامعي كان في كامبردج في نفس السنة التي kreisel والخمسينات كان من قبل فى معهد الدراسات المتقدمه. وقال انه gödel اقناع kreisel دعوة الى المعهد لاجراء دراسات متقدمة وkreisel وصل الى هناك في صيف 1955. Verena هوبر - Dyson يكتب :

على الرغم من انه لم يأت مع نية واضحة من البقاء ، وامكانيه العودة الى اوروبا كانت مفتوحة أمامه ، kreisel ليس لديها علاقات قوية على موقفه في القراءة ، بل الحيره المسكن بالنسبة لشخص له صفات غريبة.

Kreisel عاد الى القراءة في عام 1957 ولكن الحفاظ أ رياضيا المهم المراسلات مع gödel. في 1958-59 كان kreisel العودة في الولايات المتحدة ، هذه المرة في جامعة ستانفورد. بعد العودة الى القراءة للبلدة في العام الماضي بشأن وجود موظفين في 1959-60 أمضى سنتين في باريس 1960-62.

في عام 1962 kreisel عاد الى الولايات المتحدة وعين ستانفورد حيث كان لا يزال على الموظفين حتى تقاعده في عام 1985.

ق feferman في kreisel تكتب عن مساهمات :

من خلال مساهمات بلدة (الفرديه والتعاونيه) وصاحب شخصية غير عادية على التأثير ، لم جورج kreisel ربما اكثر من اي شخص اخر لتعزيز تنمية اثبات نظرية وmetamathematics من constructivity فى الاربعين سنة الماضية.

واحد الجوانب المهمة التي kreisel عملت على مدى فترة 30 عاما وقال "الفك". في عام 1958 في ورقة رياضية دليل على اهمية اتساق في عام 1958 kreisel يقول :

وهناك برنامج آخر العام التي لا يبدو انها تعاني من عيوب [هيلبيرت '] الاتساق البرنامج : لتحديد البناء (متكررة) المحتوى أو ما يعادلها من البناء غير البناءه والمفاهيم والنظريات المستخدمة في الرياضيات ، ولا سيما في الحساب والتحليل.

هذا "البرنامج العام مختلف" وقال انه اعطى في وقت لاحق من أكثر الألوان اسم "برنامج الفك". كما feferman كتب ما يلي :

انه يهدف الى بديل واضح للنتائج الرياضية ما قيل ان الغموض ، في غير محله ، الخام التأسيسي الاهداف. ولكن ، كما في عمله على constructivity ، kreisel كما سعت ليحلوا محل من قبل اكثر تطورا موقفها من الاسس.

Kreisel انتخب زميلا في الجمعية الملكيه في لندن عام 1966.

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