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.
