Events Tagged: "decidability"

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