I am sorry to report that Martin Davis, who was a long-time moderator for FOM, passed away yesterday, on January 1. Sam Buss -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20230102/89023d70/attachment.html>