ویلیام هوارد
ریاضیدان آمریکایی
ویلیام آلوین هوارد (به انگلیسی: William Alvin Howard) (زاده ۱۹۲۶) ریاضیدان و منطق دان ریاضی آمریکایی است. زمینه پژوهشی هوارد نظریه برهان می باشد. او در سال ۱۹۵۶ در دانشگاه شیکاگو با سرپرستی ساندرز مک لین دوره دکترا را به پایان برد و در سالهای دهه ۱۹۶۰ به استادی دانشگاه پنسیلوانیا رسید. او به همراه هسکل کاری یک هم ارزی میان منطق شهودگرایانه و حسابان لامبدا را نشان داد. وی همچنین عددهای ترتیبی ای را معرفی نمود که به نام خود او عددهای ترتیبی هوارد نام دارند. این عددها در نظریه برهان کاربرد دارند.
منابع
- مشارکتکنندگان ویکیپدیا. «William Alvin Howard». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۱۹ فروردین ۱۳۹۴.
- مشارکتکنندگان ویکیپدیا. «William Alvin Howard». در دانشنامهٔ ویکیپدیای آلمانی ، بازبینیشده در ۱۹ فروردین ۱۳۹۴.
🔥 Top keywords: مصطفی پورمحمدیمسعود پزشکیانعلیرضا زاکانیصفحهٔ اصلیسید امیرحسین قاضیزاده هاشمیسعید جلیلیمحمدباقر قالیبافناصر مکارم شیرازیویژه:جستجوتب دنگیانتخابات ریاستجمهوری ایران (۱۴۰۰)انتخابات ریاستجمهوری ایران (۱۴۰۳)دادگاه حمید نوریرده:پوزیشنهای جنسیعید قربانسید حسن قاضیزاده هاشمینامزدهای انتخابات ریاستجمهوری ایران (۱۴۰۳)سید احسان قاضیزاده هاشمیشیدا خلیقجام ملتهای اروپا ۲۰۲۴سید ابراهیم رئیسیرده:فیلمهای سکسی-کمدی آمریکاییروشهای آمیزش جنسیسید علی خامنهایلحظه گرگ و میشآمیزش جنسی بدون دخولدر انتهای شب (مجموعه نمایش خانگی ۱۴۰۳)سید حسین قاضیزاده هاشمیمریم رجویمحمود احمدینژادنفیلیمعلیاصغر پورمحمدیسکس شاپحسین انتظامیآمیزش جنسی دهانییان فن ت شیپانتخابات ریاستجمهوری ایران (۱۳۹۶)جام ملتهای اروپاناهید مسلمی