On Martin Davis:
https://dailycal.org/2023/01/08/warm-kind-intellectually-brilliant-mathematician-martin-davis-dies-at-94 by George Bergman
(On a comment in FB, Ken McAloon mentioned that "after retirement he spent lots of time at Berkeley, which he described as `heaven with a library'.")
On Martin and Virginia Davis:
https://www.digitalfieldguide.com/blog/20341 by their son Harold.
Follow
@AndresCaicedo Martin and Virgina were dear friends of Richard Pollack, my father. I have very fond memories of both of them. May their memory be for a blessing.
