https://wikijoo.ir/index.php?action=history&feed=atom&title=%D9%87%D8%B1%D8%A8%D8%B1%D8%A7%D9%86%D8%AF%D8%8C_%DA%98%D8%A7%DA%A9_%28%DB%B1%DB%B9%DB%B0%DB%B8%D9%80%DB%B1%DB%B9%DB%B3%DB%B1%29هربراند، ژاک (۱۹۰۸ـ۱۹۳۱) - تاریخچهٔ نسخهها2026-05-01T22:15:53Zتاریخچهٔ نسخهها برای این صفحه در ویکیMediaWiki 1.41.0https://wikijoo.ir/index.php?title=%D9%87%D8%B1%D8%A8%D8%B1%D8%A7%D9%86%D8%AF%D8%8C_%DA%98%D8%A7%DA%A9_(%DB%B1%DB%B9%DB%B0%DB%B8%D9%80%DB%B1%DB%B9%DB%B3%DB%B1)&diff=2010047609&oldid=prevNazanin در ۲۴ ژوئیهٔ ۲۰۱۹، ساعت ۰۵:۲۳2019-07-24T05:23:50Z<p></p>
<p><b>صفحهٔ تازه</b></p><div><br />
هِرْبرانْد، ژاک (۱۹۰۸ـ۱۹۳۱)(Herbrand, Jacques)<br/> [[File:41061200.jpg|thumb|هِرْبرانْد، ژاک]](یا: اربران) ریاضیدان فرانسوی. چند مفهوم نوآورانه را در منطق ریاضی<ref>mathematical logic <br />
<br />
</ref> مطرح کرد. قضیۀ هربراند<ref>Herbrand theorem </ref> را ابداع کرد که پیوندی بین نظریۀ تسویر<ref>quantification theory </ref> و منطق جملهها<ref>sentencial logic </ref> (گزارهها) برقرار میسازد. هربراند در پاریس زاده شد و در دانشسرای عالی<ref>École Normale Supérieure </ref> درس خواند. در ۲۰سالگی، نخستین مقالهاش را دربارۀ منطق ریاضی برای آکادمی علوم پاریس نوشت و سال بعد (۱۹۲۹)، در رسالۀ دکتریاش قضیۀ هربراند را عرضه کرد. این قضیه از آن زمان کاربردهای بسیاری در بعضی از زمینهها، ازجمله مسائل تصمیم<ref>decision problems </ref> و تحویل<ref>reduction problems </ref> (فروکاهش)، داشته است. هربراند به جبر جدید<ref>modern algebra </ref> نیز علاقه داشت و چند مقاله دربارۀ نظریۀ میدانها (هیئتها)ی ردهای<ref>class-field theory</ref> نوشت.<br />
<br />
&nbsp;<br />
<br />
----<br />
<br />
[[Category:ریاضیات]] [[Category:(ریاضیات)اشخاص و آثار]]</div>Nazanin