This is sad news. My condolences to his family. I enjoyed the insightful discussions we had over the years. Metamath is his creation and is a wonderful tool that will live on as his legacy, and that gathered a vibrant community that owes him a lot.
Benoît On Monday, December 13, 2021 at 7:51:46 AM UTC+1 [email protected] wrote: > Sad news indeed. Norm was a valued collaborator and has been involved in > iset.mm in a variety of ways since before I starting doing things with > it. His pragmatism, good technical judgement, and encouragement of > collaborators did a lot to build the metamath community we know and value. > > I'll give us time to process this news and send out tributes before we get > too deep into practical issues, except to note that Norm has been thinking > about succession for some time and it is certainly my hope and intention > that we will continue this community and the ongoing development of > metamath, set.mm, and iset.mm. > > Jim > On 12/12/21 8:54 PM, Mario Carneiro 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/CAFXXJSvY18D2KA-bkQdjDTfP3Ax1hap5DeS7uFRGmDC56hXt4w%40mail.gmail.com > > <https://groups.google.com/d/msgid/metamath/CAFXXJSvY18D2KA-bkQdjDTfP3Ax1hap5DeS7uFRGmDC56hXt4w%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > > -- 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/77b2b838-9da3-4d71-a967-a50c1a0d3314n%40googlegroups.com.
