(به : ) (زاده ۱۹۲۶) و منطق دان ریاضی آمریکایی است. زمینه پژوهشی هوارد می باشد. او در سال ۱۹۵۶ در با سرپرستی دوره دکترا را به پایان برد و در سالهای دهه ۱۹۶۰ به استادی رسید. او به همراه یک هم ارزی میان منطق شهودگرایانه و لامبدا را نشان داد. وی همچنین ای را معرفی نمود که به نام خود او عددهای ترتیبی هوارد نام دارند. این عددها در نظریه برهان کاربرد دارند.
{"title": "ویلیام هوارد", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%88%DB%8C%D9%84%DB%8C%D8%A7%D9%85_%D9%87%D9%88%D8%A7%D8%B1%D8%AF&oldid=34836246", "language": "fa"}