Martin Davis: obzor ego issledovanij po logike, informatike i filosofii

Martin Davis (8 March 1928 – 1 January 2023) was a prominent logician and computer scientist. This article reviews his major contributions to logic, theoretical computer science, and philosophy, highlighting the connections between foundational theory and practical computation. It draws on his 1999 essay “From Logic to Computer Science and Back” and his 2016 autobiographical essay “My Life as a Logician”, reflecting on his research journey, key achievements, and the evolution of his interests over decades. The discussion emphasizes the lasting impact of his work on both logic and computer science.