Paul Bernays

Paul Bernays (1888–1979) was a significant figure in the fields of mathematics and logic. He was born in Switzerland and later became a prominent mathematician and philosopher, particularly known for his work in foundational mathematics, logic, and the philosophy of mathematics. Bernays is often associated with the development of predicate logic and contributions to set theory.