 Karl Menninger (mathematics)

Karl Menninger was a mathematician known primarily for his work in the field of mathematical logic and set theory, particularly during the 20th century. He is best recognized for his contributions to the foundations of mathematics and for his insights into the relationships between logic, mathematics, and philosophy. Menninger's work often focused on formal systems and their applications, as well as the philosophical implications of mathematical theories. He is notable for exploring issues related to the nature of mathematical truth and proof.