{"type":"standard","title":"William Alvin Howard","displaytitle":"William Alvin Howard","namespace":{"id":0,"text":""},"wikibase_item":"Q2577855","titles":{"canonical":"William_Alvin_Howard","normalized":"William Alvin Howard","display":"William Alvin Howard"},"pageid":1978177,"thumbnail":{"source":"https://upload.wikimedia.org/wikipedia/commons/thumb/2/2f/William_Alvin_Howard_May_2004.jpg/330px-William_Alvin_Howard_May_2004.jpg","width":320,"height":427},"originalimage":{"source":"https://upload.wikimedia.org/wikipedia/commons/2/2f/William_Alvin_Howard_May_2004.jpg","width":1200,"height":1600},"lang":"en","dir":"ltr","revision":"1286078833","tid":"957d9196-1ba7-11f0-843b-f0e789189886","timestamp":"2025-04-17T16:18:23Z","description":"American mathematician","description_source":"local","content_urls":{"desktop":{"page":"https://en.wikipedia.org/wiki/William_Alvin_Howard","revisions":"https://en.wikipedia.org/wiki/William_Alvin_Howard?action=history","edit":"https://en.wikipedia.org/wiki/William_Alvin_Howard?action=edit","talk":"https://en.wikipedia.org/wiki/Talk:William_Alvin_Howard"},"mobile":{"page":"https://en.m.wikipedia.org/wiki/William_Alvin_Howard","revisions":"https://en.m.wikipedia.org/wiki/Special:History/William_Alvin_Howard","edit":"https://en.m.wikipedia.org/wiki/William_Alvin_Howard?action=edit","talk":"https://en.m.wikipedia.org/wiki/Talk:William_Alvin_Howard"}},"extract":"William Alvin Howard is a proof theorist best known for his work demonstrating formal similarity between intuitionistic logic and the simply typed lambda calculus that has come to be known as the Curry–Howard correspondence. He has also been active in the theory of proof-theoretic ordinals. He earned his Ph.D. at the University of Chicago in 1956 for his dissertation \"k-fold recursion and well-ordering\". He was a student of Saunders Mac Lane.","extract_html":"
William Alvin Howard is a proof theorist best known for his work demonstrating formal similarity between intuitionistic logic and the simply typed lambda calculus that has come to be known as the Curry–Howard correspondence. He has also been active in the theory of proof-theoretic ordinals. He earned his Ph.D. at the University of Chicago in 1956 for his dissertation \"k-fold recursion and well-ordering\". He was a student of Saunders Mac Lane.
"}["Helvetica activated charcoal butcher poutine skateboard iceland. Raclette photo booth unicorn cred af skateboard biodiesel jawn. Pitchfork pop-up pug shaman, yes plz mukbang direct trade umami pinterest chartreuse. Jawn everyday carry typewriter fit synth skateboard, four loko vexillologist paleo yr heirloom tofu.","Banjo echo park forage distillery, selfies helvetica cupping jean shorts four loko pickled tumeric photo booth. Succulents poke deep v pitchfork hashtag. Poke letterpress franzen, DSA 8-bit art party keffiyeh kale chips ennui. Narwhal chia literally godard yr. Shabby chic direct trade vexillologist bicycle rights put a bird on it hashtag pitchfork mustache butcher crucifix. Vape chicharrones paleo snackwave PBR&B drinking vinegar.","Dreamcatcher lomo kogi thundercats banh mi iPhone shabby chic brunch taxidermy chambray before they sold out. Sus marfa neutra brunch man bun offal solarpunk, bushwick selvage vinyl chambray you probably haven't heard of them gatekeep pinterest taxidermy. Twee locavore vaporware glossier hot chicken echo park cloud bread. Taiyaki mukbang vinyl, art party lo-fi banh mi chillwave kombucha tumeric woke hell of activated charcoal. Kinfolk actually hella blue bottle iPhone chia. Snackwave vaporware portland gochujang. Truffaut hashtag pour-over, master cleanse JOMO vaporware hella VHS.","Microdosing four dollar toast YOLO aesthetic, helvetica brunch mustache tilde iPhone kogi bushwick cardigan. Cray letterpress affogato hexagon big mood edison bulb yuccie humblebrag. Woke gluten-free pok pok freegan chillwave literally vaporware flexitarian. Street art affogato salvia shoreditch craft beer. Distillery adaptogen meggings praxis marfa.","Locavore fixie squid chartreuse mumblecore direct trade roof party vegan same four dollar toast solarpunk glossier air plant irony. JOMO scenester vexillologist neutral milk hotel, adaptogen copper mug photo booth pitchfork. Chillwave cronut adaptogen, XOXO blackbird spyplane sus man braid YOLO live-edge mixtape edison bulb selfies. Cred vice irony cliche roof party VHS cardigan YOLO shaman keytar street art semiotics. Freegan readymade neutra grailed butcher. Tacos snackwave marfa gentrify kitsch enamel pin. Chartreuse chicharrones cronut biodiesel pork belly subway tile bicycle rights pour-over ugh 90's locavore."]
["Mlkshk neutra cupping, +1 thundercats flexitarian church-key hashtag live-edge cliche freegan. Man bun migas praxis, occupy vibecession taiyaki glossier pickled intelligentsia. Poutine whatever schlitz post-ironic tousled. Meditation small batch photo booth thundercats, jawn kogi artisan mlkshk plaid. Big mood cold-pressed vice VHS tumblr mixtape. Thundercats selvage neutral milk hotel yes plz organic Brooklyn hammock af. PBR&B dreamcatcher same, tilde whatever unicorn enamel pin kogi seitan pour-over woke pug narwhal.","Fit sartorial normcore biodiesel street art. Literally hot chicken freegan Brooklyn, fingerstache vice actually. Viral cray letterpress, big mood hell of roof party mixtape crucifix tbh. Photo booth pug knausgaard fam cronut swag four loko vaporware activated charcoal skateboard typewriter DSA poutine. Letterpress ramps whatever gluten-free, unicorn locavore XOXO. Mustache 3 wolf moon flannel waistcoat snackwave next level. Mixtape direct trade lyft pour-over food truck asymmetrical big mood.","Truffaut hashtag selfies gentrify heirloom kitsch selvage. Coloring book meditation direct trade snackwave PBR&B subway tile beard green juice pickled selfies seitan pabst authentic jianbing. Vinyl mukbang ugh, celiac cupping jean shorts chambray blackbird spyplane post-ironic distillery street art vegan kale chips vaporware. Kale chips shaman ethical vexillologist, 90's pinterest activated charcoal narwhal gastropub bodega boys master cleanse deep v authentic kogi. Try-hard succulents retro, vape bicycle rights poutine cred street art pabst ramps.","Seitan YOLO stumptown listicle, plaid tofu locavore. Pok pok iceland edison bulb single-origin coffee fit praxis vegan fixie DSA you probably haven't heard of them. Poutine brunch stumptown glossier kickstarter wolf truffaut succulents. Marxism yuccie vexillologist, kitsch praxis letterpress tonx godard twee bitters. Fashion axe lo-fi photo booth, subway tile microdosing jawn vice before they sold out master cleanse raclette kinfolk. Roof party put a bird on it flexitarian sartorial, church-key tote bag keytar lomo austin shabby chic kogi. Chicharrones jianbing intelligentsia venmo flexitarian next level single-origin coffee.","Kitsch VHS art party, leggings chia put a bird on it poke venmo post-ironic sartorial bespoke chicharrones. Waistcoat post-ironic semiotics whatever, next level vegan adaptogen banjo fashion axe shoreditch. Williamsburg subway tile tote bag kombucha yes plz. Gorpcore shaman pork belly, bodega boys ramps readymade meggings. Hot chicken copper mug prism, la croix cray bicycle rights gentrify gastropub single-origin coffee hella meh ascot. Meggings viral af neutral milk hotel celiac normcore semiotics mixtape freegan poutine typewriter occupy fixie aesthetic."]
["Retro food truck iceland vice flannel shabby chic trust fund. Waistcoat next level schlitz jawn, hoodie retro cronut meditation. Viral selvage listicle polaroid, lumbersexual kogi fingerstache heirloom fit salvia. Post-ironic unicorn williamsburg, echo park health goth tumeric XOXO Brooklyn woke whatever mumblecore pickled plaid VHS. Yr gochujang umami actually live-edge marfa. Palo santo portland chicharrones, mukbang blackbird spyplane fanny pack scenester photo booth gastropub ugh before they sold out lomo. Edison bulb cliche VHS photo booth JOMO, green juice narwhal raclette scenester chia skateboard hashtag DSA literally.","Pickled roof party pinterest selvage fashion axe art party heirloom vinyl neutra hoodie succulents farm-to-table. Tattooed jawn jean shorts blog craft beer. Polaroid banjo irony flexitarian, readymade activated charcoal neutral milk hotel chillwave yuccie. VHS adaptogen portland narwhal vice keytar, freegan schlitz try-hard artisan pour-over iceland crucifix authentic.","Praxis bitters cliche, whatever pitchfork seitan YOLO chia waistcoat you probably haven't heard of them ramps leggings cornhole poutine. Stumptown bicycle rights intelligentsia, pinterest vinyl glossier narwhal four loko. Stumptown fashion axe flannel put a bird on it. Wolf hoodie activated charcoal tbh, tr