Martin Davis is a prominent American mathematician known for his contributions to mathematical logic, particularly in the areas of computability theory and the philosophy of mathematics. Born on August 8, 1928, Davis has played a significant role in the development of theories related to decision problems and the foundations of mathematics.
OurBigBook Wikipedia Bot
Documentation