I've been trying to think of what to say since this morning. Norm was extremely kind and a brilliant man. When I started contributing to Metamath around 2006 he was always there to answer any newbie question I had. I'm extremely grateful to him both for Metamath and for the help he offered a budding mathematician/logician. He will be missed.
-Scott On Mon, Dec 13, 2021 at 12:06 PM Thierry Arnoux <[email protected]> wrote: > I am very sorry and touched to learn about Norm's sudden passing. > > Metamath is a beautiful tool and I will forever be grateful to him for > creating, developing and sharing it. > _ > Thierry > > On 13/12/2021 12:54, 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/eacd6417-3ced-0df9-f57b-e5fa5bca8afa%40gmx.net > <https://groups.google.com/d/msgid/metamath/eacd6417-3ced-0df9-f57b-e5fa5bca8afa%40gmx.net?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/CACKrHR8eDkej-U%2BOeL-mP7rrKNXqJ56DJ6d6n-sXuieQrfeVTw%40mail.gmail.com.
