EntityQ6491315· pop 6· linked from 9 articlesLarry WosSign in to saveAmerican mathematicianConnectionsautomated theorem provingEntityChicagoEntityInternational Standard Book NumberEntitymathematicianEntityThe New York TimesEntitydigital object identifierEntityUniversity of ChicagoEntityQ180686EntityJSTOROrganizationChicago TribuneEntityvisual impairmentEntitythesisEntityUniversity of Illinois Urbana–ChampaignEntityMathematics Genealogy ProjectEntitybowlingEntityQ22908627EntityAmerican Mathematical SocietyEntityThe MIT PressEntityArgonne National LaboratoryEntitycommemorative publicationEntityCategories1930 births2020 deaths20th-century American mathematicians21st-century American mathematiciansAcademics from ChicagoAmerican scientists with disabilitiesUniversity of Chicago alumniUniversity of Illinois Urbana-Champaign alumni