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
<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
<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]
<mailto:[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/12972d86-cb4d-2060-2b2c-552c22fc008f%40panix.com.
