tag:blogger.com,1999:blog-3722233.post3904119442695865852..comments2024-03-18T17:27:11.613-05:00Comments on Computational Complexity: Martin Davis Passed Away on Jan 1, 2023Lance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger8125tag:blogger.com,1999:blog-3722233.post-69360816427360930442023-01-10T21:02:29.779-06:002023-01-10T21:02:29.779-06:00thanks, fixedthanks, fixedgasarchhttps://www.blogger.com/profile/03004932739846901628noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-89465732218130946252023-01-10T21:02:22.781-06:002023-01-10T21:02:22.781-06:00Thanks, fixedThanks, fixedgasarchhttps://www.blogger.com/profile/03004932739846901628noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-9813752322552144112023-01-10T20:46:02.954-06:002023-01-10T20:46:02.954-06:00The 1st Edition of Computability, Complexity, and ...The 1st Edition of Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science is 1983 (not 1994). The 2nd edition (1994) has Ron SIgal as a co-author.Clyde Kruskalhttps://www.blogger.com/profile/03811488182331156414noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-4424295268731458672023-01-09T20:08:12.905-06:002023-01-09T20:08:12.905-06:00As an older bloke who learned assembler early on (...As an older bloke who learned assembler early on (1971: IBM 1130, 1972: CDC 3600, 1973: PDP-6), I worry that younger comp sci. folks may not have good intuitions about what computation is about, so count me in as thinking theory courses should insist that students write Turing machine programs.<br />DJLhttps://www.blogger.com/profile/04036156397398405817noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-1939148160999955902023-01-09T18:05:02.042-06:002023-01-09T18:05:02.042-06:00I would like to mention to his credit, three more ...I would like to mention to his credit, three more biographical things:<br /><br />1. He is the one who named it the "Halting Problem" from his 1958 text. Turing originally called these things "circular", "circle-free", and "satisfactory". <br /><br />2. He wrote "Solvability, Provability, Definability: The Collected Works of Emil L. Post", which includes several pages of a kind of obituary or biography of Emil Post. He mentions what it was like as an undergraduate taking a class with Post.<br /><br />3. He wrote the foreword to "Hillbert's 10th Problem" by Matijasevich (1993), In there, he describes his history and contribution to solving the problem.<br /><br />Abrahim Ladhahttps://ladha.menoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-31049322247156986362023-01-09T15:28:26.974-06:002023-01-09T15:28:26.974-06:00Also he got his PhD at Princeton, not Chicago.Also he got his PhD at Princeton, not Chicago.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-50958221225449557992023-01-09T14:30:17.893-06:002023-01-09T14:30:17.893-06:00Your dates for Davis's undergrad and PhD degre...Your dates for Davis's undergrad and PhD degrees seem to be wrong. According to your own wikipedia link, he got his bachelor's degree in 1948 and his PhD in 1950 (in 2 years, not 3). These dates (and the 2-year PhD) also seem to be confirmed in this interview (https://www.ams.org/notices/200805/tx080500560p.pdf).Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-70663561982712836602023-01-09T12:42:59.025-06:002023-01-09T12:42:59.025-06:00Thank you for this news. I for one did not know i...Thank you for this news. I for one did not know it. Very sad. (By the way, for some reason in the first half the formatting is that every sentence is its own paragraph.)<br /><br />Thank you also for mentioning "The Universal Computer: The Road from Leibniz to Turing." One of his contributions that may be undervalued is the ability to understand exactly what is the point at issue, and to clearly state it, so that others of us can also understand that. In my Theory class I urge that book on my students.Anonymousnoreply@blogger.com