John Robinson (mathematician)

John Robinson was a British mathematician known for his contributions to mathematical logic and model theory. He developed the concept of "Robinson arithmetic," which is a system of number theory that is weaker than standard arithmetic but still useful for exploring foundational issues. His work significantly impacted the understanding of formal systems and computation. Robinson is also recognized for his insights into decidability, which concerns whether a problem can be solved by an algorithm. His contributions helped shape modern mathematical thinking, especially in areas related to logic and the foundations of mathematics.