I feel so sorry. This message is a kind of a shock to me, as his answer to my last contribution was a thorough analysis of my text and a kind offer to help me out with some literature. I owe him a thorough introduction into the foundations of mathematics.
I will miss him. Wolf Lammen Glauco schrieb am Montag, 13. Dezember 2021 um 20:43:03 UTC+1: > 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/9a5b7054-ec15-447d-a9c0-84971e21a6e7n%40googlegroups.com.
