Dan Willard

I corresponded with Professor Willard for two and a half years, beginning in 2020, concerning his work on Self-Justifying Axiom Systems, which I believe hold great promise for future developments in mathematical logic and computer science. Though I am only an avocational participant in his field, he was very generous in talking about his discoveries, his career, his family, and his thoughts on the wider world. Because his eyesight was failing, he would often call me in response to my various...

I met Dan a few years ago when out on a neighborhood run. He was a kind and gentle soul who loved his wife and was so very proud of his son. May his memory be a blessing.