In Dec 2021 I noted in this post, which was my 1000th post ever (according to Ken Regan, see here) that Betty White had the misfortune of dying on Dec 31, 2021,...gasarch From Computational Complexity | January 22, 2023 at 09:50 PM
When Martin Davis passed away Lance emailed me what he got from using ChatGPT to do an obit. Here it is and I also note what it got wrong.----------------------...gasarch From Computational Complexity | January 16, 2023 at 09:16 AM
As you probably already know from other sources, Martin Davis passed away on Jan 1, 2023, at the age of 94. His wife Virginia died a few hours later.He majoredOccasionally...gasarch From Computational Complexity | January 9, 2023 at 11:11 AM