هربراند ژاک

دانشنامه آزاد فارسی

هِرْبرانْد، ژاک (۱۹۰۸ـ۱۹۳۱)(Herbrand, Jacques)
هِرْبرانْد، ژاک
(یا: اربران) ریاضی دان فرانسوی. چند مفهوم نوآورانه را در منطق ریاضی مطرح کرد. قضیۀ هربراند را ابداع کرد که پیوندی بین نظریۀ تسویر و منطق جمله ها (گزاره ها) برقرار می سازد. هربراند در پاریس زاده شد و در دانشسرای عالی درس خواند. در ۲۰ سالگی، نخستین مقاله اش را دربارۀ منطق ریاضی برای آکادمی علوم پاریس نوشت و سال بعد (۱۹۲۹)، در رسالۀ دکتری اش قضیۀ هربراند را عرضه کرد. این قضیه از آن زمان کاربردهای بسیاری در بعضی از زمینه ها، ازجمله مسائل تصمیم و تحویل (فروکاهش)، داشته است. هربراند به جبر جدید نیز علاقه داشت و چند مقاله دربارۀ نظریۀ میدان ها (هیئت ها)ی رده ای نوشت.

پیشنهاد کاربران

بپرس