أريند هيتينغ

كان أرند هيتينغ ( بالهولندية: [ ˈaːrənt ˈɦɛitɪŋ ] ؛ 9 مايو 1898 - 9 يوليو 1980) عالم رياضيات ومنطق هولندي .

كان هيتينغ تلميذًا للويتزن إيغبرتوس يان براور في جامعة أمستردام ، وقد أسهم إسهامًا كبيرًا في ترسيخ المنطق الحدسي وجعله جزءًا من المنطق الرياضي . قدّم هيتينغ أول تطوير رسمي للمنطق الحدسي بهدف تقنين منهج براور في الرياضيات. ويُعدّ ذكر اسم براور في تفسير براور-هيتينغ-كولموغوروف تكريمًا له إلى حد كبير، إذ كان براور معارضًا من حيث المبدأ لتقنين بعض المبادئ الحدسية (بل وصف عمل هيتينغ بأنه "تمرين عقيم"). ^{[ 1 ]}

في عام 1942 أصبح عضواً في الأكاديمية الملكية الهولندية للفنون والعلوم . ^{[ 2 ]}

وُلدت هيتينغ في أمستردام ، هولندا، وتوفيت في لوغانو ، سويسرا.

• هيتنج ، أرند (1930). "Dieformen Regeln der Intuitionistischen Logik". Sitzungsberichte der preußischen Akademie der Wissenschaften, physi.-math. كلاس (باللغة الألمانية): 42-56 ، 57-71 ، 158-169 . OCLC 601568391 . (طبع مختصر في Berka، Karel؛ Kreiser، Lothar، eds. (1986). Logik-Texte . De Gruyter . pp. 188– 192. doi : 10.1515/9783112645826 . ISBN  978-3-11-264582-6.)

• — (1934). الرياضيات Grundlagenforschung. الحدس. بيويستيوري (في المانيا). برلين: سبرينغر.^{[ 3 ]}

• — (1941). “Unter suchungen der intuitionistischen Algebra”. فيره. نيديرل. أكاد. ويتنش. حزب البديل من أجل الديمقراطية. ناتورك. طائفة. 1 (باللغة الألمانية). 18 (2): 36.

• — (1956). الحدسية. مقدمة . أمستردام: دار نشر نورث هولاند.

• — (1959). "مسلمات الهندسة الأفينية المستوية الحدسية. المنهج البديهي. مع إشارة خاصة إلى الهندسة والفيزياء". في: هينكين، ل.؛ سوبس، ب.؛ تارسكي، أ. (محررون). وقائع ندوة دولية عُقدت في جامعة كاليفورنيا، بيركلي، 26 ديسمبر 1957 - 4 يناير 1958. دراسات في المنطق وأسس الرياضيات. أمستردام: دار نشر نورث هولاند، ص 160-173 . 

• — (1962). "بعد ثلاثين عامًا". في: ناجل، إي. (محرر). المنطق والمنهجية وفلسفة العلوم (وقائع المؤتمر الدولي لعام 1960) . ستانفورد، كاليفورنيا: مطبعة جامعة ستانفورد. الصفحات 194-197 . 

• — (1963). الهندسة الإسقاطية البديهية . مكتبة الرياضيات. المجلد  الخامس. نيويورك؛ جرونينجن؛ أمستردام: دار نشر إنترساينس، جون وايلي وأولاده؛ بي. نوردوف إن في؛ شركة نشر نورث هولاند.

• — (1966). الحدسية: مقدمة (الطبعة الثانية المنقحة  ). أمستردام: دار نشر نورث هولاند.

• — (1973). "خطاب إلى البروفيسور أ. روبنسون. بمناسبة محاضرة بروير التذكارية التي ألقاها البروفيسور أ. روبنسون في 26 أبريل 1973". Nieuw Arch. Wisk. (3) . 21 : 134–137 .

• — (1974). Mathematische Grundlagenforschung، Intuitionismus، Beweistheorie (باللغة الألمانية) (طبع  الطبعة). برلين – نيويورك: سبرينغر-فيرلاغ.

• — (1980). الهندسة الإسقاطية البديهية . مكتبة الرياضيات. المجلد  الخامس (  الطبعة الثانية). جرونينجن؛ أمستردام - نيويورك: منشورات وولترز-نوردوف العلمية المحدودة؛ شركة نشر شمال هولندا.

• كنيسة ألونزو (1935). "مراجعة: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie بواسطة A. Heyting " . ثور. عامر. الرياضيات. شركة نفط الجنوب. (باللغة الألمانية). 41 : 476– 477. دوى : 10.1090/S0002-9904-1935-06126-9 .

• المركز الرقمي Wetenschapshistorisch. "أرند هيتنج (1898 - 1980)" . الأكاديمية الملكية الهولندية للفنون والعلوم . تم الاسترجاع 28 يوليو 2015 .

• فان ستيجت، والتر ب. (1990). حدس بروير . أمستردام: شمال هولندا.

• أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "أريند هيتينغ" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز