Who is known for the contribution to logic that laid the groundwork for modern computing?

The individual recognized for laying the foundational work for modern computing through their contributions to logic is George Boole. He developed Boolean algebra, a form of algebra in which the variables are true/false or 1/0. This system provides the basis for digital logic design, which underpins computer science and electronic circuitry.

Boolean algebra simplifies the representation of logical operations and relationships, making it instrumental in the design of digital circuits and programming. Through the use of binary variables, it allows for the creation of logical statements and operations that are essential in the field of computing, enabling the development of algorithms, circuit design, and more.

While other figures listed, such as Gottfried Leibniz, Alan Turing, and John von Neumann, made significant contributions to mathematics and computer science, it is Boole's development of logical structures that is specifically foundational for digital electronics and modern computing.