Norman Megill (1950-2021)

[Mario Carneiro]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20211212/0682b30e/attachment-0001.html>