This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Alan Turing
A grouping.
Computability and the earliest statement of program verification: 'On Computable Numbers, with an Application to the Entscheidungsproblem', and 'Checking a Large Routine' (1949), the paper usually credited as the first argument that a program can be proved to do what it should. The records arrived under two spellings, now joined.
2 references
On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
Alan Turing (1938) · Proceedings of the London Mathematical Society · Wiley
On Computable Numbers, with an Application to the Entscheidungsproblem
Alan Turing (1937) · Proceedings of the London Mathematical Society · Wiley