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

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

Arend Heyting

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

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

تاريخ وفاته:

مكان الوفاة:

9 May 1898

Amsterdam, Netherlands

9 July 1980

Lugano, Switzerland

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

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

ورغم ان والد heyting كان نجاح مدرسي المدرسة ، فان الاسرة لا تزال تعاني من صعوبات مالية في heyting عندما بدأ دراسته في العام 1916 في جامعة امستردام. Heyting كل من والده وكسب المال اللازم لدفع تكاليف دراسته عن طريق اتخاذ اشراف على عمل القطاع الخاص. في جامعة امستردام في heyting وتدرس من قبل Brouwer كان من تأثير كبير على عمله في المستقبل. في عام 1922 وتخرج heyting مع درجة من مستوى الماجستير.

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

حاز دكتوراه في عام 1925 لأطروحة مكتوبة تحت Brouwer بالمجلس الاشراف. صاحب أطروحة "intuitionistische axiomatieks دير projektieve meetkunde" (intuitionistic إسقاطي من بديهيات الهندسه) وكان أول دراسة من axiomatisation بناؤه في الرياضيات. عندما أعلنت جمعية رياضية الهولنديه جائزة السؤال في عام 1927 واعطت heyting مثالي موضوع والتي على المنافسة. وسألوا لformalisation من Brouwer بالمجلس ، حدسي والنظريات heyting مقاله المميز ومنح الجاءزه فى عام 1928. هذه المقاله وبعد ذلك polished وتوسيعه من خلال heyting ونشرت في عام 1930. انها heyting اسم معروف جيدا لدى المهتمين في فلسفة الرياضيات.

هذا العمل كان آخر أثر مفيد بقدر ما heyting تشعر بالقلق لانها اتت به الى اهتمام هاينريش scholz من عقد الرئيس من منطق رياضي في مونستر. Scholz الذي ادلى به من المكتبه المتاحة لheyting ، مونستر حظا نسبيا منذ ما يقرب من انشيده ، ومدى الحياة نشأت صداقه بين الاثنين. Heyting الاكاديمي في انشيده العزله لم تعد مشكلة يبدو أنه قد تم.

وبحلول ذلك الوقت كانت متزوجة heyting جوهان friederieke nijenhuis. للزوجين تزوجوا في عام 1929 وكان احد عشر الاطفال. بعد 31 عاما من الزواج وهي مطلقة فى عام 1960.

Heyting حضر الندوة erkenntnis في königsberg في ايلول / سبتمبر 1930. هناك لانه كان يمثل intuitionism بينما carnap وفون نيومان وتمثل logicism الشكليه على التوالي. احتج كل حالة خاصة بها وذلك للضد الاخريين. ورغم ان heyting نسخة من حدسي المنطق يختلف بعض الشيء عن تلك التي Brouwer ، ومن الواضح ان واحدا من الأهداف الرئيسية له هو جعل Brouwer بالمجلس ، ويمكن الوصول اليها المزيد من الأفكار على نحو افضل. Brouwer قدم افكاره عمدا في غير الرسمي ، وشخصية للغاية ، وسيلة.

وهناك غيرهم من المهتمين في حدسي منطق العمل على formalisation من مشاكل مماثلة في نفس الوقت الذي heyting. وكان واحد من kolmogorov برسائل heyting. المادة (هو الترجمة الانكليزيه) يستنسخ kolmogorov الرسائل الثلاث التى ارسلت الى heyting ، الاولى في عام 1931 مسائل التمييز بين اقتراح وف البيان "ف يمكن اثباته".

Heyting نشرت في عام 1934 واثبات نظرية intuitionism :

... موجزة وجيدة وكتبت في الدراسه الاستقصاءيه التي وجهات نظر intuitionism والشكليه وصفها بشكل واضح ويتناقض.

Heyting تم تعيين احد privatdozent في جامعة امستردام في عام 1936 وفي العام التالي عين محاضرا. أمضى بقية حياته المهنيه في جامعة أمستردام ، وترقيته الى استاذ في عام 1948. وحمل هذا الموقف لأكثر من عشرين عاما حتى تقاعده في عام 1968.

Heyting نشرت ورقة عن intuitionistic الجبر في عام 1941 وintuitionistic هيلبيرت الاحواز فى عام 1950 's. وكانت هذه الاشغال يفتح آفاقا جديدة. الاطروحه الرئيسية الاخرى التي قدمت الى كل من intuitionism الرياضيات والمنطقيون intuitionism هو : (أ) مقدمة (1956 ، الطبعه الثانية 1966). جيلمور الممتاز الذي يبدأ من استعراض هذا الكتاب على النحو التالي :

وهذا هو مقدمة لintuitionistic الرياضيين والرياضيات لتنضج. القارئ اتخاذها على وجه السرعه الى قلب العديد من الفروع المختلفة للintuitionistic الرياضيات. سرعة التنمية ويتحقق التكثيف البراهين عن طريق افتراض والالفه مع نظرائهم الكلاسيكيه الى مناقشة النظريات.

الكتاب كما هو مكتوب اجراء حوار بين الدرجة (أ الكلاسيكيه رياضيات) ، شكل (أ شكلي) ، دولي (وهو intuitionistic رياضيات) ، رسالة (أ finitistic nominalist) ، prag (أ الذرائعي) ، وعلامة (أ significist). في الفصل الاول يدافع عن intuitionistic الرياضيات دولي ضد الانتقاد للآخرين ، طالبا منهم اخيرا الى القاضي لأنفسهم. في الفصول المتبقية الرياضيات دولي يعرض عليها قاض. في هذه الفصول من الدرجة ، فيما عدا دولي ، هي أكثر loquacious ؛ وقال انه كثيرا ما يقارن مع ما يقابلها من نتائج الكلاسيكيه intuitionistic النتائج واسئلته تؤدي دولي لمناقشة اكثر تفصيلا لبعض النقاط. الجهاز للحوار ويتيح اختصار للبيانات دون فقدان الوضوح.

المادة يبين تأثير كبير heyting ان كان على دراسة أسس الرياضيات وذلك يدل على الاهميه heyting من مساهمات. Franchella يقول ان heyting كان السبب في تغييرين رئيسيين من الاتجاه. أولا ، على الاقل جزئيا ، بسبب اليه ، فان الموضوع قد ابتعد عن محاولة للرد على مشاكل كبيرة مثل "ما هي الرياضيات؟". Heyting ابتعد عن هذه المشاكل الكبيرة ، التي تركز على محاولة تحديد الرسمي ، حدسيه ، ومفاهيم منطقيه في دراسة الرياضيات. والتغيير الثاني الذي يقول ان franchella الناجمة عن heyting هو تحقيق درجة ان هناك من الادله في الرياضيات. وهذا هو الجانب الهام بصفة خاصة الرياضيات برامج الكومبيوتر اليوم عندما يجري استخدامها للتحقق من البراهين الرياضية :

ما كان محددا لintuitionism ، ومع ذلك ، كانت أطروحة ان الرياضيات هي نشاط ، تصبح عملية ، شاملة وصف الذي يستحيل ، تماما كما انه من المستحيل ان تحدد مرة واحدة والابتدائي لجميع المفاهيم.

ونحن ان تضع حدا لهذه السيره من قبل في معرض الاشارة الى heyting شخصية. Troelstra يكتب :

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

وهو في وصفها على النحو التالي :

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

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