هربراند، ژاک (۱۹۰۸ـ۱۹۳۱)

از ویکیجو | دانشنامه آزاد پارسی
(تغییرمسیر از ژاک هربراند)

هِرْبرانْد، ژاک (۱۹۰۸ـ۱۹۳۱)(Herbrand, Jacques)

هِرْبرانْد، ژاک

(یا: اربران) ریاضی‌دان فرانسوی. چند مفهوم نوآورانه را در منطق ریاضی[۱] مطرح کرد. قضیۀ هربراند[۲] را ابداع کرد که پیوندی بین نظریۀ تسویر[۳] و منطق جمله‌ها[۴] (گزاره‌ها) برقرار می‌سازد. هربراند در پاریس زاده شد و در دانشسرای‌ عالی[۵] درس خواند. در ۲۰‌سالگی، نخستین مقاله‌اش را دربارۀ منطق ریاضی برای آکادمی علوم پاریس نوشت و سال بعد (۱۹۲۹)، در رسالۀ دکتری‌اش قضیۀ هربراند را عرضه کرد. این قضیه از آن زمان کاربردهای بسیاری در بعضی از زمینه‌ها، ازجمله مسائل تصمیم[۶] و تحویل[۷] (فروکاهش)، داشته است. هربراند به جبر جدید[۸] نیز علاقه داشت و چند مقاله دربارۀ نظریۀ میدان‌ها (هیئت‌ها)ی رده‌ای[۹] نوشت.

 


  1. mathematical logic
  2. Herbrand theorem
  3. quantification theory
  4. sentencial logic
  5. École Normale Supérieure
  6. decision problems
  7. reduction problems
  8. modern algebra
  9. class-field theory