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

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

Wilhelm Ackermann

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

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

تاريخ وفاته:

مكان الوفاة:

29 March 1896

Schönebeck (Kr. Altena), Germany

24 Dec 1962

Lüdenscheid, Germany

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

ويلهلم اكرمان كان من المنطقي الرياضية عملت مع هيلبيرت في غوتنغن.

اكرمان حصل على درجة الدكتوراه في عام 1925 مع اطروحة begründung des "tertium غير datur" mittels دير hilbertschen Theorie در widerspruchsfreiheit مكتوب تحت هيلبيرت وكان الدليل على اتساق دون حساب التعريفي. كان المقصود به ان يكون دليلا للاتساق الابتداءيه على الرغم من ان هذا دليل على التحليل الوارد اخطاء كبيرة.

اكرمان ايضا المساهم الرئيسي في تطوير نظام المنطقي الحرف الخامس للالفباء اليونانيه المعروفة باسم حساب التفاضل والتكامل ، اصلا بسبب هيلبيرت. هذه الشكليه شكلت اساسا للبورباكي بالمجلس ، والمنطق ونظرية.

من 1929 حتى عام 1948 كما عمل استاذا في مدرسة arnoldinum في الجمنازيوم وburgsteinfurt في luedenscheid. وقال انه عضو مراسل للAkademie دير Wissenschaften في غوتنغن ، وكان استاذا فخريا فى Universität مونستر.

في عام 1928 ، لاحظ ان اكرمان (أ) (خ ، ذ ، ض) ، ض اضعاف iterated من الترقيه x مع y ، هو مثال للمهمة التي متكررة ليست بداءيه متكررة. (أ) (خ ، ذ ، ض) لتبسيط وظيفة ف خ ، ذ) 2 من المتغيرات من قبل rozsa بيتر الذي هو الشرط الأولي لتبسيط رفائيل روبنسون. ومن هذه الاخيرة على النحو الذي يحدث اكرمان وظيفة اليوم في الكتب المدرسية. في عام 1928 أيضا في كثير من الاحيان طبع كتاب grundzüge دير theoretischen logik هيلبيرت من قبل ويبدو أكرمان.

ومن بين اكرمان للعمل في وقت لاحق من الاتساق هي الادله لمجموعة من الناحية النظريه (1937) ، كامل الحساب (1940) ونوع المنطق الحرة (1952). كذلك كان هناك مجموعة جديدة من تبسيط الحقائق النظريه (1956) ، وكتاب للحل الحالات التي من المقرر مشكلة (شمال هولندا ، 1954).

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