Events Tagged: "computability"

Alonzo Church proves the undecidability of first-order logic (Church's Theorem) and develops lambda calculus

Alan Turing publishes 'On Computable Numbers', introducing Turing machines and proving the halting problem is undecidable

Alan Turing invents Turing machine - mathematical model of computation, defines algorithm

Wang proves tiling undecidability - no algorithm can determine if a set of tiles can tile the plane