 Mathematical logicians

Mathematical logicians are scholars and researchers who study mathematical logic, a subfield of mathematics that focuses on formal systems, proofs, and the foundational aspects of mathematics. Their work lies at the intersection of mathematics, philosophy, and computer science, and it involves the exploration of various logical systems, including propositional logic, predicate logic, modal logic, and more.