ویلیام هوارد

ویلیام آلوین هوارد  (زاده ۱۹۲۶) ریاضیدان و منطق دان ریاضی آمریکایی است. زمینه پژوهشی هوارد نظریه برهان می باشد. او در سال ۱۹۵۶ در دانشگاه شیکاگو با سرپرستی ساندرز مک لین دوره دکترا را به پایان برد و در سالهای دهه ۱۹۶۰ به استادی دانشگاه پنسیلوانیا رسید. او به همراه هسکل کاری یک هم ارزی میان منطق شهودگرایانه و حسابان لامبدا را نشان داد. وی همچنین عددهای ترتیبی ای را معرفی نمود که به نام خود او عددهای ترتیبی هوارد نام دارند. این عددها در نظریه برهان کاربرد دارند.

 منابع 




رده:اعضای انجمن ریاضی آمریکا
رده:افراد زنده
رده:دانش‌آموختگان دانشگاه شیکاگو
رده:ریاضی‌دانان سده ۲۱ (میلادی) اهل ایالات متحده آمریکا
رده:ریاضی‌دانان اهل ایالات متحده آمریکا
رده:ریاضی‌دانان سده ۲۰ (میلادی)
رده:ریاضی‌دانان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
رده:زادگان ۱۹۲۶ (میلادی)
رده:فیلسوفان ریاضیات
رده:منطق‌دانان اهل ایالات متحده آمریکا