Oh no... This is devastating... I am but a lurker here, but the quality of discussions, care of contributors, and sheer fun of playing with metamath are a tribute to the love that Norm poured into this community.
What a towering legacy. Though I have only had a few brief e-mail exchanges with him, I remeber these as treasures. Thank you, Norm, for always thinking about students and learners; thank you for sparking a lively and invested community; thank you for doing your thing. It has been and remains a blessing to us all. Rest well... Mario Carneiro <[email protected]> wrote: > Dear All, > > I am sorry to report that Norman Dwight Megill, Ph.D. died suddenly of > natural causes on December 9, 2021 at the age of 71. > > Son of the late Rev. George and June Megill; husband of the late Deborah > Nickerson Megill; proud father of Robin Dwight Megill, M.D. of Lancaster, > PA; loving stepdad to Caroline Lucia Wright of Lexington, MA; caring > brother to Margaret Menezes of Raleigh, NC and David Megill of Alexandria, > VA and their families; and loving and devoted partner to Susan Cass of > Lexington, MA and her family. > > Norman received his undergraduate degree in Electrical Engineering and > Computer Science from MIT in 1972 and his Ph.D. from the University of > Zagreb, Croatia in 2010. > > In addition to being remembered for his strong ties to his family, friends > and community, Norman will be known as the author of the Metamath proof > language (http://us.metamath.org), a system for expressing and proving > mathematical theorems in a simple language that can be checked by a > computer. Over 30 years, he cultivated an international community of people > with the shared dream of digitizing and verifying mathematics, and the > ideas and design have been influential in formal mathematics. He had > interest in properties of Quantum logic and Hilbert spaces, and used > Metamath to formalize his investigations. > > A memorial service will be held at the MIT Chapel (48 Massachusetts Ave, > Cambridge, MA) on Monday, December 13th at 11:30 a.m. > > In lieu of flowers, gifts may be made to the MIT Memorial Undergraduate > Scholarship Fund, in memory of Norman Megill. Memorial Gifts Office, 600 > Memorial Drive, W98-500, Cambridge, MA 02139. > > https://www.legacy.com/us/obituaries/bostonglobe/name/norman-megill-obituary?id=31842140 > > Please forward this message to any mailing lists or people who you think > would like to know. > > Mario Carneiro, on behalf of Susan Cass -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/1YIDGAGYJOTZG.3VHP7V53X64BJ%40wilsonb.com.
