I am so sorry for this loss. What a brilliant mind.
When I was a student, had I known it was possible to have something like Metamath, I would have certainly chosen a different career. My condolences to the entire family Glauco Il giorno lunedì 13 dicembre 2021 alle 05:54:12 UTC+1 [email protected] ha scritto: > 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/f6a8777f-43e9-415e-9bcc-49280f1ff6f7n%40googlegroups.com.
